アンドリュー・ワイルズ
岩澤主予想（）は、（加群の理論と補間法の）二種類の方法で定義される "p"-進 L 関数は（それが定義可能な限りは）一致するはずであるという形で定式化された。この予想は結果としては、バリー・メイザー (Barry Mazur) とアンドリュー・ワイルズによって有理数体 Q の場合に、またやはりワイルズによって任意の総実数体の場合に証明された。