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

 実2次体Q(√d)の整数環がノルムの絶対値に関してユークリッド整域となるのは,次の16個である.

  d=2,3,5,6,7,11,13,17,19,21,29,33,37,41,57,73

整除のアルゴリズムが定義できる整域をユークリッド整域という.

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

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

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

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

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

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

 Q(√10)の類数は2.d=10はQ(√)の類数が2となる最小のd.

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

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

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

 Q(√19)の整数環はユークリッド整域である.

 Q(√29)のの整数環はユークリッド整域である.

 Q(√33)のの整数環はユークリッド整域である.

 Q(√37)の整数環はユークリッド解整域である.

 Q(√41)の整数環はユークリッド解整域である.

 Q(√57)の整数環はユークリッド解整域である.

 Q(√73)の類数は2.d=73はQ(√d)の類数が2である最大のd.

 Q(√79)の類数は3.d=79はQ(√d)の類数が3である最小のd.

 Q(√82)の類数は4.d=82はQ(√d)の類数が4である最小のd.

 Q(√226)の類数は8.d=226はQ(√d)の類数が8である最小のd.

 Q(√235)の類数は6.d=235はQ(√d)の類数が6である最小のd.

 Q(√401)の類数は5.d=401はQ(√d)の類数が5である最小のd.

 Q(√577)の類数は7.d=577はQ(√d)の類数が7である最小のd.

 Q(√1129)の類数は9.d=1129はQ(√d)の類数が9である最小のd.

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