Direct Sums, Free Modules and Matrix Representations
Handbook guide to direct sums, free modules and matrix representations with core definitions, structural results, reasoning methods and verification checks.
How the topic fits together
Direct Sums and Free 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.
Homomorphisms and Matrices
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 cyclic if it is generated by a single element x. Equivalently, M = Rx = {rx : r ∈R}. Thus every element of M is a scalar multiple of x. (If x = 0, then M = {0}, which is called the zero module and is often written simply as 0.) A cyclic vector space over a field is a one-dimensional space, assuming that x ̸= 0.
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
(a) If x generates a cyclic module M over the commutative ring R, then Ix = Io, so that M ∼= R/Io. (In this situation, Io is frequently referred to as the order ideal of M.) (b) Two cyclic R-modules over a commutative ring are isomorphic if and only if they have the same annihilator.
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.
Direct Products In Section 1.5, we studied direct products of groups, and the basic
Direct Products In Section 1.5, we studied direct products of groups, and the basic idea seems to carry over to modules. Suppose that one has an R-module Mi for each i in some index set I (possibly infinite). The members of the direct product of the Mi, denoted by i∈I Mi, are all families (ai, i ∈I). (A family is just a function on I whose value at the element i is ai.) Addition is described by (ai) + (bi) = (ai + bi) and scalar multiplication by r(ai) = (rai).
Proof / verification strategy: Partition the finite set into cosets or orbits, compare cardinalities, and use divisibility or stabiliser information to obtain the structural conclusion.
Definitions The external direct sum of the modules Mi, i ∈I, denoted by ⊕i∈IMi,
Definitions The external direct sum of the modules Mi, i ∈I, denoted by ⊕i∈IMi, consists of all families (ai, i ∈I) such that ai = 0 for all but finitely many i. Addition and scalar multiplication are defined exactly as for the direct product, so that the external direct sum coincides with the direct product when the index set I is finite. The R-module M is the internal direct sum of the submodules Mi if each x ∈M can be expressed uniquely as xi1 + · · · + xin where 0 ̸= xik ∈Mik, k = 1, . . . , n. (The positive integer n and the elements xik depend on x.
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
The module M is the direct sum of submodules Mi if and only if both of the following conditions are satisfied: (1) M = i Mi, that is, each x ∈M is a finite sum of the form xi1 + · · · + xin, where xik ∈Mik; (2) For each i, Mi ∩ j̸=i Mj = 0. (Note that in condition (1), we do not assume that the representation is unique. Observe also that another way of expressing (2) is that if xi1 + · · · + xin = 0, with xik ∈Mik, then xik = 0 for all k.)
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
Let S be a subset of the R-module M. Call S is linearly independent over R if λ1x1 + · · · + λkxk = 0 implies that all λi = 0 (λi ∈R, xi ∈ S, k = 1, 2, . . .). Call S is a spanning (or generating) set for M over R, or that S spans (generates) M over R if each x ∈M can be written as a finite linear combination of elements of S with coefficients in R. We will usually omit “over R” if the underlying ring R is clearly identified.
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 Any two bases for a free module M over a commutative ring R have the
Any two bases for a free module M over a commutative ring R have the same cardinality.
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.
Some Key Properties of Free Modules Suppose that M is a free module with
Some Key Properties of Free Modules Suppose that M is a free module with basis (xi), and we wish to construct a module homomorphism f from M to an arbitrary module N. Just as with vector spaces, one can specify f(xi) = yi ∈N arbitrarily on basis elements, and extend by linearity. Thus if x = aixi ∈M, one has f(x) = aiyi. (The idea should be familiar; for example, a linear transformation on Euclidean 3-space is determined by what it does to the three standard basis vectors.) Now let’s turn this process around: If N is an arbitrary module, one can express N as a homomorphic image of a free module.
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.
The Correspondence Between Homomorphisms and Matrices
The Correspondence Between Homomorphisms and Matrices Associate with each f ∈HomR(M, N) a matrix A as in (1) above. This yields an abelian group isomorphism, and also an R-module isomorphism if R is commutative. Now let m = n, so that the dimensions are equal and the matrices are square, and take vi = wi for all i. A homomorphism from M to itself is called an endomorphism of M, and we use the notation EndR(M) for HomR(M, M).
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.
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 supplied worked solutions for this section repeatedly test ideal, quotient, polynomial, root, matrix, field, module, homomorphism. These checks are used here as verification themes rather than copied as answer text.
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 |
|---|---|---|
| 4.3 | Direct Sums and Free Modules | 69–71 |
| 4.4 | Homomorphisms and Matrices | 72–73 |
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.