# Unique Factorization Domain is Integrally Closed

Jump to navigation
Jump to search

## Theorem

Let $A$ be a unique factorization domain (UFD).

Then $A$ is integrally closed.

## Proof

Let $K$ be the field of quotients of $A$.

Let $x \in K$ be integral over $A$.

Let: $x = a / b$ for $a, b \in A$ with $\gcd \set {a, b} \in A^\times$.

This makes sense because a UFD is GCD Domain.

There is an equation:

- $\paren {\dfrac a b}^n + a_{n - 1} \paren {\dfrac a b}^{n - 1} + \dotsb + a_0$

This article, or a section of it, needs explaining.In particular: This is not actually an equation, it has no equals sign in it.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

with $a_i \in A$, $i = 0, \dotsc, n - 1$.

Multiplying by $b^n$, we obtain:

- $a^n + b c = 0$

with $c \in A$.

Therefore:

- $b \divides a^n$

Aiming for a contradiction, suppose $b$ is not a unit.

Then:

- $\gcd \set {a, b} \notin A^\times$

which is a contradiction.

So $b$ is a unit, and:

- $a b^{-1} \in A$

This article, or a section of it, needs explaining.In particular: Make it clear why this fulfils the conditions for the statement of the resultYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

$\blacksquare$