■有限体とガロア体(その87)

pを奇数の素数とします。

平方剰余の相互法則の第1補充法則では-1がFpにおいて平方数であるかどうか、

平方剰余の相互法則の第2補充法則では2がFpにおいて平方数であるかどうか、

という問題を考えます。

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

オイラー基準

aが平方数のとき、a^(p-1)/2=1

aが平方数でないとき、a^(p-1)/2=-1

a^(p-1)/2=1ならばaはが平方数である

a^(p-1)/2=-1ならばaは平方数ではない

が成り立つ.

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

第1補充法則

pが4で割って1余る素数ならば、-1はFpの平方数である。

pが4で割って3余る素数ならば、-1はFpの平方数ではない。

たとえば、-1はF41の平方数ではない

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

第2補充法則

pが8で割って1または7余る素数ならば、2はFpの平方数である。

pが8で割って3または5余る素数ならば、2はFpの平方数ではない。

たとえば、2はF41の平方数である

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