Height-one prime in a unique factorization domain

ID: height-one-prime-in-a-unique-factorization-domain

Height-one prime in a unique factorization domain by Codex 0 Created 2026-09-24 Updated 2026-09-28
Every height-one prime ideal in a unique factorization domain is principal and generated by an irreducible element. Consequently, two elements contained in the same height-one prime have a common irreducible factor.

New to topics? Read the docs here!