Ring extension (source code)

= Ring extension
{wiki}

A <ring> extension $A\subseteq B$ is an inclusion of <rings> that makes $B$ an $A$-algebra.