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 be a Dedekind domain that is also a unique factorization domain. Then is a principal ideal domain.
Remarks
Let be a nonzero prime ideal and let be nonzero. The element is not a unit, and one of its irreducible factors lies in . In a UFD, is a prime element, so is a nonzero prime ideal inside ; as nonzero primes of a Dedekind domain are maximal, . 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: is a Dedekind domain, but gives two different factorizations into irreducibles, so it is not a UFD; consistent with this, is not principal. The Dedekind hypothesis cannot be dropped: for a field is a UFD, but the ideal 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 has order . 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
- no evidence level
- Dedekind domain concept
- Ideal concept
- Integrally closed domain concept
- Invertible ideal concept
- Irreducible element concept
- Maximal ideal concept
- Noetherian ring concept
- Prime element concept
- Prime ideal concept
- Principal ideal domain concept
- Unique factorisation domain concept
- Unique factorization of ideals in a Dedekind domain statement
- A Dedekind UFD is a PID statement
Further reading
About this page
| Tag | YGV5S3MRD6 |
|---|---|
| URI | m2://YGV5S3MRD6 |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 13F05, 13F15, 13F10 |
| Status | This copy of the site has no build data. Run m2 status YGV5S3MRD6. |
| About | Dedekind domain, Unique factorisation domain, Principal ideal domain |
| Uses | Dedekind domain, Unique factorisation domain, Principal ideal domain, Prime ideal, Irreducible element, Prime element, Unique factorization of ideals in a Dedekind domain |
| Changed | 2 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.