■正多角形の作図と原始根(その104)

 実2次体Q(√d)の整数環が、ノルムの絶対値に関してユークリッド整域(整除のアルゴリズムが定義できる整域)となるdは次の16個である。

  d=2,3,5,6,7,11,13,17,19,21,29,33,37,41,57.73

====================================

 実2次体Q(√17)の整数環はユークリッド整域であり、したがって、一意分解整域である。

====================================

 実2次体Q(√19)の整数環はユークリッド整域であり、したがって、一意分解整域である。

====================================

 実2次体Q(√29)の整数環はユークリッド整域であり、したがって、一意分解整域である。

====================================