1 Definition and basic construction

A factor module is formed by taking a module and identifying elements that differ by an element of a chosen submodule. The result is a new module whose elements are equivalence classes, and whose structure reflects the original module while collapsing the chosen submodule to zero. This construction is one of the most basic ways to build quotient objects in algebra.

1.1 Modules and submodules

A module is an algebraic structure consisting of an abelian group together with a compatible action by a ring. A submodule is a subset that is itself a module under the inherited operations. Submodules play the same structural role for modules that subspaces play for vector spaces and normal subgroups play for groups.

1.2 Equivalence relation induced by a submodule

Given a module M and a submodule N, one defines an equivalence relation on M by declaring two elements equivalent when their difference lies in N. In symbols, x and y are equivalent if x - y belongs to N. This relation partitions M into disjoint classes.

1.3 Quotient set and cosets

Each equivalence class is a coset of N in M, usually written x + N. The collection of all such cosets is the quotient set M/N. Every element of M lies in exactly one coset, and the submodule N itself becomes the zero element of the quotient.

1.4 Module operations on the quotient

To make the quotient set into a module, one defines addition and scalar multiplication directly on cosets. The operations are inherited from M, but they must be shown to depend only on the cosets and not on the chosen representatives.

1.4.1 Well-defined addition

The sum of two cosets x + N and y + N is defined as (x + y) + N. This is well defined because changing x or y by an element of N changes the sum only by another element of N. The addition on M/N is therefore consistent with the equivalence relation.

1.4.2 Well-defined scalar multiplication

For a ring element r, the scalar multiple of a coset x + N is defined as rx + N. This is well defined because N is closed under multiplication by ring elements. As a result, M/N inherits the full module structure.

1.5 Notation and terminology

The factor module of M by N is commonly denoted M/N and is also called a quotient module. The term factor module emphasizes the idea that the original module has been factored through the submodule N. In many texts, quotient module and factor module are used interchangeably.

2 Fundamental properties

Factor modules capture essential information about a module while simplifying its structure. They are tightly connected to module homomorphisms, kernels, and images, and they appear naturally in many standard theorems.

2.1 Canonical projection

There is a natural map from M onto M/N that sends each element to its coset. This map is called the canonical projection or quotient map. It is surjective, and its kernel is exactly N.

2.2 Universal property

The quotient module has a universal mapping property. Any module homomorphism from M that sends every element of N to zero factors uniquely through M/N. This property characterizes quotient modules up to unique isomorphism and makes them central in categorical formulations.

2.3 Kernel and image relationships

If f: M → P is a module homomorphism, then the kernel of f is a submodule of M. When one passes to the quotient by the kernel, the induced map from M/ker(f) to P is injective. This relationship links quotient modules to the structure of homomorphic images.

2.4 Trivial and proper factor modules

If N = 0, then M/N is naturally isomorphic to M itself. If N = M, then the quotient has only one element and is the zero module. Intermediate submodules produce proper factor modules, which are usually the most informative cases.

2.5 Isomorphism theorems

The standard isomorphism theorems describe how quotient modules behave under homomorphisms and submodule inclusion. The first isomorphism theorem identifies the image of a homomorphism with a quotient by its kernel. Other theorems relate quotients by nested submodules and describe how submodules correspond across quotient constructions.

3 Examples

Examples show how factor modules arise in familiar algebraic settings. In many cases, the quotient simplifies the original module into a form that is easier to analyze.

3.1 Quotients of abelian groups as Z-modules

Every abelian group can be viewed as a module over the integers. If N is a subgroup of an abelian group G, then G/N is a factor module in the module sense. This recasts familiar quotient groups as quotient modules over Z.

3.2 Factor modules of vector spaces

When the ring is a field, modules are vector spaces. A quotient V/W by a subspace W is a factor module and also a quotient vector space. Its dimension, when finite, is the difference between the dimensions of V and W.

3.3 Polynomial modules modulo submodules

Polynomial rings can be viewed as modules over themselves or over smaller rings. Quotienting by a submodule generated by a polynomial relation produces a module where that relation becomes zero. Such constructions are common in linear algebra and algebraic applications.

3.4 Cyclic modules

A cyclic module is generated by a single element. Many cyclic modules can be described as quotients of a ring module by a submodule determined by an ideal or annihilator. This makes quotient notation a natural language for describing generators and relations.

3.5 Simple illustrative computations

For the integers regarded as a Z-module, the quotient Z/nZ consists of residue classes modulo n. More generally, if M is generated by an element m and N is the submodule of multiples of n m, then M/N records the relation n m = 0 in the quotient. These computations illustrate how quotienting imposes algebraic constraints.

4 Submodules and correspondence

The structure of submodules above a fixed submodule can be studied through the quotient. This correspondence is one of the most useful organizational tools in module theory.

4.1 Submodules containing a given submodule

If N is a submodule of M, then every submodule of M that contains N gives rise to a submodule of M/N. Conversely, each submodule of M/N comes from a submodule of M containing N. This provides a precise link between the two lattices of submodules.

