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>.