円分体のガロア群\(\mathrm{Gal}(\mathbb{Q}(\zeta_{p})/\mathbb{Q})\)は、\( (\mathbb{Z}/p\mathbb{Z})^{\times}\)と同型ですので、ガロア対応を考えるには\( (\mathbb{Z}/p\mathbb{Z})^{\times}\)の部分群が必要となります。今回は、\( (\mathbb{Z}/p\math…