Semisimple Modules and Key Structure Theorems
Handbook guide to semisimple modules and key structure theorems with core definitions, structural results, reasoning methods and verification checks.
How the topic fits together
Semisimple Modules
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.
Two Key Theorems
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
An R-module M is simple if M ̸= 0 and the only submodules of M are 0 and M.
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.
Theorem
Let M be a nonzero R-module. The following conditions are equivalent, and a module satisfying them is called semisimple or completely reducible. (a) M is a sum of simple modules; (b) M is a direct sum of simple modules; (c) If N is a submodule of M, then N is a direct summand of M, that is, there is a submodule N ′ of M such that M = N ⊕N ′.
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 Nonzero submodules and quotient modules of a semisimple module are
Nonzero submodules and quotient modules of a semisimple module are semisimple.
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.
Schur’s Lemma
Schur’s Lemma (a) If f ∈HomR(M, N) where M and N are simple R-modules, then f is either identically 0 or an isomorphism. (b) If M is a simple R-module, then EndR(M) is a division ring.
Proof / verification strategy: Construct the natural homomorphism, identify its kernel and image, then apply the relevant quotient/isomorphism result. Check well-definedness before claiming injectivity or surjectivity.
Lemma
Let M be a semisimple R-module, and let A be the endomorphism ring EndR(M). [Note that M is an A-module; if g ∈A we take g • x = g(x), x ∈M.] If m ∈M and f ∈EndA(M), then there exists r ∈R such that f(m) = rm. Before proving the lemma, let’s look more carefully at EndA(M). Suppose that f ∈ EndA(M) and x ∈M. If g ∈A then f(g(x)) = g(f(x)).
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.
Comments
Comments To specify an R-module homomorphism ψ from a direct sum V ∗= ⊕n j=1Vj to a direct sum W ∗= ⊕m i=1Wi, we must give, for every i and j, the ith component of the image of vj ∈Vj. Thus the homomorphism is described by a matrix [ψij], where ψij is a homomorphism from Vj to Wi. The ith component of ψ(vj) is ψij(vj), so the ith component of ψ(v1 + · · · + vn) is n j=1 ψij(vj). Consequently, ψ(v1 + · · · + vn) = [ψij] v1 ... vn .
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.
Theorem
(Jacobson) Let M be a semisimple R-module, and let A be the endomorphism ring EndR(M). If f ∈EndA(M) and m1, . . . , mn ∈M, then there exists r ∈R such that f(mi) = rmi for all i = 1, . . . , n.
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.
Quick-reference relationships
Problem-solving workflow
Fix the coefficient ring and variance
State whether modules are left/right modules and whether a functor is covariant or contravariant.
Write the maps, not just the objects
Kernels, images, exactness and universal properties depend on the actual homomorphisms.
Use the appropriate universal property
Direct sums, products, tensor products, projectives, injectives and limits are best handled by their mapping property.
Check exactness at each position
Verify image equals kernel rather than relying on the appearance of a diagram.
Choose a resolution only when needed
Derived constructions should be tied to projective or injective resolutions and independence from the chosen resolution.
Test naturality and compatibility
For induced maps, ensure compositions and commutative squares behave as required.
Worked-solution emphasis from the supplied source
The source exercises reinforce definition checking, construction of examples and direct use of the formal results in this article.
Common mistakes and boundary conditions
- Forgetting the coefficient ring when comparing modules.
- Assuming tensor product preserves every exact sequence.
- Confusing direct sum with direct product for infinite families.
- Reading exactness from a diagram without checking image equals kernel.
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.1 | Semisimple Modules | 178–178 |
| 9.2 | Two Key Theorems | 179–180 |
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.