UFD’s are integrally closed
Theorem: Every UFD is integrally closed.
Proof: Let be a UFD, its field of fractions, integral over . Then for some ,
Write , where have no non-unit common divisor (which we can assume since is a UFD). Multiply the above equation by to get
Let be an irreducible divisor of . Then is prime since is a UFD. Now, since it divides all the other terms and thus (since is prime) . But have no non-unit common divisors, so is a unit. Thus is a unit and hence .