■円周等分と正17角形(その75)
円分体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.
===================================