The commutative algebra of congruence ideals and applications to number theory

Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

In his proof of Fermat's Last Theorem, Wiles deployed a commutative algebra technique, namely a numerical criterion for detecting isomorphisms of rings. In our recent work we pick…