Module extension
= Module extension
{title2=$0\to A\to B\to C\to0$}
= Extension of modules
{synonym}
A short exact sequence with specified kernel module $A$ and quotient module $C$. Its equivalence class is determined by the degree-one <Ext functor>; equivalence must preserve both end modules.