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