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

円分体Q(ξn)の整数環をと考える。(ξnは1のn乗根)

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

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

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

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

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

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

 円分体Q(ξ13)の整数環は一意分解整域である。

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

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

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