Unique factorization and Bezout iff principal ideal

From Commalg

Statement

The following are equivalent for an integral domain:

Related facts

Facts used

  1. PID implies UFD
  2. PID implies Bezout
  3. Length of irreducible factorization is strictly multiplicatively monotone on unique factorization domain
  4. Strictly multiplicatively monotone norm on Bezout domain is a Dedekind-Hasse norm
  5. Dedekind-Hasse norm implies principal ideal ring

Proof

Principal ideal domain implies unique factorization and Bezout

This follows from facts (1) and (2).

Unique factorization and Bezout implies principal ideal domain

This follows by combining facts (3), (4), and (5).

References

Textbook references