Category of modules

Category of modules
Name	Category of modules
Type	Additive category
Objects	Modules over a ring
Morphisms	Module homomorphisms
Operations	Direct sum, tensor product, Hom

Category of modules The category of modules over a ring is the mathematical category whose objects are left modules (or right modules) over a fixed ring and whose morphisms are module homomorphisms. It provides a primary example of an abelian category and interfaces with structures studied in Noetherian ring theory, Artinian ring theory, and Homological algebra through constructions like Ext and Tor. Fundamental instances include categories such as modules over a principal ideal domain, modules over a field (vector spaces), and representations of an associative algebra.

Definition and basic properties

For a ring R (associative, with unit), the category R-Mod (or Mod-R for right modules) has objects: left R-modules and morphisms: R-linear maps. It is an additive category with finite products and coproducts given by direct sums and products; kernels and cokernels exist, making it an abelian category. When R is a division ring, R-Mod is equivalent to the category of vector spaces over a skew field; when R is a principal ideal domain one uses the structure theorem for finitely generated modules to classify objects up to isomorphism. Important structural properties connect to Jacobson radical, idempotent splitting, and notions of projective, injective, and flat modules studied in Kaplansky and Bass theories.

Examples and important special cases

Key examples include: - Modules over a field K: the category K-Mod ≅ category of vector spaces; simple objects are one-dimensional spaces; Hom-sets recover linear algebra invariants. - Modules over a principal ideal domain such as Z or k[x]: finitely generated modules decompose via the structure theorem used in Smith normal form and classification of abelian groups. - Modules over a group ring R[G]: relate to group representation theory and Maschke's theorem for finite groups over fields with suitable characteristic. - Modules over a Noetherian ring or Artinian ring: feed into Krull–Schmidt theorem applications and the study of composition series tied to the Jordan–Hölder theorem. - Modules over a matrix algebra Mn(R): Morita equivalence shows Mn(R)-Mod ≅ R-Mod; this connects to Morita theory and tilting theory.

Functorial constructions and limits/colimits

The category R-Mod admits all small limits and colimits: products, coproducts, equalizers, coequalizers, direct limits (colimits), and inverse limits (limits). The Hom functor Hom_R(–,–) is biadditive and yields adjunctions with tensor product: for an R-S-bimodule B there is natural isomorphism Hom_S(B ⊗_R M, N) ≅ Hom_R(M, Hom_S(B,N)), reflecting tensor–Hom adjunctions exploited in adjoint functor theorem contexts. Induction and restriction functors between module categories for ring homomorphisms R → S are examples of left and right adjoints, closely related to Frobenius extension and adjunction phenomena studied in Eilenberg–Moore and Beck settings. Filtered colimits preserve exactness for directed systems, a property used in Gabriel–Popescu theorem contexts.

Homological aspects and derived functors

Homological algebra in R-Mod yields derived functors Ext^n_R(–,–) and Tor_n^R(–,–), computed via projective, injective, or flat resolutions. Projective modules, injective modules, and flat modules serve as building blocks for resolutions; over a hereditary ring all submodules of projectives are projective, simplifying calculations. The derived category D(R-Mod) and triangulated categories appear when forming derived functors; derived Morita equivalence and Rickard equivalence play roles in comparing module categories of different rings. Homological dimensions—projective dimension, injective dimension, global dimension—are central invariants, studied in contexts such as Auslander–Reiten theory and Gorenstein ring theory.

Monoidal and abelian category structures

R-Mod is a symmetric monoidal category when R is commutative, with tensor product ⊗_R and unit R; this structure links to monoidal categories used in Tannaka duality and tensor category theory. For noncommutative R one treats bimodule categories {}_R M_S with balanced tensor products. The abelian structure (exact sequences, short exact sequences) supports notions of simple, semisimple, and artinian objects; semisimple module categories occur for semisimple algebras by the Wedderburn–Artin theorem and connect to Maschke's theorem for group algebras. Enrichment over Abelian groups and internal Hom give rise to closed monoidal structures in specific settings, relevant to Hopf algebra module categories and braided monoidal categories in quantum group theory.

Applications in representation theory and algebraic geometry

In representation theory, R-Mod models module categories for associative algebras, group algebras, Lie algebras via their universal enveloping algebras, and quiver algebras; methods such as Auslander–Reiten quiver analysis, tilting theory, and derived equivalences classify representations. In algebraic geometry, quasi-coherent sheaves on a scheme X form a module category over the structure sheaf O_X; equivalences between categories of quasi-coherent sheaves and module categories arise in Serre's theorem for projective schemes and in derived contexts via Beilinson and Bondal–Orlov reconstruction results. Connections with D-module theory, perverse sheafs, and coherent sheaf categories further tie module category techniques to geometric representation problems and to invariants such as K-theory and Hochschild (co)homology.

Category:Algebra