Jacobson ring: Difference between revisions
No edit summary |
|||
| Line 17: | Line 17: | ||
A [[commutative unital ring]] is termed a '''Jacobson ring''' or a '''Hilbert ring''' if it satisfies the following equivalent conditions: | A [[commutative unital ring]] is termed a '''Jacobson ring''' or a '''Hilbert ring''' if it satisfies the following equivalent conditions: | ||
Every [[prime ideal]] in it is an intersection of [[maximal ideal]]s | * Every [[prime ideal]] in it is an intersection of [[maximal ideal]]s | ||
* Every [[radical ideal]] in it is an intersection of maximal ideals | |||
* In the [[spectrum of a commutative unital ring|spectrum]], the set of closed points in any closed set is dense | |||
===Definition with symbols=== | ===Definition with symbols=== | ||
Revision as of 15:26, 30 June 2007
This article defines a property of commutative rings
History
Origin of the term
The term Jacobson ring was used by Krull in honour of Jacobson, who studied intersections of maximal ideals.
Alternative terminology
The term Hilbert ring or Hilbertian ring is also used because such rings are closely related to the Hilbert nullstellensatz.
Definition
Symbol-free definition
A commutative unital ring is termed a Jacobson ring or a Hilbert ring if it satisfies the following equivalent conditions:
- Every prime ideal in it is an intersection of maximal ideals
- Every radical ideal in it is an intersection of maximal ideals
- In the spectrum, the set of closed points in any closed set is dense
Definition with symbols
Fill this in later
Relation with other properties
Stronger properties
Metaproperties
Template:Poly-closed commring property
If is a Jacobson ring, so is the polynomial ring . This is an important observation that forms part of the proof of the Hilbert nullstellensatz (where the starting ring, is a field and hence clearly a Jacobson ring.