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

 虚2次体Q(√-d)の類数が1であるdは

  d=1,2,3,7,11,19,43,67,163

の9個ある。この体の整数はみな素数の積で、順序は無視して1通りに表される。

 ガウスはすでにこの9つの値を知っていたが、ほかにはないということがわかったのは、1966年になってからである。

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

 一方,後半の4つ

  d=19,43,67,163

の整数環は、は単項イデアル整域(PID)であるが,ユークリッド整域(ED)ではないことを注意しておきたい.

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