1 Basic definition

A module is an algebraic structure that extends the idea of a vector space from fields to rings. The key difference is that the scalars need not be invertible, so module theory captures many phenomena that do not occur in linear algebra over fields. Because of this broader setting, modules serve as a central language in abstract algebra and many of its applications.

1.1 Rings and scalar action

A ring provides the scalars that act on a module. This action is required to interact consistently with the additive structure of the module and the multiplication in the ring. In practice, the ring may be commutative or noncommutative, and this distinction affects how the module is defined and used.

1.2 Axioms of a module

A module consists of an abelian group together with a scalar action satisfying familiar distributive and associative laws. Scalar multiplication must respect addition in both the ring and the module, and multiplying by the ring identity leaves each element unchanged when the ring has one. These rules make modules behave like linear spaces, except that division by scalars is generally unavailable.

1.3 Left modules and right modules

When the ring is not commutative, the side on which scalars act matters. In a left module, ring elements multiply module elements from the left; in a right module, they act from the right. For commutative rings, this distinction disappears, and the two notions coincide.

1.4 Examples of modules

Every abelian group is a module over the integers, with scalar multiplication defined by repeated addition and subtraction. Vector spaces are modules over fields, while many algebraic objects arising from polynomials, matrices, or group actions also form modules over suitable rings. These examples show how modules unify a wide range of structures under one framework.

2 Fundamental examples

Modules appear naturally in both familiar and abstract settings. Some are direct generalizations of vector spaces, while others reveal new behavior caused by the arithmetic of the ring. These examples are often the starting point for studying the subject.

2.1 Modules over fields

If the ring is a field, then a module is exactly a vector space. In this case, every nonzero scalar is invertible, which gives vector spaces their especially simple and rigid structure. Many ideas in module theory are modeled on this special case.

2.2 Modules over the integers

Modules over the ring of integers are precisely abelian groups. This example is foundational because it links module theory to the classification of groups under addition. It also illustrates how a module can exist without any division-like behavior.

2.3 Free modules

A free module has a basis, meaning every element can be written uniquely as a finite linear combination of basis elements. Free modules generalize vector spaces most directly, although uniqueness of coordinates depends only on the chosen basis, not on the ring being a field. They are among the simplest and most useful modules.

2.4 Cyclic modules

A cyclic module is generated by a single element. Such modules are easy to describe because every element is obtained by applying ring scalars to one generator. Many important examples, including quotients of rings by ideals, are cyclic.

3 Submodules and quotient modules

Just as vector spaces have subspaces and factor spaces, modules have submodules and quotient modules. These constructions are essential for understanding how modules are built from smaller pieces. They also provide a natural setting for comparing algebraic structures through exact relationships.

3.1 Submodules

A submodule is a subset that is itself a module under the inherited operations. It must be closed under addition, additive inverses, and scalar multiplication. Submodules play the same role in module theory that subspaces play in linear algebra.

3.2 Generated submodules

Given a subset of a module, the submodule it generates is the smallest submodule containing that set. It consists of all finite linear combinations of the chosen elements with coefficients from the ring. This construction is fundamental for describing modules in terms of generators and relations.

3.3 Quotient construction

If a module contains a submodule, one can form a quotient module by identifying elements that differ by an element of the submodule. The quotient inherits a natural module structure and records how the original module is collapsed along the chosen submodule. This construction is central in algebraic classification arguments.

3.4 Exact sequences

Exact sequences are chains of module homomorphisms that measure how modules fit together. They describe when the image of one map equals the kernel of the next, capturing both algebraic structure and dependence among components. Exact sequences are a basic tool in homological methods and classification problems.

4 Module homomorphisms

Homomorphisms are the structure-preserving maps between modules. They allow modules to be compared, transformed, and decomposed in ways that respect the ring action. Many important module-theoretic notions are defined by examining these maps.

4.1 Definition of homomorphism

A module homomorphism is a function that preserves addition and scalar multiplication. Such maps are the natural analogues of linear transformations. They encode algebraic information without disturbing the module structure.

4.2 Kernel and image

The kernel of a homomorphism consists of all elements sent to zero, while the image is the set of elements that are reached by the map. Both are submodules, and together they describe how far the map is from being injective or surjective. These two objects are among the most important invariants in module theory.

4.3 Isomorphisms

An isomorphism is a bijective homomorphism whose inverse is also a homomorphism. Isomorphic modules are structurally identical, even if their underlying sets differ. Classification problems in module theory often aim to determine when two modules are isomorphic.

4.4 Endomorphisms

An endomorphism is a homomorphism from a module to itself. The set of all endomorphisms forms a ring under addition and composition, which often reveals hidden structure in the module. Studying endomorphisms is useful in decomposition theory and representation theory.

5 Special classes of modules

Certain modules have additional properties that make them especially manageable or important. These classes often arise in classification theorems and in algebraic constructions that require good behavior under sums, quotients, or homomorphisms. They help organize the broad landscape of module theory.

5.1 Simple modules

A simple module has no nontrivial submodules. Such modules cannot be decomposed into smaller module-theoretic pieces, making them the basic building blocks in many contexts. They are the module-theoretic analogue of simple objects in other algebraic categories.

