Principal Ideal Domain is Integrally Closed
Jump to navigation
Jump to search
Theorem
Let $A$ be a principal ideal domain.
Then $A$ is integrally closed.
Proof
By Principal Ideal Domain is Unique Factorization Domain $A$ is a unique factorization domain.
By Unique Factorization Domain is Integrally Closed $A$ is integrally closed.
$\blacksquare$