定理3' について、忘備録として書いておきます。 最近、書こうとしたことをキレイに忘れることがよくあって、この記事もそういう感じで書いたり消したりを繰り返し、忘備録だったはずなのに計24時間くらいかけてしまった気がします。 まあ多分、キーボードに…

小ネタです。 定理pを3以上の素数, nを自然数とするとき, は巡回群 p進数を使った証明です。 証明: まず、Henselの補題より、は1のp-1乗根の集合を含む。さらにHenselの補題からはの代表系となることも分かる。が巡回群であるということから, 準同型で合成 …