Tags: ? Refs: ?

factorial

Every element admits a unique factorization into irreducibles, up to the action of units.

Facts

• Every number field is a UFD

# Exercises

• Show PID \(\implies\) UFD

• Show UFDs satisfy the ACC on principal ideals but are not necessarily Noetherian.

• Show irreducibles are prime.