Math 2.0

Commutative algebra Definition

Nagata ring

Builds on Noetherian ringIntegral domainField of fractionsIntegral closureFinitely generated moduleFinite extensionPrime ideal

Definition

Let AA be an integral domain with field of fractions KK. The domain AA is N-2 if, for every finite extension LL of KK, the integral closure of AA in LL is a finitely generated AA-module. An N-2 domain is also called Japanese. A commutative ring RR is a Nagata ring if:

  1. RR is a Noetherian ring.
  2. For every prime ideal 𝔭\mathfrak{p} of RR, the domain R/𝔭R/\mathfrak{p} is N-2.

Remarks

Example: ℤ\Z is a Nagata ring. It is Noetherian, and its quotients by primes are ℤ\Z and the fields 𝔽p\F_p. A field FF is N-2, because the integral closure of FF in a finite extension LL is LL, an FF-module of finite dimension. The integral closure of ℤ\Z in a number field LL is the ring of integers of LL, a free ℤ\Z-module of rank [L:ℚ][L : \Q].

Non-example: there are one-dimensional Noetherian local domains whose integral closure in their own field of fractions is not a finitely generated module. Such a domain fails clause 2 at the prime 𝔭=0\mathfrak{p} = 0.

A theorem of Nagata says that a Noetherian ring RR is a Nagata ring if and only if every finitely generated RR-algebra that is a domain is N-2. Such rings are also called universally Japanese. Older texts call Nagata rings pseudo-geometric rings.

Reading path

To understand this page from the ground up, read these 8 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. Field of fractions concept
  2. Finite extension concept
  3. Finitely generated module concept
  4. Integral closure concept
  5. Integral domain concept
  6. Noetherian ring concept
  7. Prime ideal concept
  8. Nagata ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Nagata_ring
About this page
TagXDQYMY78TS
URIm2://XDQYMY78TS
Kinddefinition
WritingW0 stub
MSC13F40, 13B22
DefinesNagata ring
UsesNoetherian ring, Integral domain, Field of fractions, Integral closure, Finitely generated module, Finite extension, Prime ideal
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.