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.
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.
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 ...
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]
In fact, if M is finitely generated over a ring, then rad(M) itself is a superfluous submodule. This is because any proper submodule of M is contained in a maximal submodule of M when M is finitely generated. A ring for which rad(M) = {0} for every right R-module M is called a right V-ring. For any module M, rad(M/rad(M)) is zero.
In mathematics, a semi-local ring is a ring for which R/J(R) is a semisimple ring, where J(R) is the Jacobson radical of R. (Lam 2001, p. §20)(Mikhalev & Pilz 2002, p. C.7) The above definition is satisfied if R has a finite number of maximal right ideals (and finite number of maximal left ideals).