The Jacobson Radical and Chain-Condition Theorems
Handbook guide to the jacobson radical and chain-condition theorems with core definitions, structural results, reasoning methods and verification checks.
How the topic fits together
The Jacobson Radical
This source section supplies the definitions, constructions and formal results used in this article. The sequence of results is preserved so later claims are not detached from their prerequisites.
Theorems of Hopkins-Levitzki and Nakayama
This source section supplies the definitions, constructions and formal results used in this article. The sequence of results is preserved so later claims are not detached from their prerequisites.
Core definitions and structural results
The following cards retain the mathematical content of the source while condensing long proofs into verification strategies. Numerical examples are treated as examples, not universal requirements.
Definition
The Jacobson radical J(R) of a ring R is the intersection of all maximal left ideals of R. More generally, the Jacobson radical J(M) = JR(M) of an R-module M is the intersection of all maximal submodules of M. [“Maximal submodule” will always mean “maximal proper submodule”.] If M has no maximal submodule, take J(M) = M. If M is finitely generated, then every submodule N of M is contained in a maximal submodule, by Zorn’s lemma. [If the union of a chain of proper submodules is M, then the union contains all the generators, hence some member of the chain contains all the generators, a contradiction.] Taking N = 0, we see that J(M) is a proper submodule of M. Since R is finitely generated (by 1R), J(R) is always a proper left ideal.
Proof / verification strategy: Use this as a definition checklist: identify the ambient object, test each stated condition separately, then compare examples and non-examples without assuming later theorems.
Proposition
If M is semisimple, then J(M) = 0. Thus in a sense, the Jacobson radical is an “obstruction” to semisimplicity.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Proposition J(R) is the intersection of all annihilators of simple R-modules.
J(R) is the intersection of all annihilators of simple R-modules.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Definition
The element a ∈R is left quasi-regular (lqr) if 1 −a has a left inverse, right quasi-regular (rqr) if 1−a has a right inverse, and quasi-regular (qr) if 1−a is invertible. Note that if a is both lqr and rqr, it is qr, because if b(1−a) = (1−a)c = 1, then b = b1 = b(1 −a)c = 1c = c.
Proof / verification strategy: Use this as a definition checklist: identify the ambient object, test each stated condition separately, then compare examples and non-examples without assuming later theorems.
Lemma
Let I be a left ideal of R. If every element of I is lqr, then every element of I is qr.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Proposition
The Jacobson radical J(R) is the largest two-sided ideal consisting entirely of quasi-regular elements.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Corollary J(R) is the intersection of all maximal right ideals of R.
J(R) is the intersection of all maximal right ideals of R.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Theorem
If M is a nonzero R-module, the following conditions are equivalent: (1) M is semisimple and has finite length, that is, has a composition series; (2) M is Artinian and J(M) = 0.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Corollary
The ring R is semisimple if and only if R is Artinian and J(R) = 0.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Definition
An ideal (or left ideal or right ideal) I of the ring R is nil if each element x ∈I is nilpotent, that is, xm = 0 for some positive integer m; I is nilpotent if In = 0 for some positive integer n. Every nilpotent ideal is nil, and the converse holds if R is Artinian, as we will prove.
Proof / verification strategy: Use this as a definition checklist: identify the ambient object, test each stated condition separately, then compare examples and non-examples without assuming later theorems.
Lemma
If I is a nil left ideal of R, then I ⊆J(R).
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Proposition
If R is Artinian, then J(R) is nilpotent. Thus by (9.7.11) and (9.7.12), J(R) is the largest nilpotent ideal of R, and every nil ideal of R is nilpotent.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Theorem (Hopkins and Levitzki) Let R be an Artinian ring, and M a finitely
(Hopkins and Levitzki) Let R be an Artinian ring, and M a finitely generated R-module. Then M is both Artinian and Noetherian. In particular, with M = R, an Artinian ring is Noetherian.
Proof / verification strategy: Start from the stated definitions, prove each required implication or inclusion separately, and use the immediately preceding structural result where it shortens the argument.
Nakayama’s Lemma, Version 1 Let M be a finitely generated R-module, and I
Nakayama’s Lemma, Version 1 Let M be a finitely generated R-module, and I a two-sided ideal of R. If I ⊆J(R) and IM = M, then M = 0.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Lemma
Let N be a submodule of the R-module M, I a left ideal of R. Then M = N + IM if and only if M/N = I(M/N).
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Nakayama’s Lemma, Version 2 Let N be a submodule of the R-module M, with
Nakayama’s Lemma, Version 2 Let N be a submodule of the R-module M, with M/N finitely generated over R. [This will be satisfied if M is finitely generated over R.] If I is a two-sided ideal contained in J(R), and M = N + IM, then M = N.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Proposition
Let R be a commutative local ring with maximal ideal J (see (8.5.8)). Let M be a finitely generated R-module, and let V = M/JM. Then: (i) V is a finite-dimensional vector space over the residue field k = R/J. (ii) If {x1 + JM, . . . , xn + JM} is a basis for V over k, then {x1, . . . , xn} is a minimal set of generators for M.
Proof / verification strategy: Translate the element statement into ideals or quotient rings, establish both inclusions or implications, and use the strongest ring hypothesis actually available.
Quick-reference relationships
Problem-solving workflow
Name the base field and extension
Keep the direction of the extension and any intermediate fields explicit.
Classify the elements involved
Determine whether elements are algebraic, separable, normal, transcendental or generators of the extension.
Use minimal or splitting polynomials
Polynomial factorisation and root structure determine the relevant field construction.
Track extension degree
Apply basis arguments and degree multiplicativity before making claims about possible intermediate fields.
Relate automorphisms to fixed fields
For finite Galois situations, use the subgroup-field correspondence only after the extension hypotheses are satisfied.
Verify by root action
Represent automorphisms through their action on roots and check that all defining algebraic relations are preserved.
Worked-solution emphasis from the supplied source
The supplied worked solutions for this section repeatedly test kernel, ideal, module, maximal, factor, Tor. These checks are used here as verification themes rather than copied as answer text.
Common mistakes and boundary conditions
- Assuming an algebraic extension is automatically normal or separable.
- Confusing the degree of a polynomial with the degree of an extension when the polynomial is not minimal.
- Treating every automorphism of an extension as arbitrary on generators; algebraic relations must be preserved.
- Using the subgroup-field correspondence outside the finite Galois setting.
Verification checklist
- State the ambient algebraic structure and operation before applying a theorem.
- Record every hypothesis that controls the result: finiteness, commutativity, normality, primality, separability, exactness or other section-specific conditions.
- Distinguish a definition from a theorem that follows from it.
- Check whether a map is well-defined before using its kernel, image, inverse or induced map.
- Use a concrete example only as a check; do not promote an illustrative value or pattern to a universal rule.
- When a quotient, localisation or extension is constructed, identify the canonical map and what becomes equal, invertible or fixed.
Source coverage map
| Source section | Subject | PDF pages analysed |
|---|---|---|
| 9.7 | The Jacobson Radical | 192–193 |
| 9.8 | Theorems of Hopkins-Levitzki and Nakayama | 194–197 |
Related Mathematics pages
Source note: synthesised from the supplied abstract-algebra PDF. The complete 298-page file, including diagrams and worked solutions, was reviewed. Source-identifying author and bibliographic personal details are intentionally omitted. Formal proofs are condensed; the page does not claim requirements or values not supported by the supplied mathematics.