5.2 Semisimple modules

A semisimple module is a direct sum of simple modules. This property means the module can be broken into irreducible components without extension data. Semisimple modules are especially well behaved and often admit clean classification results.

5.3 Projective modules

Projective modules are characterized by a lifting property with respect to surjective homomorphisms. They behave like direct summands of free modules and are useful when constructing or lifting module maps. Projective modules play a major role in algebraic and homological arguments.

5.4 Injective modules

Injective modules satisfy a dual extension property for homomorphisms defined on submodules. They are important in contexts where one wants to extend maps without losing module structure. Like projective modules, they are central to homological algebra.

5.5 Flat modules

Flat modules preserve exactness when tensored with other modules. This condition makes them suitable for analyzing how module relationships behave under change of scalars. Flatness is an important notion in commutative algebra and related fields.

6 Construction and decomposition

Modules can be built from simpler pieces using standard algebraic constructions. These operations help organize large or complicated modules into more tractable components. They also connect module theory to categorical methods.

6.1 Direct sums

A direct sum combines modules so that each element has only finitely many nonzero components. It provides a flexible way to assemble modules from smaller parts. In many settings, direct sums represent the most natural finite-support construction.

6.2 Direct products

A direct product allows arbitrary families of modules to be combined coordinatewise. Unlike direct sums, elements may have infinitely many nonzero components. This makes products suitable for certain limiting and completeness arguments.

6.3 Tensor products

The tensor product creates a new module that encodes bilinear behavior in a linearized form. It is a powerful construction for transporting information between modules and rings. Tensor products are widely used in algebra, geometry, and representation theory.

6.4 Direct limits

Direct limits assemble a module from a directed system of smaller modules and maps. They are used to describe objects built from increasingly large approximations. This construction is especially useful in categorical and homological settings.

7 Finitely generated and finitely presented modules

Finite generation and finite presentation are practical notions that measure how much data is needed to specify a module. They are particularly important when studying modules over rings with arithmetic or structural constraints. These finiteness conditions often lead to stronger theorems and cleaner classifications.

7.1 Generating sets

A generating set is a collection of elements from which every module element can be obtained by linear combination. A module is finitely generated if some finite generating set exists. Such modules are manageable because their structure is controlled by limited initial data.

7.2 Relations among generators

Generators may satisfy algebraic dependencies called relations. These relations describe how different linear combinations can represent the same module element. Understanding them is essential for writing a module in a concise algebraic form.

7.3 Presentations

A presentation describes a module by generators and relations. It typically arises as a quotient of a free module by a submodule generated by relations. Presentations are a standard way to encode modules explicitly.

7.4 Noetherian and Artinian conditions

Noetherian conditions require that ascending chains of submodules stabilize, while Artinian conditions require stabilization of descending chains. These finiteness properties restrict the complexity of submodule structure. They are important in classification and in the study of rings and modules with controlled behavior.

8 Structure theory

Structure theory seeks to classify modules over important classes of rings. In favorable cases, modules break into well-understood pieces that can be described completely. This area is one of the main achievements of module theory.

8.1 Modules over principal ideal domains

Over a principal ideal domain, finitely generated modules admit a particularly elegant classification. The ring’s ideal structure is simple enough to support strong decomposition theorems. This setting includes many classical examples from algebra and arithmetic.

8.2 Decomposition of finitely generated modules

Finitely generated modules over suitable rings often decompose into a free part and a torsion part, or into a direct sum of cyclic components. Such decompositions reveal the internal architecture of the module. They are fundamental to the classification of abelian groups and related objects.

8.3 Invariant factor theorem

The invariant factor theorem gives a canonical form for finitely generated modules over a principal ideal domain. It expresses the module as a direct sum of cyclic modules whose orders divide one another in sequence. This theorem provides one of the standard normal forms in module theory.

8.4 Elementary divisor theorem

The elementary divisor theorem offers a refined decomposition into cyclic pieces associated with prime powers. It is closely related to the invariant factor theorem, but organizes the data in a different, often more detailed, way. Both theorems are central tools for explicit classification.

Modules appear throughout modern algebra and neighboring areas. Their formalism provides a common language for linear operations, symmetries, and algebraic decompositions. As a result, module theory connects several major branches of mathematics.

9.1 Linear algebra as a special case

Linear algebra is the theory of modules over fields. Many familiar concepts such as bases, matrices, and linear transformations arise naturally in this special case. Module theory shows which linear-algebraic phenomena depend on field properties and which persist over more general rings.

9.2 Representation theory

In representation theory, a group or algebra is studied by letting it act on a module. This turns abstract symmetries into algebraic transformations of a vector space or module. Module language is therefore one of the basic tools for describing representations.

9.3 Homological algebra

Homological algebra uses modules to build chain complexes, derive functors, and study extensions. It relies heavily on projective, injective, and exactness properties. Many deep results in modern algebra are formulated in this framework.

9.4 Module categories

The collection of all modules over a fixed ring forms a category with homomorphisms as morphisms. This perspective organizes module theory abstractly and makes categorical constructions natural. It also clarifies how modules relate to each other through functors, limits, and adjunctions.