# Quotient module
A quotient module is the module analog of a quotient group: given an \( R \)-module \( M \) and a submodule \( N \subseteq M \), the quotient \( M/N \) is the set of additive cosets \( x + N \) equipped with the module operations \( (x + N) + (y + N) = (x + y) + N \) and \( r(x + N) = rx + N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html). It is one of the basic constructions of module theory, alongside submodules, homomorphisms, and the isomorphism theorems that connect them.
| Key fact | Detail |
|---|---|
| Underlying set | Additive cosets \( x + N \) of a submodule \( N \) in an \( R \)-module \( M \), with coset addition and scalar action \( r(x+N) = rx + N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html) |
| Well-definedness | The scalar action on cosets is well defined precisely because \( N \) is closed under scalar multiplication, which is part of the submodule definition[2](https://kevos.com/engineering/submodules-and-quotient-modules) |
| No normality condition | Unlike quotient groups, no normality hypothesis is needed; every submodule of a module gives a quotient[2](https://kevos.com/engineering/submodules-and-quotient-modules) |
| Natural map | \( M \to M/N \), \( x \mapsto x + N \), is a surjective module homomorphism[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html) |
| First isomorphism theorem | \( M/\ker f \cong \operatorname{im} f \) for every module homomorphism \( f \); the cokernel is \( \operatorname{coker} f = N/\operatorname{im} f \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html) |
| Correspondence theorem | Submodules of \( M/N \) correspond bijectively to submodules of \( M \) that contain \( N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html) |
| Special case | Over a field, quotient modules are quotient vector spaces; \( \mathbb{Z} \)-modules are abelian groups, so \( \mathbb{Z}/n\mathbb{Z} \) is a quotient module[3](https://abel.math.harvard.edu/~elkies/M55a.10/index.html) |
## Definition and construction
A submodule \( N \) of an \( R \)-module \( M \) is a subgroup of \( M \) under addition that is closed under scalar multiplication, so that \( rx \in N \) for all \( r \in R \) and \( x \in N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html). Because \( M \) is in particular an abelian group, every subgroup is normal, and the quotient group \( M/N \) of cosets exists without further conditions[4](https://notes.edubirdie.com/docs/massachusetts-institute-of-technology/res-18-012-algebra-ii-student-notes/87335-lecture-19-notes-modules-over-a-ring).
The module structure on \( M/N \) is defined by the rule \( a(x + N) = ax + N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html). The only point requiring proof is that this rule does not depend on the chosen coset representative. If \( \bar{x} = \bar{y} \), then \( x - y \in N \), so \( rx - ry = r(x - y) \in N \) by closure under scalar multiplication, and hence \( \overline{rx} = \overline{ry} \)[5](https://docs.univr.it/documenti/OccorrenzaIns/matdid/matdid034679.pdf). This is why the submodule condition is exactly what the construction needs: closure under scalars is precisely what makes the scalar action on cosets well defined[2](https://kevos.com/engineering/submodules-and-quotient-modules).
The contrast with ring theory is instructive. In ring theory one cannot quotient by an arbitrary subring; an ideal is required. In module theory one can quotient by any submodule, because the absorption property that ideals must satisfy is already built into the definition of a submodule[6](https://exploringabstractmath.wiki/wiki/submodules-quotients-and-the-isomorphism-theorems).
## The natural map and the correspondence theorem
The natural map \( \pi : M \to M/N \) sending \( x \) to \( x + N \) is a surjective module homomorphism with kernel \( N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html). It induces a bijection between the submodules of \( M/N \) and the submodules of \( M \) that contain \( N \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html); the inverse sends a submodule \( Q \) of \( M/N \) to its preimage \( \pi^{-1}(Q) \) in \( M \)[7](https://math.ucla.edu/~sharifi/notes/algebra-ch05.html). This correspondence theorem lets statements about submodules of \( M \) above \( N \) be translated into statements about submodules of the quotient, and it underlies the lattice-theoretic study of submodule structures.
## Isomorphism theorems
For a module homomorphism \( f : M \to N \), the kernel \( \ker f = \{ x \in M \mid f(x) = 0 \} \) is a submodule of \( M \), the image \( \operatorname{im} f \) is a submodule of \( N \), and the cokernel is \( \operatorname{coker} f = N/\operatorname{im} f \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html). A homomorphism is injective exactly when its kernel is trivial[8](https://alphabetamath.cc/abstract-algebra/modules-and-module-homomorphisms).
More generally, if \( M' \) is any submodule of \( M \) contained in \( \ker f \), then \( f \) induces a homomorphism \( \bar{f} : M/M' \to N \) given by \( x + M' \mapsto f(x) \), with \( \ker \bar{f} = \ker f / M' \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html). Taking \( M' = \ker f \) gives the first isomorphism theorem for modules:
\[ M/\ker f \cong \operatorname{im} f \]
via the map \( m + \ker f \mapsto f(m) \)[1](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html) • [8](https://alphabetamath.cc/abstract-algebra/modules-and-module-homomorphisms). The second isomorphism theorem and the remaining module versions of the group and ring isomorphism theorems also hold; for finite-dimensional vector spaces they all follow from the rank–nullity theorem[9](https://en.wiki.beta.math.wmflabs.org/wiki/Isomorphism_theorems). A typical application of the first theorem: the surjective homomorphism \( R \to M \) sending \( r \) to \( rm \) has kernel a left ideal \( I \), so \( R/I \cong M \) for any cyclic module \( M \)[7](https://math.ucla.edu/~sharifi/notes/algebra-ch05.html).
## Examples
- **Integers modulo n.** A \( \mathbb{Z} \)-module is the same thing as an abelian group, and \( \mathbb{Z}/n\mathbb{Z} \) is the quotient of \( \mathbb{Z} \) by its submodule \( n\mathbb{Z} \)[3](https://abel.math.harvard.edu/~elkies/M55a.10/index.html).
- **Ideals as submodules.** Viewing a ring \( R \) as a module over itself, its submodules are exactly the ideals; this parallel is why ideal theory and module theory develop together[2](https://kevos.com/engineering/submodules-and-quotient-modules).
- **Quotient vector spaces.** Over a field the ring structure degenerates and one recovers linear algebra: every module is free, and dimension is a complete invariant[10](https://notes.amittai.studio/abstract-algebra/module-theory/introduction-to-modules).
- **Presentations.** Every module has a presentation \( M = N/K \) as a quotient; \( M \) is finitely generated when \( N \) is, and finitely presented when both \( N \) and \( K \) are[11](https://raw.githubusercontent.com/Ayushi141/SoSe-23-Algebra-I/main/lecture_notes.pdf). Over a [Noetherian ring](https://www.edgepedia.org/noetherian-ring), any finitely generated module is a quotient of a free module \( A^{1 \times n} \) and is therefore Noetherian[12](https://www.sciencedirect.com/topics/mathematics/submodule).
## Role in the theory
Quotients are the mechanism by which homomorphic images are understood: every homomorphic image of \( M \) is a quotient of \( M \), so describing \( M \) up to isomorphism reduces to understanding its submodules and the quotients by them[10](https://notes.amittai.studio/abstract-algebra/module-theory/introduction-to-modules). The construction also satisfies a universal property: a homomorphism vanishing on a submodule \( N \) factors uniquely through \( M/N \)[8](https://alphabetamath.cc/abstract-algebra/modules-and-module-homomorphisms). Because modules form a category closed under its own hom-sets, kernels, cokernels, and quotients fit into exact sequences, the starting point of homological algebra[6](https://exploringabstractmath.wiki/wiki/submodules-quotients-and-the-isomorphism-theorems).
## Historical background
The module concept has antecedents in [Richard Dedekind](https://www.edgepedia.org/richard-dedekind)'s ideal theory: his 1877 presentation of ideal theory opens with a section titled "Auxiliary Theorems from the Theory of Modules," introducing an early form of the \( R \)-module notion, and module theory occupies a central section in his 1894 version[13](https://doi.org/10.1093/oso/9780190641221.003.0003). [Emmy Noether](https://www.edgepedia.org/emmy-noether)'s axiomatic foundation of ideal theory in the 1920s, beginning with her 1921 paper "Idealtheorie in Ringbereichen," generalized Dedekind's structural approach, and the module concept from that tradition became a key device in representation theory[13](https://doi.org/10.1093/oso/9780190641221.003.0003) • [14](https://time.com/5792615/emmy-noether-100-women-of-the-year/).
## References
1. [Submodules and Quotient Modules, Comm. Algebra notes (P. B. Cohen), Stanford](https://crypto.stanford.edu/pbc/notes/commalg/submodule.html)
2. [Submodules and Quotient Modules, KEVOS](https://kevos.com/engineering/submodules-and-quotient-modules)
3. [Math 55a: Honors Abstract Algebra (Fall 2010), Harvard University](https://abel.math.harvard.edu/~elkies/M55a.10/index.html)
4. [Lecture 19 Notes: Modules over a Ring, MIT 18.012 student notes](https://notes.edubirdie.com/docs/massachusetts-institute-of-technology/res-18-012-algebra-ii-student-notes/87335-lecture-19-notes-modules-over-a-ring)
5. [2.2 Submodules and quotient modules, Università di Verona lecture notes](https://docs.univr.it/documenti/OccorrenzaIns/matdid/matdid034679.pdf)
6. [Submodules, quotients, and the isomorphism theorems, Exploring Abstract Math](https://exploringabstractmath.wiki/wiki/submodules-quotients-and-the-isomorphism-theorems)
7. [Abstract Algebra, Chapter 5: Advanced ring theory, Romyar Sharifi, UCLA](https://math.ucla.edu/~sharifi/notes/algebra-ch05.html)
8. [Modules, Submodules, Quotient Modules and the Isomorphism Theorems, Alphabeta Math](https://alphabetamath.cc/abstract-algebra/modules-and-module-homomorphisms)
9. [Isomorphism theorems, testwiki (WMF Labs)](https://en.wiki.beta.math.wmflabs.org/wiki/Isomorphism_theorems)
10. [Introduction to Modules, Amittai studio notes](https://notes.amittai.studio/abstract-algebra/module-theory/introduction-to-modules)
11. [Lecture Notes Algebra I – Commutative Algebra (SoSe 23)](https://raw.githubusercontent.com/Ayushi141/SoSe-23-Algebra-I/main/lecture_notes.pdf)
12. [Submodule, ScienceDirect Topics overview](https://www.sciencedirect.com/topics/mathematics/submodule)
13. [Dedekind's Mathematical Structuralism: From Galois Theory to Numbers, Sets, and Functions, in The Prehistory of Mathematical Structuralism, Oxford University Press](https://doi.org/10.1093/oso/9780190641221.003.0003)
14. [1921: Emmy Noether, TIME 100 Women of the Year](https://time.com/5792615/emmy-noether-100-women-of-the-year/)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Algebraic structures › Module theory › Tensor products and bimodules › Quotient modules*
*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 11, 2026; Oct 15, 2026; Oct 25, 2026 · Last review: Oct 15, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license