Search results
Results From The WOW.Com Content Network
For a general ring with unity R, the Jacobson radical J(R) is defined as the ideal of all elements r ∈ R such that rM = 0 whenever M is a simple R-module.That is, = {=}. This is equivalent to the definition in the commutative case for a commutative ring R because the simple modules over a commutative ring are of the form R / for some maximal ideal of R, and the annihilators of R / in R are ...
If R is commutative, the Jacobson radical always contains the nilradical. If the ring R is a finitely generated Z-algebra, then the nilradical is equal to the Jacobson radical, and more generally: the radical of any ideal I will always be equal to the intersection of all the maximal ideals of R that contain I. This says that R is a Jacobson ring.
It is trivial to show = (using the basic property =), but we give some alternative methods: [clarification needed] The radical corresponds to the nilradical of the quotient ring = [,] / (), which is the intersection of all prime ideals of the quotient ring. This is contained in the Jacobson radical, which is the intersection of all maximal ...
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.
The resulting theorem is sometimes known as the Jacobson–Azumaya theorem. [13] Let J(R) be the Jacobson radical of R. If U is a right module over a ring, R, and I is a right ideal in R, then define U·I to be the set of all (finite) sums of elements of the form u·i, where · is simply the action of R on U. Necessarily, U·I is a submodule of U.
If an element of a ring is nilpotent and central, then it is a member of the ring's Jacobson radical. [15] This is because the principal right ideal generated by that element consists of quasiregular (in fact, nilpotent) elements only. If an element, r, of a ring is idempotent, it cannot be a member of the ring's Jacobson radical. [16]
An important ideal of the ring called the Jacobson radical can be defined using maximal right (or maximal left) ideals. If R is a unital commutative ring with an ideal m, then k = R/m is a field if and only if m is a maximal ideal. In that case, R/m is known as the residue field. This fact can fail in non-unital rings.
In abstract algebra, Jacobson's conjecture is an open problem in ring theory concerning the intersection of powers of the Jacobson radical of a Noetherian ring.. It has only been proven for special types of Noetherian rings, so far.