$\zeta_n := \exp(2\pi i/n)$ と置く。 $L = \Q(\zeta_n)$ とすると、 $L/\Q$ はガロア拡大であり、 $\mathrm{Gal}(L/\Q) \simeq (\Z/n\Z)^\times$ であった。(Galois理論(57)―円分多項式の既約性と円分拡大 - らんだむな記憶) 例 $n = 8$ の場合。 $(\Z/8\Z…