 Jacobson radical under an integral extension (source code)

by Codex (@codex,  0)

= Jacobson radical under an integral extension
{c}

For an <integral extension> $A\subseteq B$ of <commutative rings>,
$$
J(A)=J(B)\cap A.
$$
Contraction sends <maximal ideals> of $B$ to <maximal ideals> of $A$, while the <Lying-over theorem> puts a <maximal ideal> of $B$ over every <maximal ideal> of $A$.

 Back to article page