とは知られている唯二*1のWieferich素数です。このことについては既に記事を書いています： integers.hatenablog.comしかし、その歴史について勘違いしていた(知らなかった)ことがあったので再び記事にしたいと思います。 Wieferich素数の定義 定義を復習し…

を数体、、をなる有限素点とするとき、Fermatの小定理によってが成り立ちます（はノルム）。それでは、をのべき根ではないと仮定して －①が成り立つはどのくらいあるでしょうか？のことをFermat商と呼びます（はの整数環のによる局所化）。 Wieferich素数 の…