Ring extension (source code)

= Ring extension
{wiki}

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