Commutative algebra Integral extensions Theorem
Mori–Nagata theorem
Builds on Noetherian ringIntegral domainField of fractionsIntegral closureKrull domain
Statement
Let be a Noetherian integral domain with field of fractions . Then the integral closure of in is a Krull domain.
Remarks
A Noetherian integrally closed domain is a Krull domain, so the theorem says that integral closure keeps part of the Noetherian property, even when it loses the rest. The integral closure of a Noetherian domain need not be Noetherian, and Nagata gave such examples. So the class of Krull domains is the natural home for integral closures of Noetherian domains. In dimension , the Krull–Akizuki theorem gives more: the integral closure is Noetherian. For example, the integral closure of in is , a Dedekind domain and so a Krull domain.
Going deeper
For a student
Krull domains are the domains that are intersections of discrete valuation rings with a finiteness condition, and they carry a divisor class group. The theorem lets one use divisor theory on the normalisation of any Noetherian domain, for example on the normalisation of the coordinate ring of a singular affine variety. Compare the Krull–Akizuki theorem, which in dimension one gives a Noetherian normalisation.
Reading path
To understand this page from the ground up, read these 15 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Ascending chain condition definition
- Group concept
- Integral closure concept
- Krull domain concept
- Ring definition
- Commutative ring definition
- Unit of a ring definition
- Zero divisor definition
- Ideal definition
- Field definition
- Integral domain definition
- Ideal generated by a subset definition
- Field of fractions definition
- Noetherian ring definition
- Mori–Nagata theorem statement
Further reading
About this page
| Tag | J8YYYP5CDN |
|---|---|
| URI | m2://J8YYYP5CDN |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 13F05, 13B22, 13E05 |
| Status | This copy of the site has no build data. Run m2 status J8YYYP5CDN. |
| About | Integral closure, Krull domain |
| Uses | Noetherian ring, Integral domain, Field of fractions, Integral closure, Krull domain |
| Same as | |
| 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.