■円周等分と正17角形(その74)

 円分体Q(ξp)の類数がpで割り切れるような素数をこのときpはBp-1非正則な素数という。37,59,67、・・・と続く。このときpははじめのp−3個のベルヌーイ数ぼ分子を割り切る。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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