岩澤理論の主予想
数学では、岩澤理論の主予想 (main conjecture of Iwasawa theory) は、p-進L-函数と円分体のイデアル類群との間の深い関係であり、Iwasawa (1969) でクンマー・ヴァンディヴァー予想(英語版)を満たす素数に対して証明され、すべての素数に対しては Mazur and Wiles (1984) により証明された。エルブラン・リベの定理(英語版)とグラス予想(英語版)が両方ともこの主予想より容易に導ける結果である。
この主予想にはいくつかの一般化があり、総実体や CM体や、楕円曲線などへ一般化される。