Definition:Integrally Closed

Definition

Ring Extension

Let $R \subseteq A$ be an extension of commutative rings with unity.

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

If $C = R$ then $R$ is said to be integrally closed in $A$.

Integral Domain

If $R$ is an integral domain, then $R$ is integrally closed if it is integrally closed in its quotient field.