Characterisation of UFDs
Theorem
Let $A$ be an integral domain.
The following are equivalent:
- $(1): \quad A$ is a unique factorisation domain
- $(2): \quad A$ is a GCD domain satisfying the ascending chain condition on principal ideals.
- $(3): \quad A$ satisfies the ascending chain condition on principal ideals and every irreducible element of $A$ is a prime element of $A$.
Proof
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
When this page/section has been completed, {{ProofWanted}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
