・円分体のガロア群がℤ/nℤ×と同型なのは、類体論の存在定理に出てくる一般化イデアル類群と同型。 ・類体論の主張＝「存在定理」＆「同型定理」、らしい。 ・もし円分を一般化して関数でのアーベル拡大の生成問題をやるなら、ガロア群がこれになるようにする…