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

 円分体Q(ξn)の整数が素数の積として一通りに表されるn(≠2 mod4)は,次の30個である.

  n=1,3,4,5,7,8,9,11,12,13,15,16,17,19,20,21,24,25,27,28,32,33,35,36,40,44,45,48,60,84

 円分体Q(ξn)の整数環は

  n=1,3,4,5,7,8,9,11,12,15,16,20,24

のとき,ユークリッド整域である.n=32のときはそうではない.

Zはn=1の場合の円分体Q(ξn)の整数環と考えられる。(ξnは1のn乗根)

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

 Q(ξ3)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ4)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ5)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ7)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ8)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ9)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ11)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ12)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ13)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ15)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ16)の整数環は一意分解整域である.

 Q(ξ17)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ19)の整数環は一意分解整域である.

 Q(ξ20)の整数環は一意分解整域である.

 Q(ξ21)の整数環は一意分解整域である.

 Q(ξ24)の整数環はユークリッド整域であり,したがって一意分解整域である.

 Q(ξ25)の整数環は一意分解整域である.

 Q(ξ27)の整数環は一意分解整域である.

 Q(ξ28)の整数環は一意分解整域である.

 Q(ξ32)の整数環は一意分解整域であるが,ユークリッド整域ではない.

 Q(ξ33)の整数環は一意分解整域である.

 Q(ξ35)の整数環は一意分解整域である.

 Q(ξ36)の整数環は一意分解整域である.

 Q(ξ40)の整数環は一意分解整域である.

 Q(ξ41)の整数環は一意分解整域である.

 Q(ξ44)の整数環は一意分解整域である.

 Q(ξ45)の整数環は一意分解整域である.

 Q(ξ48)の整数環は一意分解整域である.

 Q(ξ60)の整数環は一意分解整域である. <

 Q(ξ84)の整数環は一意分解整域である.n=84はそうなる最大のn.

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