tsujimotterのノートブックでは,これまで2回にわたって,岩澤理論の3本柱のうちの2つ「岩澤類数公式」「p進L関数」を紹介してきました。
今日は,3本柱の最後1つである
について紹介したいと思います。
岩澤主予想は「予想」と呼ばれていますが,既に証明された定理です。したがって,本来は「定理」と呼ぶべきものですが,一般には「岩澤主予想」という呼び名で定着されていますので,本記事でもその呼び方でいきたいと思います。英語だと "Iwasawa Main Conjecture" で,"IMC" と略されることもあります。
岩澤主予想は現在ではかなり一般化されていますが,本記事ではこれまでの記事と同様「イデアル類群の岩澤理論」の範疇に留めたいと思います。また,この記事では「円分 拡大」における岩澤主予想に限定したお話となります。それでも結構難しいのですが,頑張ってついてきてもらえると嬉しいです。
続きを読む