Jacobson ring: Difference between revisions

Latest revision as of 15:55, 18 July 2013

This article defines a property of commutative unital rings; a property that can be evaluated for a commutative unital ring
View all properties of commutative unital rings
VIEW RELATED: Commutative unital ring property implications | Commutative unital ring property non-implications |Commutative unital ring metaproperty satisfactions | Commutative unital ring metaproperty dissatisfactions | Commutative unital ring property satisfactions | Commutative unital ring property dissatisfactions

This property of commutative unital rings is completely determined by the spectrum, viewed as an abstract topological space. The corresponding property of topological spaces is: set of closed points in any closed subset is dense

View other properties of commutative unital rings determined by the spectrum

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

The following are equivalent definitions of Jacobson ring.

No.	Shorthand	A commutative unital ring is termed a Jacobson ring or Hilbert ring if ...	A commutative unital ring $R$ is termed a Jacobson ring or Hilbert ring if ...
1	prime as intersection of maximals	every prime ideal in it is an intersection of maximal ideals.	for every prime ideal $P$ of $R$ , $P = ⋂_{i \in I} M_{i}$ where $M_{i}, i \in I$ is the set of all maximal ideals of $R$ containing $P$ .
2	radical as intersection of maximals	every radical ideal in it is an intersection of maximal ideals	for every radical ideal $J$ of $R$ , $J = ⋂_{i \in I} M_{i}$ where $M_{i}, i \in I$ is the set of all maximal ideals of $R$ containing $J$ .
3	spectrum: closed points dense	in the spectrum, the set of closed points in any closed set is dense	in the spectrum $S p e c (R)$ , any closed subset $C$ has the property that the set of closed points in $C$ is a dense subset of $C$ .
4	quotient: nilradical equals Jacobson ring	for every quotient ring, the nilradical equals the Jacobson radical	for every ideal $I$ , the quotient ring $R / I$ has the property that the nilradical of $R / I$ (i.e., the set of nilpotent elements, or equivalently, the intersection of all prime ideals) equals the Jacobson radical (the set of elements such that 1 + any multiple of the element is invertible, or equivalently, the intersection of all maximal ideals).
5	localization a field implies a field	for any prime ideal, if the quotient contains an element at which its localization is a field, then the quotient is itself a field.	for any prime ideal $P$ and any $x \in R / P$ , consider the localization of $R / P$ at the set of powers of $x$ . If the localization is a field, then $R / P$ must itself be a field.

Equivalence of definitions

The equivalence of the first three definition follows from the definitions of the terms involved. In particular, it uses the fact that in any commutative unital ring, any radical ideal is an intersection of prime ideals.

The equivalence with the fourth condition is termed Rabinowitch's trick.

Metaproperties

Metaproperty name	Satisfied?	Proof	Statement with symbols
polynomial-closed property of commutative unital rings	Yes	Jacobson is polynomial-closed	Suppose $R$ is a Jacobson ring. Then, the polynomial ring $R [x]$ is also a Jacobson ring.
quotient-closed property of commutative unital rings	Yes	Jacobson is quotient-closed	If $R$ is a Jacobson ring and $I$ is an ideal in $R$ , then the quotient ring $R / I$ is also a Jacobson ring.

Relation with other properties

Stronger properties

Property	Meaning	Intermediate notions
polynomial ring over a field	polynomial ring of the form $K [x]$ where $K$ is a field.	Template:Intermeidate notions short
field		click here
Artinian ring		click here
zero-dimensional ring	every prime ideal is a maximal ideal	click here
multivariate polynomial ring over a field	of the form $K [x_{1}, x_{2}, \dots, x_{n}]$ where $K$ is a field.	click here

Opposite properties

A local domain that is not a field is not Jacobson. More generally, any local ring that has prime ideals other than the maximal ideal is not Jacobson.

@@ Line 1: / Line 1: @@
 {{curing property}}
+{{spectrum-determined curing property|set of closed points in any closed subset is dense}}
 ==History==
@@ Line 13: / Line 15: @@
 ==Definition==
