Equivalence of module extensions (source code)

= Equivalence of module extensions
{title2=$(\mathrm{id}_A,\phi,\mathrm{id}_C)$}

A commuting <isomorphism> between two <module extensions> that is the identity on both end <modules>. Classifying middle <modules> up to arbitrary <isomorphism> is a different and generally coarser problem.