Definition:Integrally Closed in Ring Extension

Definition

Let $\phi : A \hookrightarrow B$ be a ring extension.

Let $C$ be the integral closure of $A$ in $B$.

Then $A$ is integrally closed in $B$ if and only if $C = \phi(A)$.

Also see

• Definition:Integrally Closed Integral Domain