フィッティング・イデアル
1929年、フィリップ・フルトヴェングラーは類体論の主イデアル定理(英語版)を証明した。彼の証明は群論的計算を延々と続けるという、難解なものであった。彌永昌吉は彼の証明を改善する過程で位数イデアル(Ordnungsideal)の概念を導入した。これがハンス・フィッティングによって行列式イデアル(Determinantenideal)として取り上げられ、拡張され、フィッティング・イデアルと呼ばれるものになった。その後、バリー・メイザーとアンドリュー・ワイルズによって岩澤主予想の証明に活用された。