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