1 Basic definitions
A graded module is a module equipped with a decomposition into pieces indexed by a grading set, most often the integers. The grading records a notion of degree, allowing algebraic operations to be tracked according to how they change that degree. This extra structure is especially useful when studying polynomial rings, chain complexes, and other objects where degree plays an essential role.
1.1 Graded rings and graded algebras
A graded ring is a ring written as a direct sum of additive subgroups indexed by degrees, usually \[ R=\bigoplus_{n\in \mathbb{Z}} R_n, \] with multiplication satisfying \(R_mR_n\subseteq R_{m+n}\). A graded algebra is a ring that is also an algebra over a base ring, with compatible grading. In practice, graded algebras often arise from polynomial rings, exterior algebras, and coordinate rings.
1.2 Definition of a graded module
Let \(R\) be a graded ring. A graded \(R\)-module is an \(R\)-module \(M\) with a decomposition \[ M=\bigoplus_{n\in \mathbb{Z}} M_n \] such that \(R_mM_n\subseteq M_{m+n}\). Each component \(M_n\) consists of elements of degree \(n\). The decomposition must be direct, so every element of \(M\) can be written uniquely as a finite sum of homogeneous pieces.
1.3 Homogeneous elements and degree
An element of a graded module is homogeneous if it lies entirely in one graded component. Its degree is the index of that component. The grading is designed so that multiplying a homogeneous element of degree \(m\) by one of degree \(n\) produces an element of degree \(m+n\), whenever the product is defined.
1.4 Direct sum decomposition
The direct sum decomposition is the structural feature that distinguishes graded modules from ordinary modules. It allows one to study a module component by component and to isolate information by degree. Many constructions, such as kernels, images, and generating sets, can be refined to respect the grading.
2 Types of gradings
Gradings may be indexed in several different ways. The most familiar case uses the integers, but many algebraic settings require multigradings or gradings by more general groups.
2.1 Integer-graded modules
Integer-graded modules are indexed by \(\mathbb{Z}\), which is the standard setting in commutative algebra and homological algebra. Positive and negative degrees may both occur, although many common examples are concentrated in nonnegative degrees. Integer gradings are especially convenient for describing polynomial degree and chain complex degree.
2.2 Multigraded modules
A multigraded module is indexed by tuples of integers, such as \(\mathbb{Z}^r\). Each component then carries a multidegree. These gradings appear naturally in combinatorial algebra and in studies of objects with several independent degree parameters, such as multivariable polynomial rings.
2.3 Grading by an arbitrary group
More generally, modules can be graded by an arbitrary group \(G\). In that case, \[ M=\bigoplus_{g\in G} M_g, \] and the ring grading is required to satisfy \(R_gM_h\subseteq M_{gh}\) in multiplicative notation. Group gradings are useful when symmetry or representation-theoretic structure is better captured by a noninteger indexing set.
2.4 Trivially graded modules
A trivially graded module places the entire module in degree \(0\), with all other components equal to zero. This gives an ordinary module the structure of a graded module without introducing additional degree information. It serves as a baseline example and a convenient embedding of ungraded algebra into the graded setting.
3 Morphisms of graded modules
Maps between graded modules are often required to preserve or control degree. This leads to a refined notion of homomorphism that is stronger than the usual module homomorphism.
3.1 Graded homomorphisms
A graded homomorphism is a module homomorphism that respects the decomposition into homogeneous pieces. In the strictest sense, it sends each graded component of one degree into the corresponding component of the same degree. Such maps are central when forming categories of graded modules.
3.2 Degree-preserving maps
Degree-preserving maps are morphisms that leave degree unchanged. They are the most common type of graded morphism and are used when comparing objects with the same grading convention. Because they respect the direct sum decomposition, they can often be analyzed one degree at a time.
3.3 Shifts and degree transformations
Given a graded module \(M\), one may form a shifted module \(Mાય\) by reindexing degrees, often written \(M(s)\) for an integer shift \(s\). A shift does not change the underlying module, but it modifies which elements are considered to have a given degree. Shifts are indispensable in the study of graded resolutions and graded duality.
4 Submodules and quotient modules
Submodules and quotients inherit useful graded structures when they are compatible with the decomposition. This makes it possible to pass many constructions from ordinary module theory into the graded framework.
4.1 Graded submodules
A graded submodule is a submodule that decomposes as the direct sum of its intersections with the graded pieces of the ambient module. Equivalently, it is generated by homogeneous elements. Graded submodules are important because they preserve degree information and behave well under standard module-theoretic operations.
4.2 Quotient by a graded submodule
If \(N\) is a graded submodule of \(M\), then the quotient \(M/N\) inherits a natural grading. Each graded component of the quotient is the image of the corresponding component of \(M\). This construction allows one to build new graded modules while retaining a controlled degree structure.
4.3 Homogeneous generating sets
A generating set is homogeneous if all its elements are homogeneous. Many graded modules admit homogeneous generators, and such generating sets are often easier to handle than arbitrary ones. They are particularly useful in describing presentations, syzygies, and minimal generators.
5 Operations on graded modules
Standard module constructions usually have graded analogues. These operations often preserve degree in a predictable way and are fundamental in applications.
5.1 Direct sums
The direct sum of graded modules is graded componentwise. If each module in a family is graded, then the sum inherits a grading by taking the direct sum of equal-degree pieces. This operation is one of the basic ways to assemble larger graded objects from smaller ones.
5.2 Tensor products
The tensor product of graded modules carries a natural grading defined by adding degrees. For homogeneous elements, the degree of a simple tensor is the sum of the degrees of its factors. Tensor products are especially important in algebraic geometry and homological algebra, where they encode interactions between graded structures.
5.3 Homomorphism modules
The module of homomorphisms between graded modules can itself be graded by degree shifts. A homogeneous map of degree \(d\) sends degree \(n\) elements to degree \(n+d\) elements. This grading on Hom-modules is a key tool for describing duals, endomorphisms, and mapping complexes.
5.4 Restriction and extension of scalars
A graded module over one graded ring may be regarded as a module over a graded subring by restriction of scalars. Conversely, extension of scalars transports a graded module along a graded ring homomorphism. These procedures are used to compare graded structures across different algebraic contexts.
6 Examples
Examples clarify how grading appears in familiar algebraic objects. They also show that graded modules are not specialized abstractions, but natural forms of many standard constructions.
6.1 Graded vector spaces
A graded vector space is a graded module over a field viewed as a trivially graded ring. Such spaces occur throughout mathematics and can be studied independently of multiplication. They provide the simplest setting for understanding degree decompositions.
6.2 Modules over polynomial rings
Polynomial rings are naturally graded by total degree, and modules over them frequently inherit compatible gradings. For example, a quotient by a homogeneous ideal becomes a graded module. This setting is central in commutative algebra and in the study of projective varieties.
6.3 Free graded modules
A free graded module has a homogeneous basis, meaning the basis elements each have assigned degrees. The grading on the whole module is determined by these basis degrees. Free graded modules are building blocks for presentations and resolutions.
6.4 Cyclic graded modules
A cyclic graded module is generated by a single homogeneous element, or more generally by one element together with its degree. These modules are often quotients of graded rings by homogeneous ideals. They provide compact examples where the effect of grading is easy to see.
7 Structural properties
Many familiar finiteness and decomposition properties have graded counterparts. The grading can strengthen classical results by requiring compatibility with degree.
7.1 Finite generation
A graded module is finitely generated if a finite set of homogeneous elements generates it as a module. Finite generation is often easier to verify in the graded setting because one may choose generators degree by degree. It is a foundational hypothesis in many structural theorems.
7.2 Noetherian and Artinian conditions
Noetherian and Artinian properties may be studied for graded modules by requiring chain conditions on graded submodules. In many cases, the graded versions reflect the behavior of the underlying module while giving more precise control over homogeneous structure. Such conditions are important in classification and dimension theory.
7.3 Projective and injective graded modules
Projective and injective objects can be defined in categories of graded modules. Graded projective modules often appear as direct summands of graded free modules, while graded injective modules are characterized by lifting properties for graded maps. These notions are essential in graded homological algebra.
8 Homological aspects
Grading plays a major role in homological constructions, where degrees interact with differentials, boundaries, and derived functors. It helps organize complex calculations and reveals hidden structure.
8.1 Graded chain complexes
A graded chain complex is a sequence of graded modules with differentials of prescribed degree, usually degree \(-1\). The grading allows one to track both homological and internal degrees simultaneously. This double bookkeeping is common in modern algebraic calculations.
8.2 Graded resolutions
A graded resolution is an exact sequence of graded modules and graded maps that approximates a module by free or projective objects. Minimal graded resolutions often encode important invariants, such as the number and degrees of generators and relations. They are especially useful for studying syzygies.
8.3 Derived functors in the graded setting
Derived functors such as Ext and Tor admit graded versions. Their graded components measure relationships between modules at specific degrees. These constructions are fundamental in extracting deeper information from graded algebraic objects.
9 Applications
Graded modules appear in several major branches of algebra and geometry. Their degree structure often converts complicated problems into more manageable ones.
9.1 Commutative algebra
In commutative algebra, graded modules are used to study homogeneous ideals, Hilbert functions, and minimal free resolutions. They are closely tied to polynomial rings and to methods for organizing generators and relations by degree. Many standard invariants are naturally graded.
9.2 Representation theory
Graded modules arise in representation theory when representations carry an additional degree decomposition. This can reflect algebraic filtrations, weight spaces, or categorified structures. The grading often reveals finer symmetry than an ungraded module would show.
9.3 Algebraic geometry
Graded modules are central in algebraic geometry through the coordinate rings of projective varieties and the construction of sheaves from graded data. Homogeneous components correspond to sections of line bundles in many classical settings. Graded techniques help connect algebraic equations with geometric objects.
9.4 Homological algebra
Homological algebra uses graded modules to organize complexes, resolutions, and derived constructions. Gradings make it possible to track internal structure alongside homological degree. This is especially important in spectral sequences, exact functors, and cohomological calculations.