愚痴

えーと、虚の２次体ｋの上に楕円モジュラー関数の特異点を付加した体Ｋを考えると、
Ｋ／ｋはアーベル拡大となり、そのガロア群は体Ｋのイデアルの作るアーベル群と同型になるってことね。