-===Symbol-free definition===
+The following are equivalent definitions of Jacobson ring.
-A [[commutative unital ring]] is termed a '''Jacobson ring''' or a '''Hilbert ring''' if it satisfies the following equivalent conditions:
+{| class="sortable" border="1"
+! No. !! Shorthand !! A commutative unital ring is termed a Jacobson ring or Hilbert ring if ... !! A commutative unital ring <math>R</math> is termed a Jacobson ring or Hilbert ring if ...
+|-
+| 1 || prime as intersection of maximals || every [[defining ingredient::prime ideal]] in it is an intersection of [[defining ingredient::maximal ideal]]s. || for every prime ideal <math>P</math> of <math>R</math>, <math>P = \bigcap_{i \in I} M_i</math> where <math>M_i, i \in I</math> is the set of all maximal ideals of <math>R</math> containing <math>P</math>.
+|-
+| 2 || radical as intersection of maximals || every [[radical ideal]] in it is an intersection of maximal ideals || for every radical ideal <math>J</math> of <math>R</math>, <math>J = \bigcap_{i \in I} M_i</math> where <math>M_i, i \in I</math> is the set of all maximal ideals of <math>R</math> containing <math>J</math>.
+|-
+| 3 || spectrum: closed points dense || in the [[spectrum of a commutative unital ring|spectrum]], the set of closed points in any closed set is dense || in the spectrum <math>\operatorname{Spec}(R)</math>, any closed subset <math>C</math> has the property that the set of closed points in <math>C</math> is a dense subset of <math>C</math>.
+|-
+| 4 || quotient: nilradical equals Jacobson ring || for every [[quotient ring]], the [[defining ingredient::nilradical]] equals the [[defining ingredient::Jacobson radical]] || for every ideal <math>I</math>, the quotient ring <math>R/I</math> has the property that the nilradical of <math>R/I</math> (i.e., the set of nilpotent elements, or equivalently, the intersection of all prime ideals) equals the Jacobson radical (the set of elements such that 1 + any multiple of the element is invertible, or equivalently, the intersection of all maximal ideals).
+|-
+| 5 || localization a field implies a field || for any [[prime ideal]], if the quotient contains an element at which its localization is a field, then the quotient is itself a field. || for any prime ideal <math>P</math> and any <math>x \in R/P</math>, consider the [[localization at a multiplicative subset|localization]] of <math>R/P</math> at the set of powers of <math>x</math>. If the localization is a field, then <math>R/P</math> must itself be a field.
+|}
-Every [[prime ideal]] in it is an intersection of [[maximal ideal]]s.
+===Equivalence of definitions===
-===Definition with symbols===
+The equivalence of the first three definition follows from the definitions of the terms involved. In particular, it uses the fact that in any commutative unital ring, any [[radical ideal]] is an intersection of [[prime ideal]]s.
-{{fillin}}
+The equivalence with the fourth condition is termed [[Rabinowitch's trick]].
+==Metaproperties==
+{| class="sortable" border="1"
+! Metaproperty name !! Satisfied? !! Proof !! Statement with symbols
+|-
+| [[satisfies metaproperty::polynomial-closed property of commutative unital rings]] || Yes || [[Jacobson is polynomial-closed]] || Suppose <math>R</math> is a Jacobson ring. Then, the [[polynomial ring]] <math>R[x]</math> is also a Jacobson ring.
+|-
+| [[satisfies metaproperty::quotient-closed property of commutative unital rings]] || Yes || [[Jacobson is quotient-closed]] || If <math>R</math> is a Jacobson ring and <math>I</math> is an [[ideal]] in <math>R</math>, then the [[quotient ring]] <math>R/I</math> is also a Jacobson ring.
+|}
 ==Relation with other properties==
 ===Stronger properties===
-* [[Polynomial ring over a field]]
+{| class="sortable" border="1"
-* [[Artinian ring]]
+! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
-* [[Zero-dimensional ring]]
+|-
+| [[Weaker than::polynomial ring over a field]] || [[polynomial ring]] of the form <math>K[x]</math> where <math>K</math> is a [[field]]. || || || {{intermeidate notions short|Jacobson ring|polynomial ring over a field}}
-==Metaproperties==
+|-
+| [[Weaker than::field]] || || || || {{intermediate notions short|Jacobson ring|field}}
+|-
+| [[Weaker than::Artinian ring]] || || || || {{intermediate notions short|Jacobson ring|Artinian ring}}
+|-
+| [[Weaker than::zero-dimensional ring]] || every [[prime ideal]] is a [[maximal ideal]] || || || {{intermediate notions short|Jacobson ring|zero-dimensional ring}}
+|-
+| [[Weaker than::multivariate polynomial ring over a field]] || of the form <math>K[x_1,x_2,\dots,x_n]</math> where <math>K</math> is a [[field]]. || || || {{intermediate notions short|Jacobson ring|multivariate polynomial ring over a field}}
+|}
-{{poly-closed commring property}}
+===Opposite properties===
-If <math>R</math> is a Jacobson ring, so is the [[polynomial ring]] <math>R[x]</math>. This is an important observation that forms part of the proof of the [[Hilbert nullstellensatz]] (where the starting ring, <math>R</math> is a field and hence clearly a Jacobson ring.
+A [[local domain]] that is not a field is not Jacobson. More generally, any [[local ring]] that has prime ideals other than the maximal ideal is not Jacobson.