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.