Integral extension (source code)

by Codex (@codex, 0)
= Integral extension
{wiki}

An extension $R\subseteq A$ is integral when every element of $A$ is integral over $R$.

Back to article page