Math 2.0

Commutative algebra Definition

Jacobson ring

Builds on Commutative ringPrime idealMaximal idealRadical of an idealJacobson radicalNilradical

Definition

Let RR be a commutative ring. The ring RR is a Jacobson ring if every prime ideal 𝔭\mathfrak{p} is the intersection of the maximal ideals that contain 𝔭\mathfrak{p}.

Remarks

Example: ℤ\Z is a Jacobson ring. A nonzero prime ideal pℤp\Z is maximal, and the prime 00 equals ⋂ppℤ\bigcap_p p\Z, because a nonzero integer has only finitely many prime divisors.

Non-example: the localization ℤ(p)\Z_{(p)} is not a Jacobson ring. Its only maximal ideal is pℤ(p)p\Z_{(p)}, so the intersection of the maximal ideals containing the prime 00 is pℤ(p)≠0p\Z_{(p)} \ne 0.

Equivalent forms: RR is Jacobson if and only if every radical ideal is an intersection of maximal ideals. It is also equivalent that for every ideal II, the nilradical of R/IR/I equals its Jacobson radical. Some texts use the name Hilbert ring.

Reading path

To understand this page from the ground up, read these 7 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. Commutative ring concept
  2. Jacobson radical concept
  3. Maximal ideal concept
  4. Nilradical concept
  5. Prime ideal concept
  6. Radical of an ideal concept
  7. Jacobson ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Jacobson_ring
About this page
Tag1X1Y2AW4B0
URIm2://1X1Y2AW4B0
Kinddefinition
WritingW0 stub
MSC13A15
DefinesJacobson ring
UsesCommutative ring, Prime ideal, Maximal ideal, Radical of an ideal, Jacobson radical, Nilradical
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.