Definition
In mathematics, a subquotient of an algebraic structure (most commonly a group, module, or ring) is a structure obtained by first taking a substructure and then forming a quotient of that substructure. Formally, if $G$ is a group, $H\leq G$ is a subgroup, and $N\trianglelefteq H$ is a normal subgroup of $H$, then the quotient group $H/N$ is called a subquotient of $G$. Analogous definitions apply to modules, rings, and objects in an arbitrary category.
Overview
The concept of a subquotient captures the idea of a “piece” of a larger algebraic object that is both a part (substructure) and a simplification (quotient) of that part. Subquotients play a central role in several areas of algebra:
- In group theory, the Jordan–Hölder theorem involves composition factors, which are simple subquotients of a finite group.
- In module theory, subquotients correspond to factor modules of submodules and are used to study composition series and the structure of modules.
- In representation theory, the subquotient construction is employed to describe irreducible constituents of induced representations.
- In category theory, the notion generalises: a subquotient of an object $X$ is any object that can be expressed as a quotient of a subobject of $X$.
The term is often used informally; precise statements usually replace “subquotient” with the explicit description “quotient of a substructure”.
Etymology / Origin
The word subquotient is a compound of the Latin prefix sub- (“under”, “below”) and the English word quotient, reflecting the two-step process of taking a substructure followed by forming a quotient. The term appears in the mathematical literature at least since the early 20th century, notably in works on group theory and homological algebra.
Characteristics
| Aspect | Description |
|---|---|
| Construction | Given an object $X$ in a category, select a subobject $Y\subseteq X$; then select a normal (or appropriate) subobject $Z\trianglelefteq Y$; the quotient $Y/Z$ is the subquotient. |
| Dependence on Normality | In groups and rings, the second step requires a normal (or two‑sided ideal) substructure to ensure the quotient is well defined. In abelian categories, any subobject yields a quotient object. |
| Uniqueness | Different choices of subobjects and normal substructures can produce isomorphic subquotients; however, subquotients are not uniquely determined by the ambient object. |
| Relation to Exact Sequences | Subquotients appear naturally as the middle terms in short exact sequences $0\to N\to H\to H/N\to 0$, where $H/N$ is a subquotient of the larger object containing $H$. |
| Use in Structural Theorems | Subquotients are the building blocks in composition series, chief series, and Jordan–Hölder-type theorems, where a finite object is expressed as a series whose factors are simple subquotients. |
| Category‑theoretic Generality | In any category with kernels and cokernels (e.g., abelian categories), a subquotient corresponds to a cokernel of a monomorphism followed by a kernel of an epimorphism. |
Related Topics
- Subgroup – a subset of a group that itself forms a group under the same operation.
- Normal Subgroup – a subgroup invariant under conjugation, enabling the formation of quotient groups.
- Quotient Group (Factor Group) – the set of cosets of a normal subgroup, equipped with a natural group structure.
- Module Substructure – submodules and factor modules, analogous to subgroups and quotients.
- Composition Series – a finite chain of subgroups where successive quotients are simple groups, i.e., simple subquotients.
- Jordan–Hölder Theorem – asserts the uniqueness (up to order and isomorphism) of the multiset of simple subquotients in a composition series of a finite group.
- Exact Sequence – a sequence of morphisms where the image of each map equals the kernel of the next; subquotients arise as middle terms.
- Homomorphic Image – any quotient of a structure; a subquotient is a homomorphic image of a substructure.
- Abelian Category – a categorical setting where subquotients can be defined via kernels and cokernels without extra normality conditions.
Note: The term “subquotient” is widely used across algebraic disciplines and is recognized in standard mathematical references such as the Encyclopedia of Mathematics and textbooks on group theory and homological algebra.