Math 2.0

Commutative algebra Valuation rings and Dedekind domains Proposition

A Dedekind UFD is a PID

Builds on Dedekind domainUnique factorisation domainPrincipal ideal domainPrime idealIrreducible elementPrime elementUnique factorization of ideals in a Dedekind domain

Statement

Let RR be a Dedekind domain that is also a unique factorization domain. Then RR is a principal ideal domain.

Remarks

Let PP be a nonzero prime ideal and let a∈Pa \in P be nonzero. The element aa is not a unit, and one of its irreducible factors π\pi lies in PP. In a UFD, π\pi is a prime element, so (π)(\pi) is a nonzero prime ideal inside PP; as nonzero primes of a Dedekind domain are maximal, (π)=P(\pi) = P. So every nonzero prime is principal, and by the unique factorization of ideals every nonzero ideal is a product of principal ideals, hence principal.

Example: ℤ[−5]\Z[\sqrt{-5}] is a Dedekind domain, but 6=2⋅3=(1+−5)(1−−5)6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5}) gives two different factorizations into irreducibles, so it is not a UFD; consistent with this, (2,1+−5)(2, 1 + \sqrt{-5}) is not principal. The Dedekind hypothesis cannot be dropped: k[x,y]k[x, y] for a field kk is a UFD, but the ideal (x,y)(x, y) is not principal.

Going deeper

For a student

In terms of the ideal class group, a Dedekind domain is a UFD exactly when its class group is trivial, and this is the same as being a PID. The class group thus measures the failure of unique factorization of elements. For example, the class group of ℤ[−5]\Z[\sqrt{-5}] has order 22. The proof uses only that nonzero primes are maximal and that ideals factor into primes, so it is a good first exercise with the ideal factorization theorem.

Reading path

To understand this page from the ground up, read these 13 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Dedekind domain concept
  2. Ideal concept
  3. Integrally closed domain concept
  4. Invertible ideal concept
  5. Irreducible element concept
  6. Maximal ideal concept
  7. Noetherian ring concept
  8. Prime element concept
  9. Prime ideal concept
  10. Principal ideal domain concept
  11. Unique factorisation domain concept
  12. Unique factorization of ideals in a Dedekind domain statement
  13. A Dedekind UFD is a PID statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Dedekind_domain
About this page
TagYGV5S3MRD6
URIm2://YGV5S3MRD6
Kindstatement, proposition
WritingW0 stub
MSC13F05, 13F15, 13F10
StatusThis copy of the site has no build data. Run m2 status YGV5S3MRD6.
AboutDedekind domain, Unique factorisation domain, Principal ideal domain
UsesDedekind domain, Unique factorisation domain, Principal ideal domain, Prime ideal, Irreducible element, Prime element, Unique factorization of ideals in a Dedekind domain
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.