■円周等分と正17角形(その72)
円分体Q(ξn)の整数環をと考える。(ξnは1のn乗根)
円分体Q(ξ4)の整数環はユークリッド整域であり、したがって、一意分解整域である。
===================================
円分体Q(ξ8)の整数環はユークリッド整域であり、したがって、一意分解整域である。
===================================
円分体Q(ξ12)の整数環はユークリッド整域であり、したがって、一意分解整域である。
===================================
円分体Q(ξ13)の整数環は一意分解整域である。
===================================
円分体Q(ξ15)の整数環はユークリッド整域であり、したがって、一意分解整域である。
===================================