Jacobson ring

Last updated April 27, 2024

In algebra, a Hilbert ring or a Jacobson ring is a ring such that every prime ideal is an intersection of primitive ideals. For commutative rings primitive ideals are the same as maximal ideals so in this case a Jacobson ring is one in which every prime ideal is an intersection of maximal ideals.

Jacobson rings and the Nullstellensatz

Hilbert's Nullstellensatz of algebraic geometry is a special case of the statement that the polynomial ring in finitely many variables over a field is a Hilbert ring. A general form of the Nullstellensatz states that if R is a Jacobson ring, then so is any finitely generated R-algebra S. Moreover, the pullback of any maximal ideal J of S is a maximal ideal I of R, and S/J is a finite extension of the field R/I.

In particular a morphism of finite type of Jacobson rings induces a morphism of the maximal spectra of the rings. This explains why for algebraic varieties over fields it is often sufficient to work with the maximal ideals rather than with all prime ideals, as was done before the introduction of schemes. For more general rings such as local rings, it is no longer true that morphisms of rings induce morphisms of the maximal spectra, and the use of prime ideals rather than maximal ideals gives a cleaner theory.

Examples

Any field is a Jacobson ring.
Any principal ideal domain or Dedekind domain with Jacobson radical zero is a Jacobson ring. In principal ideal domains and Dedekind domains, the nonzero prime ideals are already maximal, so the only thing to check is if the zero ideal is an intersection of maximal ideals. Asking for the Jacobson radical to be zero guarantees this. In principal ideal domains and Dedekind domains, the Jacobson radical vanishes if and only if there are infinitely many prime ideals.
Any finitely generated algebra over a Jacobson ring is a Jacobson ring. In particular, any finitely generated algebra over a field or the integers, such as the coordinate ring of any affine algebraic set, is a Jacobson ring.
A local ring has exactly one maximal ideal, so it is a Jacobson ring exactly when that maximal ideal is the only prime ideal. Thus any commutative local ring with Krull dimension zero is Jacobson, but if the Krull dimension is 1 or more, the ring cannot be Jacobson.
( Amitsur 1956 ) showed that any countably generated algebra over an uncountable field is a Jacobson ring.
Tate algebras over non-archimedean fields are Jacobson rings.
A commutative ring R is a Jacobson ring if and only if R[x], the ring of polynomials over R, is a Jacobson ring.^[1]

Characterizations

The following conditions on a commutative ring R are equivalent:

R is a Jacobson ring
Every prime ideal of R is an intersection of maximal ideals.
Every radical ideal is an intersection of maximal ideals.
Every Goldman ideal is maximal.
Every quotient ring of R by a prime ideal has a zero Jacobson radical.
In every quotient ring, the nilradical is equal to the Jacobson radical.
Every finitely generated algebra over R that is a field is finitely generated as an R-module. (Zariski's lemma)
Every prime ideal P of R such that R/P has an element x with (R/P)[x⁻¹] a field is a maximal prime ideal.
The spectrum of R is a Jacobson space, meaning that every closed subset is the closure of the set of closed points in it.
(For Noetherian rings R): R has no prime ideals P such that R/P is a 1-dimensional semi-local ring.

Notes

↑ Kaplansky, Theorem 31

Related Research Articles

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal amongst all proper ideals. In other words, I is a maximal ideal of a ring R if there are no other ideals contained between I and R.

In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.

In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. That is, every increasing sequence $of left ideals has a largest element; that is, there exists an n such that:$

In mathematics, more specifically ring theory, the Jacobson radical of a ring R is the ideal consisting of those elements in R that annihilate all simple right R-modules. It happens that substituting "left" in place of "right" in the definition yields the same ideal, and so the notion is left–right symmetric. The Jacobson radical of a ring is frequently denoted by J(R) or rad(R); the former notation will be preferred in this article, because it avoids confusion with other radicals of a ring. The Jacobson radical is named after Nathan Jacobson, who was the first to study it for arbitrary rings in Jacobson 1945.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

In mathematics, Hilbert's Nullstellensatz is a theorem that establishes a fundamental relationship between geometry and algebra. This relationship is the basis of algebraic geometry. It relates algebraic sets to ideals in polynomial rings over algebraically closed fields. This relationship was discovered by David Hilbert, who proved the Nullstellensatz in his second major paper on invariant theory in 1893.

In mathematics, more specifically in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on algebraic varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules.

In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring a topological space.

Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers $; and p -adic integers .$

In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.

Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject.

In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be a Noetherian local ring with maximal ideal m, and suppose a₁, ..., a_n is a minimal set of generators of m. Then by Krull's principal ideal theorem n ≥ dim A, and A is defined to be regular if n = dim A.

In mathematics, ideal theory is the theory of ideals in commutative rings. While the notion of an ideal exists also for non-commutative rings, a much more substantial theory exists only for commutative rings

In mathematics, a Goldman domain or G-domain is an integral domain A whose field of fractions is a finitely generated algebra over A. They are named after Oscar Goldman.

In mathematics, an overring of an integral domain contains the integral domain, and the integral domain's field of fractions contains the overring. Overrings provide an improved understanding of different types of rings and domains.

In algebra, Zariski's lemma, proved by Oscar Zariski, states that, if a field $K$ is finitely generated as an associative algebra over another field $k$ , then $K$ is a finite field extension of $k$ .

This is a glossary of commutative algebra.

References

Amitsur, Shimshon A. (1956), "Algebras over infinite fields", Proceedings of the American Mathematical Society , 7: 35–48, doi: 10.2307/2033240 , ISSN 0002-9939, JSTOR 2033240, MR 0075933
Eisenbud, David. Commutative algebra. ISBN 0-387-94269-6.
Goldman, Oscar (1951), "Hilbert rings and the Hilbert Nullstellensatz", Mathematische Zeitschrift , 54: 136–140, doi:10.1007/BF01179855, ISSN 0025-5874, MR 0044510
Grothendieck, Alexandre; Dieudonné, Jean (1966). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Troisième partie". Publications Mathématiques de l'IHÉS . 28: section 10. doi:10.1007/bf02684343. MR 0217086.
"Jacobson_ring", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
Kaplansky, Irving (1974), Commutative rings (Revised ed.), University of Chicago Press, ISBN 0-226-42454-5, MR 0345945
Krull, Wolfgang (1951), "Jacobsonsche Ringe, Hilbertscher Nullstellensatz, Dimensionstheorie", Mathematische Zeitschrift , 54: 354–387, doi:10.1007/BF01238035, ISSN 0025-5874, MR 0047622
Krull, Wolfgang (1952), "Jacobsonsches Radikal und Hilbertscher Nullstellensatz", Proceedings of the International Congress of Mathematicians, Cambridge, Mass., 1950, vol. 2, Providence, R.I.: American Mathematical Society, pp. 56–64, MR 0045097, archived from the original on 2014-11-29, retrieved 2013-01-03

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Kaplansky, Theorem 31

[1]