1 Definition and basic examples
1.1 Graded ring as a direct sum
A graded ring is a ring \(R\) equipped with an index set of degrees (often \(\mathbb Z\) or \(\mathbb N\)) and a decomposition \[ R=\bigoplus_{n\in \Gamma} R_n \] into additive subgroups (or submodules) \(R_n\subseteq R\). Elements of \(R_n\) are said to have degree \(n\), and every element of \(R\) can be written uniquely as a finite sum of homogeneous components from these degree pieces.
This decomposition is required to interact well with the ring multiplication so that the grading is not merely additive but is respected algebraically.
1.2 Compatibility of multiplication with degrees
The grading is compatible with multiplication when, for all degrees \(i,j\in\Gamma\), \[ R_i\cdot R_j \subseteq R_{i+j}. \] With this condition, the product of homogeneous elements is again homogeneous, with the expected additive behavior of degrees. In particular, the multiplication map restricts to bilinear maps \[ R_i\times R_j \to R_{i+j}. \]
If the grading is over \(\mathbb N\), then degrees behave like a “power-counting” device for constructions built from \(R\).
1.3 Homogeneous elements and degree of an element
An element \(x\in R\) is homogeneous of degree \(n\) if \(x\in R_n\). More generally, any element \(x\in R\) can be uniquely expressed as \[ x=\sum_{k} x_k,\quad x_k\in R_{n_k}, \] and the set of degrees where \(x_k\neq 0\) is finite. The degree of a nonzero homogeneous element is the corresponding index \(n\).
Homogeneous elements play a central role because many ideal-theoretic and module-theoretic notions admit “degreewise” descriptions.
1.4 Standard examples (polynomial rings, group-graded rings)
A basic example is a polynomial ring \(k[x_1,\dots,x_m]\) over a field \(k\), graded by total degree: \[ R_n=\{ \text{homogeneous polynomials of degree }n\}. \] Then \(R_iR_j\subseteq R_{i+j}\) holds because the product of homogeneous polynomials adds degrees.
Another common class arises from group gradings. If \(G\) is a group and \(R=\bigoplus_{g\in G}R_g\) with \(R_gR_h\subseteq R_{gh}\), then \(R\) is \(G\)-graded. Such gradings appear naturally in the study of symmetry, crossed products, and decomposition by group actions.
2 Graded commutative rings and variations
2.1 Graded commutativity and sign rules
For a graded commutative ring (typically \(\mathbb Z\)-graded), multiplication is required to satisfy a graded version of commutativity. A common convention is: \[
| ab = (-1)^{ | a | b | }ba |
|---|
\]
| for homogeneous elements \(a,b\), where \( | a | \) and \( | b | \) denote degrees. When degrees are concentrated in even integers, this reduces to ordinary commutativity; with odd degrees, it produces the familiar sign behavior from exterior algebra and differential graded algebra. |
|---|
This modification reflects how the grading tracks “parity,” which is essential in homological constructions.
2.2 Strongly graded rings
A graded ring \(R=\bigoplus_{n}R_n\) is strongly graded if multiplication is surjective in the grading sense: \[ R_iR_j = R_{i+j}\quad\text{for all }i,j. \] Equivalently, each graded piece is generated by products of elements from complementary degrees. Strong gradings impose tighter structural control and often yield relationships with group actions and equivalences of categories of modules.
2.3 Nonnegatively graded rings versus Z-graded rings
Many contexts use \(\mathbb N\)-gradings (nonnegative degrees), reflecting an underlying “filtration” or “construction from degree 0 upward,” such as standard graded algebras and homogeneous coordinate rings. In contrast, \(\mathbb Z\)-gradings allow both positive and negative degrees, which is useful in homological algebra, where shifts and resolutions naturally involve negative indices.
These choices influence finiteness conditions and the form of Hilbert functions and series.
2.4 Connected graded rings
A standard notion for nonnegatively graded rings is connectedness: a ring \(R=\bigoplus_{n\ge 0}R_n\) is connected if \(R_0\) is the base ring (often a field) and \(R_n\) contains no degree-0 “extra directions.” In many algebraic geometry and commutative algebra settings, connected graded rings correspond to coordinate rings of projective schemes.
Connectedness ensures that graded pieces encode geometric data without an ambiguity in degree 0.
3 Graded ideals and quotients
3.1 Graded ideals (two-sided and homogeneous generation)
An ideal \(I\subseteq R\) is graded if it decomposes as \[ I=\bigoplus_{n}(I\cap R_n), \] so that membership in \(I\) is determined degree-by-degree. In commutative settings, graded ideals are generated by homogeneous elements: if \(I\) is graded, it can be obtained from homogeneous generators. Conversely, the ideal generated by homogeneous elements is graded.
For noncommutative rings, one typically distinguishes two-sided ideals, but the graded condition still expresses how multiplication respects degrees.
3.2 Radical and prime graded ideals
A graded prime ideal is a graded ideal \(P\) such that whenever homogeneous elements \(a,b\) satisfy \(ab\in P\), then \(a\in P\) or \(b\in P\). This is a graded analogue of primality, restricting attention to homogeneous inputs, which is often enough because homogeneous pieces generate the ring.
Similarly, graded radical ideals are those where nilpotence can be checked homogeneously: if a homogeneous element’s power lands in the ideal, the element itself lies in the radical. These notions align well with geometric intuition, where prime ideals correspond to “irreducible pieces.”
3.3 Quotients by homogeneous ideals
If \(I\) is a graded ideal, then the quotient \(R/I\) inherits a grading: \[ (R/I)_n = (R_n + I)/I. \] The multiplication is well defined because products of degrees land in the appropriate graded component before passing to the quotient. Quotients by homogeneous ideals are the algebraic counterpart of imposing equations in a graded coordinate ring.
3.4 Subrings and induced gradings
A subring \(S\subseteq R\) can inherit an induced grading in two ways: either \(S\) itself is given as a direct sum of pieces \(S_n = S\cap R_n\), making it graded, or one considers the grading inherited from \(R\) on each component. Induced gradings are useful when studying invariant subrings, Veronese subrings, or subalgebras generated by homogeneous elements.
4 Graded modules
4.1 Definition of a graded module
Let \(R=\bigoplus_{n}R_n\) be a graded ring. A left (or right) graded \(R\)-module \(M\) is a direct sum \[ M=\bigoplus_{n} M_n \] such that multiplication respects degrees: \[ R_i\cdot M_j \subseteq M_{i+j}. \] Thus the module structure is compatible with the ring grading, and homogeneous module elements behave predictably under the action of homogeneous ring elements.
4.2 Graded homomorphisms and shifts
A homomorphism \(f:M\to N\) between graded modules is graded if it preserves degree: \(f(M_n)\subseteq N_n\) for each \(n\). Non-graded homomorphisms may mix degrees, but in graded settings one often restricts to degree-preserving maps to maintain control over algebraic invariants.
A basic operation is the degree shift. For an integer \(t\), the shifted module \(M(t)\) has components \[ M(t)_n = M_{n+t}. \] Shifts are central in resolutions and homological computations because maps naturally occur with degree constraints.
4.3 Graded submodules, sums, and intersections
A submodule \(N\subseteq M\) is graded if \[ N=\bigoplus_n (N\cap M_n). \] If \(N\) and \(P\) are graded submodules, then their sum and intersection are graded as well, with components determined by degreewise intersections inside \(M_n\). This stability under basic operations makes graded modules a robust setting for building and analyzing structures.
4.4 Tensor products and graded module structures
If \(M\) and \(N\) are graded modules over a graded commutative ring \(R\), their tensor product can be given a grading by \[ (M\otimes_R N)_n = \bigoplus_{i+j=n} M_i\otimes_R N_j, \] under appropriate hypotheses. This grading reflects how degrees add under tensoring. The precise formulation can depend on conventions (especially for noncommutative or sign-sensitive contexts), but the guiding idea remains that tensor degree tracks the combined degree of factors.
5 Morphisms, equivalences, and categorical viewpoint
5.1 Graded ring homomorphisms
A graded ring homomorphism \(\varphi:R\to S\) between graded rings is a ring map such that \(\varphi(R_n)\subseteq S_n\) for all degrees \(n\). This requirement ensures that the grading structure is preserved, so that homogeneous elements map to homogeneous elements of the same degree.
Such morphisms enable functoriality: constructions defined degreewise commute with graded ring maps.
5.2 Categories of graded modules
The graded modules over a graded ring \(R\) form an abelian category when morphisms are required to be graded homomorphisms. Kernels and cokernels of graded maps remain graded, and standard categorical properties (exact sequences, derived functors) can be developed in this environment.
This categorical viewpoint is especially useful for homological algebra, where one wants resolutions compatible with grading.
5.3 Forgetful functors and regrading (degree shifts)
A forgetful functor can be used to view a graded module as an ungraded one by ignoring the decomposition into degree pieces. Conversely, regrading through shifts or other degree transformations can modify the grading without changing the underlying module.
Shift operations are implemented categorically: \(M\mapsto M(t)\) behaves like an autoequivalence, and it allows one to normalize degrees in free resolutions and Ext/Tor computations.
5.4 Free and finitely generated graded modules
A free graded module is a direct sum of shifted copies of \(R\), typically written as \(\bigoplus_t R(-t)^{\beta_t}\), where the shifts encode the degrees of basis elements. A graded module is finitely generated if there exists a finite set of homogeneous generators; equivalently, it is generated by finitely many degree pieces.
Finite generation underpins Hilbert functions, Noetherian behavior, and the existence of minimal graded free resolutions in many standard settings.
6 Hilbert functions and finiteness conditions
6.1 Hilbert function for graded rings
For a nonnegatively graded ring \(R=\bigoplus_{n\ge 0}R_n\) with each \(R_n\) finite-dimensional over a field (or finite length over a base), the Hilbert function is \[ H_R(n)=\dim_k R_n \] (or the appropriate length or rank measure). It records how large each graded component becomes as degree grows.
For graded modules \(M\), one similarly defines \(H_M(n)=\dim_k M_n\). These functions encode growth patterns that often stabilize into polynomial behavior for sufficiently nice rings.
6.2 Hilbert series and rationality (when applicable)
The Hilbert series packages the Hilbert function into a generating function: \[ H_R(t)=\sum_{n\ge 0} (\dim_k R_n)\, t^n. \] In many common algebraic settings (notably for finitely generated graded algebras over a field), the Hilbert series is a rational function. Rationality reflects that the graded pieces satisfy recurrence relations coming from finite generation and presentations by homogeneous generators and relations.
6.3 Noetherian graded rings
A graded ring is Noetherian in the graded sense if every graded ideal is finitely generated by homogeneous elements (equivalently, there is an ascending chain condition on graded ideals). In practice, this aligns with classical Noetherian conditions when the grading is compatible with the ring structure.
Noetherianity ensures that computations involving ideals stabilize and that Hilbert functions and series are controlled.
6.4 Artin–Rees-type finiteness intuition
When a ring is filtered and one passes to an associated graded object, Artin–Rees-type phenomena explain why certain intersection behaviors stabilize. While not stated purely in the grading language, the intuition transfers: filtrations lead to graded approximations, and finiteness conditions guarantee that the graded data captures the asymptotic structure faithfully.
This is a key reason graded techniques succeed in commutative algebra and algebraic geometry.
7 Homological aspects (graded context)
7.1 Graded resolutions
A graded free resolution of a graded module \(M\) is an exact complex \[ \cdots \to F_2 \to F_1 \to F_0 \to M \to 0 \] where each \(F_i\) is a free graded module and the differentials respect degrees (in the graded sense). Resolutions reveal how a module is built from generators and relations, refined by degree information.
Such resolutions are the backbone for computing derived functors in a way that keeps track of grading.
7.2 Ext and Tor in the graded setting
When working with graded modules, Ext and Tor can be computed with graded morphisms, producing graded groups. The grading reflects degree shifts in resolutions and yields more information than the ungraded invariants.
These graded Ext/Tor groups often determine where syzygies appear, and they support theorems relating depth, regularity, and generation in controlled degrees.
7.3 Minimal graded free resolutions (motivation)
A minimal graded free resolution is one in which the differentials have no unnecessary degree-lowering components; concretely, the maps send basis elements to combinations that lie in the graded maximal ideal times the target module (in standard graded commutative algebra). Minimality makes the number of generators in each degree and homological position an invariant of the module.
Because minimal resolutions are essentially unique, they provide a canonical way to study syzygies and their degrees.
7.4 Depth and regularity (high-level placement)
Depth measures the length of maximal regular sequences and indicates how “non-singular” a module is along certain directions. Castelnuovo–Mumford regularity (regularity) tracks the degrees in which local cohomology or syzygies stabilize.
In graded algebra, both depth and regularity can be expressed in terms of graded Betti numbers and graded Ext behavior, allowing geometric properties to be translated into degree constraints.
8 Constructions and applications
8.1 The associated graded ring of a filtered ring
Given a ring \(R\) with a descending filtration \(F^\bullet R\) (or an ascending filtration, depending on convention), one can form the associated graded ring \[ \operatorname{gr}(R)=\bigoplus_{n} F^nR/F^{n+1}R. \] The resulting grading records successive “layers” of the filtration, turning difficult multiplicative behavior into a graded approximation. This construction is central in deformation, singularity theory, and commutative algebra.
8.2 Rees construction and blow-up intuition
The Rees construction packages a filtration into a graded algebra that interpolates between \(R\) and its associated graded ring. Informally, one introduces a parameter \(u\) so that the graded pieces remember how elements enter the filtration. Geometrically, similar ideas underpin the mechanism behind blow-ups, where one replaces a space by a graded or projective construction that resolves or organizes singular behavior.
8.3 Homogeneous localization
When a ring is graded and one localizes, a naïve localization may disrupt the grading. Homogeneous localization instead inverts homogeneous elements (or a multiplicative set generated by homogeneous elements) while preserving the graded structure. The resulting localized ring remains graded, and its graded pieces can often be described explicitly in terms of degreewise fractions.
This tool supports computations in projective settings, where one passes from homogeneous coordinate rings to affine charts.
8.4 Coordinate rings as graded rings (conceptual linkage)
For projective algebraic varieties, homogeneous coordinate rings are naturally graded by degree of homogeneous polynomials. Ideals defining the variety can be taken to be homogeneous, and algebraic invariants of the variety translate into graded invariants of the coordinate ring and its modules.
Thus, graded ring techniques provide a bridge between algebraic data (generators, relations, syzygies) and geometric features (dimension, equations, and cohomological behavior).