4.2 Lattice correspondence

The correspondence between submodules of M containing N and submodules of M/N preserves inclusion. In many situations, it also respects sums and intersections after passing to the quotient. This makes quotient modules useful for studying the internal lattice structure of a module.

4.3 Preimages under module homomorphisms

Given a homomorphism f: M → P, the preimage of any submodule of P is a submodule of M. If one quotients M by the kernel of f, the induced injection clarifies how preimages and quotient structures interact. This is a standard technique in structural arguments.

4.4 Induced submodules in quotient modules

A submodule of a quotient module corresponds to a larger submodule of the original module containing the one being factored out. This induced viewpoint allows one to transfer questions about submodules into the simpler setting of the quotient. It is especially useful when classifying intermediate structures.

5 Exact sequences and homological context

Quotient modules are a natural component of exact sequences and homological algebra. They appear whenever one measures the failure of a map to be injective or surjective.

5.1 Short exact sequences

A short exact sequence 0 → N → M → M/N → 0 expresses M/N as the quotient of M by N. Exactness records that N embeds into M and that M/N captures precisely what remains after collapsing N. Such sequences are fundamental in module theory.

5.2 Cokernels

In categorical language, a quotient module is a cokernel of the inclusion map N → M. This viewpoint explains why quotient modules are universal among maps that annihilate N. It also places factor modules within a broader framework of additive categories.

5.3 Derived constructions

More advanced constructions in homological algebra often begin with quotients. For example, derived functors and resolutions frequently use factor modules to isolate relations or obstructions. Although the details vary by context, quotient modules remain a recurring ingredient.

5.4 Role in module decompositions

Factor modules help describe how a module can be broken into simpler pieces. By successively quotienting by submodules, one can analyze composition series, filtrations, and extensions. This makes quotient structures indispensable in decomposition theory.

6 Structural classifications

Quotient modules are often studied according to their internal complexity. Certain quotients are especially important because they form the simplest building blocks of module theory.

6.1 Simple factor modules

A factor module is simple if it has no nontrivial submodules. Such quotients occur when the submodule being factored out is maximal. Simple quotient modules are fundamental in the study of composition factors.

6.2 Semisimple quotients

A semisimple quotient decomposes as a direct sum of simple modules. These quotients are well behaved and often arise in settings where a module splits into irreducible components. Their structure is usually easier to describe than that of arbitrary quotients.

6.3 Composition factors

When a module has a composition series, the successive quotients between adjacent terms are its composition factors. These factor modules are simple and encode important invariants of the original module. They are central to refinement and uniqueness results.

6.4 Indecomposable quotients

An indecomposable quotient cannot be expressed as a direct sum of two nonzero submodules. Such quotients may still have a rich internal structure, even when they resist further splitting. They are often studied in representation theory and related areas.

7 Applications in algebra

Factor modules are used throughout algebra as a practical means of simplifying problems. They provide a bridge between abstract definitions and explicit calculations.

7.1 Studying module homomorphisms

Quotients are a standard tool for analyzing kernels, images, and induced maps. By passing to a factor module, one can often reduce a problem to the injective case or isolate the essential part of a homomorphism. This technique appears repeatedly in proofs.

Although factor modules are module-theoretic objects, the same quotient idea underlies factor rings and related constructions. When a ring is viewed as a module over itself, quotienting by an ideal produces a ring quotient and, at the same time, a module quotient. This makes the construction widely adaptable.

7.3 Presentations of modules

Modules can be described by generators and relations, and quotient modules are the natural language for relations. A presentation typically starts with a free module and then quotients by the submodule of relations. This makes quotient modules essential in explicit algebraic descriptions.

7.4 Use in classification problems

Many classification results depend on understanding which quotients can arise from a given module. Quotient modules help distinguish structural features, compare modules up to isomorphism, and reduce large objects to manageable invariants. They are especially valuable when combined with decomposition theorems.

Factor modules are closely connected to several standard quotient constructions in algebra. These analogies help explain why the idea is so broadly useful.

8.1 Quotient groups

A quotient group is formed by dividing a group by a normal subgroup. The module analogue uses submodules instead of normal subgroups, and the underlying mechanism of cosets is similar. This parallel is one of the main motivations for the terminology.

8.2 Quotient vector spaces

If the ring is a field, a module becomes a vector space and a factor module becomes a quotient vector space. The resulting structure retains linearity while identifying all vectors in a chosen subspace with zero. This is a foundational construction in linear algebra.

8.3 Factor rings

A factor ring is obtained by quotienting a ring by an ideal. Since ideals are special kinds of submodules, factor modules generalize this idea in a broader module-theoretic setting. The shared logic of collapsing a substructure is the same.

8.4 Homomorphic images

A factor module is always a homomorphic image of the original module. Conversely, every homomorphic image can be realized as a quotient by a kernel. This equivalence makes quotient modules one of the most important tools for understanding module maps.