1 Definition and basic properties
A submodule is one of the basic objects in module theory. It is the module-theoretic analogue of a subspace in linear algebra and is defined using the same addition and scalar multiplication that already exist on the ambient module. Because submodules preserve the module operations, they provide the most natural way to examine smaller pieces of a module without leaving the category of modules.
Submodules are central to many constructions in algebra. They are used to form quotient modules, to describe kernels and images of homomorphisms, and to analyze how a module decomposes into simpler parts. Many structural results in module theory are expressed in terms of submodules and the relations among them.
1.1 Modules and rings
A module is an additive abelian group equipped with an action by a ring. If \(R\) is a ring and \(M\) is an \(R\)-module, then each element of \(R\) acts on each element of \(M\) in a way compatible with ring addition and multiplication. When \(R\) is a field, modules are exactly vector spaces, so submodules become subspaces in the familiar linear-algebra setting.
The ring determines the scalar multiplication rules, so the same underlying additive set can behave differently depending on the ring acting on it. This is one reason submodules are more varied than subspaces: over general rings, modules need not be free, and their submodules can have more complicated structure.
1.2 Definition of a submodule
A submodule \(N\) of an \(R\)-module \(M\) is a subset of \(M\) that is itself an \(R\)-module under the operations inherited from \(M\). In practice, this means that the set is closed under the relevant operations and contains enough elements to satisfy the module axioms.
The simplest way to think about a submodule is as a “stable” subset: once an element is inside, combining it with other elements of the subset or multiplying it by ring elements cannot move it outside the set.
1.2.1 Closure under addition
If \(x\) and \(y\) are in a submodule \(N\), then their sum \(x+y\) must also lie in \(N\). This condition ensures that the subset remains compatible with the additive structure of the ambient module. Without closure under addition, the subset would not support module structure.
1.2.2 Closure under scalar multiplication
If \(x\in N\) and \(r\in R\), then the product \(rx\) must also belong to \(N\). This requirement ties the subset to the ring action and distinguishes submodules from arbitrary additive subgroups. Scalar closure is essential because module structure depends not only on addition but also on how the ring acts.
1.2.3 Nonempty subset criteria
A subset that is closed under addition and scalar multiplication is automatically a submodule if it is nonempty. In many contexts, one often checks whether the subset contains the zero element, since scalar multiplication by \(0\) forces this anyway. Thus, nonemptiness combined with closure properties is enough to guarantee the full module structure.
1.3 Trivial and improper submodules
Every module has at least two obvious submodules: the zero submodule \(\{0\}\) and the module itself. These are sometimes called the trivial and improper submodules, respectively. They provide boundary cases for many statements and are useful in formulating general results cleanly.
Although these submodules may seem simple, they play an important role in classification arguments. For example, a simple module is defined by the absence of nontrivial submodules, so the zero and whole module serve as the two inevitable extremes.
1.4 Examples
In a vector space, any linear subspace is a submodule over the underlying field. For instance, in \(\mathbb{R}^3\), a plane through the origin is a submodule of \(\mathbb{R}^3\) regarded as a real vector space.
For the ring \(\mathbb{Z}\), modules are abelian groups. In that case, submodules are just subgroups. If \(M=\mathbb{Z}\) as a module over itself, then the submodules are exactly the ideals \(n\mathbb{Z}\), where \(n\) is a nonnegative integer.
2 Characterizations of submodules
Submodules can be recognized in several equivalent ways. These characterizations are useful because they reduce verification to simpler tests, especially when working with concrete examples or generated subsets.
2.1 Submodule test
The submodule test gives a practical criterion for determining whether a subset of a module is a submodule. It packages the closure requirements into a compact form that is often easier to apply than checking the module axioms one by one.
2.1.1 Single-step verification
A common version of the test says that a nonempty subset \(N\subseteq M\) is a submodule if for all \(x,y\in N\) and all \(r\in R\), the element \(x-r y\) lies in \(N\). This single-step condition implies closure under addition and scalar multiplication. It is especially convenient in computations because it combines multiple requirements into one expression.
2.1.2 Additive subgroup criterion
Another equivalent criterion is that \(N\) is a submodule if and only if it is an additive subgroup of \(M\) and is closed under scalar multiplication by elements of \(R\). This formulation separates the additive and scalar parts of the structure. It is often used because subgroup properties are well understood and easier to verify in many settings.
2.2 Generated submodules
Given a subset of a module, there is usually a smallest submodule containing it. This is called the submodule generated by the subset. It is formed by taking all finite linear combinations of the chosen elements with coefficients from the ring.
2.2.1 Submodule generated by a subset
If \(S\subseteq M\), the submodule generated by \(S\) consists of all finite sums of the form \[ r_1 s_1 + \cdots + r_n s_n \] with \(r_i\in R\) and \(s_i\in S\). This construction produces the smallest submodule containing \(S\). It is fundamental because every submodule can be described as a generated submodule of some subset, often of its own elements.
2.2.2 Cyclic submodules
A submodule generated by a single element is called cyclic. If \(m\in M\), the cyclic submodule generated by \(m\) is \(Rm=\{rm : r\in R\}\). Cyclic submodules are the module-theoretic analogues of cyclic groups and are often the simplest nontrivial submodules to study.
2.3 Intersection and sum of submodules
Submodules behave well under intersection and sum. These operations produce new submodules and are among the most useful ways to combine or compare existing ones.
2.3.1 Finite sums
If \(N_1,\dots,N_k\) are submodules of \(M\), their sum is the set of all elements that can be written as \(x_1+\cdots+x_k\) with \(x_i\in N_i\). This is again a submodule. Finite sums are important when building larger submodules from smaller pieces or when expressing generators in stages.
2.3.2 Direct sums
A sum \(N_1+\cdots+N_k\) is called direct if each element has a unique decomposition as a sum of elements from the individual submodules. Direct sums capture the idea of assembling a module from independent components. They are especially significant in decomposition theory and in the study of free and semisimple modules.
3 Operations involving submodules
Submodules are not only objects in their own right; they also participate in standard constructions that reveal more about the ambient module. Quotients, images, preimages, and lattice operations all depend on the presence of submodules.
3.1 Quotient modules
Given a submodule \(N\subseteq M\), one can form the quotient module \(M/N\). This construction identifies elements that differ by an element of \(N\), thereby collapsing the submodule to zero.
3.1.1 Construction of the quotient
The quotient module consists of cosets \(m+N\), where two elements \(m\) and \(m'\) are considered equivalent if \(m-m'\in N\). Addition and scalar multiplication are defined on these cosets in the natural way. The submodule condition is precisely what ensures these operations are well defined.
3.1.2 Canonical projection
There is a natural surjective homomorphism \(\pi:M\to M/N\) given by \(\pi(m)=m+N\). Its kernel is exactly \(N\). This map is called the canonical projection and is a standard tool for passing from a module to a quotient while keeping track of the submodule being collapsed.
3.2 Preimages and images under homomorphisms
Module homomorphisms interact strongly with submodules. Kernels and images are the most basic examples, and more generally, submodules can be transported backward or forward along a homomorphism.
3.2.1 Preimage of a submodule
If \(f:M\to N\) is a module homomorphism and \(L\subseteq N\) is a submodule, then \(f^{-1}(L)\) is a submodule of \(M\). This follows from the compatibility of \(f\) with addition and scalar multiplication. Preimages are especially useful because they preserve containment and allow submodule structures to be pulled back along maps.
3.2.2 Image of a submodule
If \(K\subseteq M\) is a submodule, then \(f(K)\) is a submodule of \(N\). The image may be smaller than expected if \(f\) has a large kernel, but it remains stable under the module operations. This is one of the basic reasons homomorphisms are so effective for comparing module structures.
3.3 Lattice structure of submodules
The collection of all submodules of a fixed module forms a partially ordered set under inclusion. In fact, it has a rich lattice structure, with intersection and sum serving as the basic meet and join operations.
3.3.1 Meet and join
The meet of two submodules is their intersection, while the join is the submodule generated by their union, which for submodules is the same as their sum. This lattice viewpoint organizes submodule relations systematically and is widely used in abstract algebra.
3.3.2 Inclusion order
Under inclusion, submodules can be compared by size and containment. Chains of submodules, where each is contained in the next, are important in finiteness conditions and decomposition arguments. This order structure is one of the main tools for studying how a module is built from its submodules.
4 Special types of submodules
Some submodules are distinguished by extremal properties or by their relation to the whole module. These special submodules often control the structure of the module and are central in classification problems.
4.1 Maximal submodules
A maximal submodule is a proper submodule that is not properly contained in any other proper submodule. Equivalently, it is maximal among proper submodules under inclusion. Maximal submodules are closely related to simple quotients, since the quotient by a maximal submodule is simple under suitable conditions.
4.2 Minimal submodules
A minimal submodule is a nonzero submodule that contains no nonzero proper submodules. Such submodules are the smallest building blocks visible inside a module. They often appear in modules with strong finiteness properties and are useful for understanding composition structure.
4.3 Simple modules and submodules
A simple module has no submodules other than \(0\) and itself. In this case, every nonzero element generates the whole module. Simplicity is an important extremal notion because it describes modules that cannot be decomposed further by submodule methods.
The study of submodules is essential for identifying simple modules. A module is simple precisely when its submodule lattice has only the two unavoidable elements. This makes simple modules the basic atoms of module theory in many classification schemes.
4.4 Direct summands
A submodule \(N\) is a direct summand of \(M\) if there exists another submodule \(L\) such that \(M=N\oplus L\). Direct summands are especially well behaved because they split the module into complementary parts. They often correspond to projection maps and splitting phenomena.
4.4.1 Complementary submodules
Two submodules \(N\) and \(L\) are complementary if their sum is the whole module and their intersection is zero. In that case, every element of the module decomposes uniquely as a sum of one element from each submodule. Complementary submodules are the structural basis of direct sum decompositions.
4.4.2 Split exact sequences
A short exact sequence of modules splits when the middle module is isomorphic to a direct sum of the other two. Submodules appear here as kernels and images, and a splitting identifies one submodule as a direct summand. Split exact sequences are fundamental in homological algebra because they mark situations where an extension is decomposed rather than merely glued together.
5 Examples and applications
Submodules appear throughout module theory and its applications. Concrete examples help illustrate their behavior, while theoretical applications show why they are indispensable in algebra.
5.1 Submodules of free modules
A free module is built from a basis in a way analogous to a vector space, but over a ring rather than a field. Its submodules can be complicated, and unlike vector spaces, submodules of free modules need not themselves be free. This difference is one of the key features that makes module theory richer than linear algebra.
Nevertheless, submodules of free modules are often studied through generators and relations. They play a major role in presentations of modules and in the study of syzygies.
5.2 Submodules over principal ideal domains
Over a principal ideal domain, submodules of finitely generated free modules have a particularly tractable structure. Many such submodules are themselves free, and their generators can often be put into a standard form. This leads to classification results for finitely generated modules over principal ideal domains.
These results are among the best-known applications of submodule theory. They connect submodule structure with invariant factors and elementary divisors, which provide refined information about module decomposition.
5.3 Submodules in vector spaces
When the ring is a field, submodules are precisely subspaces. In this setting, submodule theory recovers familiar concepts from linear algebra such as span, dimension, quotient spaces, and direct sums. The vector-space case serves as an important model for understanding the more general module case.
Because subspaces behave especially well, they offer intuition for many module-theoretic ideas. However, the general theory over rings is subtler because scalar multiplication is governed by a possibly nonfield ring.
5.4 Applications in module theory
Submodules are used throughout the study of modules to formulate structural conditions and to compare different modules. They are the natural language for expressing internal constraints and for tracking how modules change under maps and decompositions.
5.4.1 Exact sequences
Exact sequences describe how images and kernels fit together across consecutive homomorphisms. Submodules appear as kernels, images, and quotient components in these sequences. This makes them indispensable in homological methods, where exactness is used to measure how far a module is from splitting into simpler pieces.
5.4.2 Noetherian and Artinian conditions
A module is Noetherian if it satisfies the ascending chain condition on submodules, and Artinian if it satisfies the descending chain condition. These finiteness conditions control the complexity of the submodule lattice. They are important because they often guarantee that decomposition and induction arguments terminate after finitely many steps.