Module extension (source code)

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