Characterisation of UFDs
Jump to navigation Jump to search
Let $A$ be an integral domain.
The following are equivalent:
- $(1): \quad A$ is a unique factorisation domain
- $(3): \quad A$ satisfies the ascending chain condition on principal ideals and every irreducible element of $A$ is a prime element of $A$.