Jacobson ring
A commutative ring with unit element in which any prime ideal is the intersection of the maximal ideals containing it, i.e. a ring any integral quotient ring of which has a zero Jacobson radical. For instance, any Artinian ring, any ring of integers (in general, any Dedekind ring which is not semi-local) or any absolutely-flat ring is a Jacobson ring. On the contrary, a local non-Artinian ring is not a Jacobson ring.
If is a Jacobson ring and
is an integral
-algebra or an
-algebra of finite type,
will be a Jacobson ring; in particular, a quotient ring of a Jacobson ring is a Jacobson ring. A ring of polynomials in a finite number of variables over a field
is a Jacobson ring; if the number of variables is infinite, the answer will depend on relations between the number of variables and the cardinality of the field
. A ring
is a Jacobson ring if the space of maximal ideals of
is quasi-homeomorphic to the spectrum
; this definition leads to the concept of a Jacobson scheme.
References
[1] | N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French) |
Comments
Quite generally, a (non-commutative) ring is a Jacobson ring if every prime ideal is an intersection of primitive ideals or, equivalently, if every prime factor ring
,
a prime ideal, has zero Jacobson radical. Here an ideal
is primitive if the quotient ring
is primitive.
An algebra over a field
which is a Jacobson ring and for which moreover every primitive ideal has finite codimension is sometimes called a Hilbert algebra. The theorem that a finitely-generated polynomial-identity algebra (cf. PI-algebra) over a field is a Hilbert algebra, is a non-commutative generalization of the Hilbert Nullstellensatz, [a1], Chapt. V. This notion of a Hilbert algebra should not be confused with the one defined in the article Hilbert algebra, which refers to an algebra provided with an involution and an inner product satisfying certain properties.
References
[a1] | C. Procesu, "Rings with polynomial identities" , M. Dekker (1973) |
[a2] | J.C. McConnell, J.C. Robson, "Noncommutative Noetherian rings" , Wiley (1987) |
Jacobson ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Jacobson_ring&oldid=12065