1 Definitions and basic concepts

A graded algebra is an algebra that has been decomposed into pieces indexed by a chosen grading set in such a way that multiplication respects the indexing rule. This structure allows elements to be organized by degree, making it easier to study algebraic relations, growth, and compatibility with other constructions.

1.1 Grading sets and graded components

The grading set is the indexing system used to label the pieces of the algebra. In many standard cases, the set is the natural numbers, the integers, or a product of several indexing sets. For each index, there is a corresponding graded component, which is typically a subspace or submodule of the algebra.

1.2 Homogeneous elements

An element is called homogeneous if it lies entirely in one graded component. Homogeneous elements are the basic building blocks of graded algebra, since arbitrary elements can often be written as finite sums of homogeneous parts. The degree of a homogeneous element is its index in the grading.

1.3 Direct sum decomposition

The underlying additive group, vector space, or module of a graded algebra is usually written as a direct sum of its graded components. This means every element has a unique decomposition into pieces of different degrees. The direct sum condition ensures that the grading is rigid and well behaved.

1.4 Compatibility with multiplication

The defining feature of a graded algebra is that multiplication interacts predictably with the decomposition into components. When two homogeneous elements are multiplied, the result must belong to the component determined by the grading rule. This compatibility is what distinguishes graded algebras from mere decomposed algebras.

1.4.1 Degree addition rule

In the most common case, the degree of a product is the sum of the degrees of the factors. Thus, if one element has degree m and another has degree n, their product has degree m + n. This rule is central in the study of polynomial-like algebras and many constructions in homological algebra.

1.4.2 Zero-degree component

The component of degree zero often plays a special role. It may contain the multiplicative identity and can control many structural properties of the entire algebra. In connected graded settings, the degree-zero piece is especially important because it is usually as small as possible.

1.5 Common examples

Several familiar algebras naturally carry gradings. These examples illustrate how the abstract definition organizes algebraic expressions by degree and how multiplication respects that organization.

1.5.1 Polynomial algebras

A polynomial algebra is commonly graded by total degree, with each component consisting of polynomials of a fixed degree. The constant polynomials form degree zero, linear forms form degree one, and higher-degree terms appear in successively larger components.

1.5.2 Exterior algebras

Exterior algebras are graded by the number of wedge factors. An element formed from a single generator has degree one, and wedge products of several generators have degree equal to the number of factors. Because repeated factors vanish, the grading is closely tied to antisymmetry.

1.5.3 Tensor algebras

Tensor algebras admit a natural grading by tensor length. The degree-n component consists of tensors with exactly n factors. This grading is fundamental in universal constructions, since many graded algebras arise as quotients of tensor algebras.

2 Types of graded algebras

Graded algebras may be classified according to the indexing set and the direction in which degrees are allowed to vary. These variations affect the kinds of series, filtrations, and module structures that can be developed.

2.1 N-graded algebras

An N-graded algebra is indexed by the natural numbers. It is one of the most common types, especially in algebraic geometry and commutative algebra. The nonnegative indexing reflects the fact that multiplication increases degree rather than decreasing it.

2.2 Z-graded algebras

A Z-graded algebra is indexed by the integers. This allows both positive and negative degrees, which is useful in contexts such as homological algebra and certain geometric or representation-theoretic settings. The presence of negative degrees broadens the range of possible constructions.

2.3 Multi-graded algebras

A multi-graded algebra is indexed by several integers at once, often written as a tuple of degrees. Such gradings arise naturally when an algebra has more than one independent notion of degree. They are useful for describing multivariable polynomial rings and objects with several symmetries.

2.4 Positively graded algebras

A positively graded algebra has no nonzero components in negative degrees. This condition is often paired with finiteness assumptions, making the algebra more manageable. Positive grading is frequently used to study growth and to define Hilbert series.

2.5 Connected graded algebras

A connected graded algebra is usually a positively graded algebra whose degree-zero component is as simple as possible, often a base field or ground ring. Such algebras are important because the grading begins at a minimal piece, allowing induction on degree and simplifying structural arguments.

3 Morphisms and structure-preserving maps

Maps between graded algebras are often required to respect degree, since the grading is part of the algebraic structure. Such maps preserve the decomposition and allow graded objects to be compared in a controlled way.

3.1 Graded algebra homomorphisms

A graded algebra homomorphism is a homomorphism that sends each graded component into the corresponding component of the target algebra. It preserves both addition and multiplication, while also respecting the indexing of degrees. These maps are the natural morphisms in the category of graded algebras.

3.2 Degree-preserving maps

A degree-preserving map sends homogeneous elements of a given degree to homogeneous elements of the same degree. This property is essential when one wants to track the effect of a map on the grading. In many contexts, degree preservation is equivalent to compatibility with the graded decomposition.

3.3 Graded isomorphisms

A graded isomorphism is an isomorphism of algebras that also respects the grading. It identifies graded components degree by degree, not merely as abstract algebras. Two graded algebras related by a graded isomorphism are considered structurally the same as graded objects.

3.4 Quotients and subalgebras

Graded algebras often contain natural graded subalgebras and admit quotients that inherit a grading. These constructions are especially important when passing to substructures or imposing relations. The grading can frequently be retained if the relevant pieces are chosen compatibly.

3.4.1 Graded ideals

A graded ideal is an ideal generated by homogeneous components and decomposing as a direct sum of its intersections with the graded pieces. Quotients by graded ideals naturally inherit a grading. Such ideals are central in constructing new graded algebras from old ones.

3.4.2 Graded subalgebras

A graded subalgebra is a subalgebra formed by taking a direct sum of selected graded components. Because it is closed under multiplication, it inherits a grading from the ambient algebra. Graded subalgebras appear in many examples, including subrings generated by homogeneous elements.

4 Algebraic constructions

Many standard constructions in algebra preserve or produce gradings. These operations are useful because they allow graded structures to be built systematically from simpler ones.

4.1 Direct sums of graded algebras

The direct sum of graded algebras combines them componentwise. Each degree piece is formed from the corresponding pieces of the factors, and multiplication is defined coordinatewise. This construction is basic in both algebraic and categorical settings.

4.2 Tensor products

Tensor products of graded algebras carry a natural grading in which degrees add across tensor factors. This rule makes the tensor product compatible with the structure of homogeneous elements. Tensor products are widely used to combine graded objects and to build larger algebras from smaller ones.

4.3 Graded quotients

A graded quotient is formed by dividing a graded algebra by a graded ideal. The quotient inherits a direct sum decomposition from the original algebra. This process is a standard way to impose relations while keeping the grading intact.

4.4 Associated graded algebras

Associated graded algebras are built from filtrations by recording successive layers of a filtered algebra. They provide a simplified graded model of a more complicated object. This technique is particularly valuable when studying rings, modules, and deformation-like phenomena.

4.4.1 Filtrations and associated gradings

A filtration is an increasing or decreasing family of subspaces or submodules that approximates an algebra step by step. The associated grading is obtained by taking successive quotients of the filtration pieces. This construction often turns filtered multiplication into a graded multiplication.

4.4.2 Rees algebras

A Rees algebra packages a filtration into a single graded object. It interpolates between the filtered algebra and its associated graded algebra. Rees algebras are useful because they retain more information than the associated graded object alone.

4.5 Free graded algebras

A free graded algebra is generated by homogeneous elements with no relations other than those required by the algebra axioms. It serves as a universal object for maps from graded generating sets. Many graded algebras arise as quotients of free graded algebras by homogeneous relations.

5 Fundamental properties

The grading imposes strong constraints on algebraic behavior. It influences ideals, invertibility, dimensions of components, and asymptotic growth patterns.

5.1 Homogeneous ideals

Homogeneous ideals are ideals generated by homogeneous elements and decomposing into graded pieces. They are especially well suited to graded quotients because the quotient retains the grading. Many structural questions can be reduced to homogeneous components.

5.2 Nilpotent and idempotent behavior

Grading often restricts how nilpotent and idempotent elements can appear. In positively graded settings, homogeneous elements of positive degree may become nilpotent under additional finiteness conditions, while idempotents frequently lie in degree zero. These observations are useful in structural analysis.

5.3 Units and invertibility

Invertible elements in a graded algebra are typically closely tied to the degree-zero component. In many connected graded algebras, any unit must come from degree zero, since higher-degree terms cannot contribute to a multiplicative inverse without violating degree constraints. This makes units easier to classify than in ungraded settings.

5.4 Graded dimension and Hilbert series

The graded dimension records the size of each homogeneous piece, often through a sequence of dimensions or ranks. The Hilbert series packages this information into a generating function. Together, they provide a compact way to measure the distribution of degrees.

5.4.1 Hilbert functions

The Hilbert function assigns to each degree the dimension or rank of that graded component. It describes how the algebra grows with degree. In many familiar settings, the Hilbert function eventually follows a predictable pattern.

5.4.2 Hilbert–Poincaré series

The Hilbert–Poincaré series is the generating function associated with the Hilbert function. It often encodes structural data in an efficient algebraic form. In favorable cases, it can be written as a rational function.

6 Modules over graded algebras

Modules over graded algebras inherit degree considerations from the algebra itself. Graded modules are essential in studying representations, syzygies, and homological invariants.

6.1 Graded modules

A graded module is a module decomposed into homogeneous pieces compatible with the action of the graded algebra. Multiplication by a homogeneous algebra element shifts degree in a controlled way. This structure generalizes the notion of a graded vector space.

6.2 Shifted modules

A shifted module is obtained by reindexing the degrees of a graded module. Shifts are used to normalize formulas and to express homological constructions more cleanly. They are especially common in the study of resolutions and derived categories.

6.3 Graded module homomorphisms

A graded module homomorphism respects both module structure and degree. Such maps preserve homogeneous decomposition and are the natural morphisms between graded modules. They often appear in chains of maps used to compute invariants.

6.4 Projective and injective behavior

Projective and injective properties in the graded setting mirror the ungraded theory but must respect degree. Graded projective modules and graded injective modules are used to build exact sequences and to resolve complex objects. Their behavior is crucial in homological calculations.

6.5 Free resolutions

A free resolution of a graded module is an exact sequence built from free graded modules. When the maps preserve grading, the resolution reveals detailed information about generators and relations by degree. Such resolutions are central tools in commutative algebra and algebraic geometry.

7 Homological and categorical aspects

Graded structures integrate naturally with homological methods. Degrees can serve as indices in complexes, while signs and differentials interact with the grading in systematic ways.

7.1 Chain complexes as graded objects

A chain complex can be viewed as a graded object equipped with a differential. The grading records the position of each term in the complex. This viewpoint is fundamental for organizing homological data.

7.2 Differential graded algebras

A differential graded algebra is a graded algebra equipped with a differential compatible with multiplication. The differential usually shifts degree by one and satisfies a Leibniz-type rule. These algebras play an important role in modern homological algebra.

7.3 Internal degree and sign conventions

When graded objects are manipulated, signs often depend on internal degree. These sign conventions ensure that formulas remain consistent under permutations of homogeneous elements. They are especially important in tensor products and differential graded settings.

7.4 Exactness in graded settings

Exactness can be considered degree by degree in graded algebra. A sequence is exact in the graded sense when it is exact on each homogeneous component or when the morphisms respect grading and exactness simultaneously. This refinement often simplifies homological arguments.

7.5 Derived constructions

Derived constructions extend graded algebra into higher homological contexts. They track information not visible at the level of ordinary maps or modules. Many advanced invariants are naturally formulated in graded or differential graded terms.

8 Applications and examples

Graded algebras appear in many branches of mathematics because they provide a natural language for degree, growth, and layered structure. Their applications are broad and often interconnected.

8.1 Commutative algebra

In commutative algebra, graded algebras are used to study polynomial rings, ideals, and resolutions. They help organize generators and relations by degree. Many standard results about growth and syzygies are expressed most cleanly in graded form.

8.2 Algebraic geometry

Graded algebras are central to projective geometry and the study of coordinate rings. They encode geometric data through homogeneous coordinates and related constructions. The grading often reflects projective scaling behavior.

8.3 Representation theory

In representation theory, graded algebras help refine modules and representations by degree. This added structure can reveal hidden symmetries and decomposition patterns. Graded methods are also useful in studying categorified and homological versions of representation theory.

8.4 Homological algebra

Homological algebra relies heavily on graded objects, especially complexes and derived functors. Graded algebras provide the algebraic setting in which differentials, signs, and degree shifts are managed systematically. They are indispensable in the analysis of resolutions and cohomology.

8.5 Invariant theory

Invariant theory often uses graded algebras to organize polynomial invariants by degree. The grading captures how complicated an invariant is and supports the study of generators and relations. Hilbert series are especially valuable in this context.

Graded algebras are closely connected to several neighboring structures. Each related concept modifies or generalizes the grading idea in a different direction.

9.1 Filtered algebras

Filtered algebras are equipped with a hierarchy of subspaces or submodules rather than a direct sum decomposition. They are often studied through their associated graded algebras. This relationship makes filtrations a natural precursor to grading.

9.2 Graded rings

A graded ring is the ring-theoretic version of a graded algebra, often emphasizing the additive and multiplicative decomposition without an external scalar structure. Many properties of graded algebras carry over directly to graded rings. The terminology depends on the surrounding algebraic framework.

9.3 Graded Lie algebras

A graded Lie algebra is a Lie algebra decomposed by degree, with the bracket respecting the grading. These objects appear in geometry, topology, and representation theory. They parallel graded associative algebras but use a nonassociative product.

9.4 Superalgebras

Superalgebras are graded by parity, usually dividing elements into even and odd parts. Their multiplication rules incorporate parity-based sign behavior. They are widely used in algebraic and geometric contexts where symmetry between even and odd elements matters.

9.5 Bigraded and multigraded structures

Bigraded and multigraded structures refine the grading by using two or more indices at once. They are useful when several independent degree systems coexist. Such structures often arise in combinatorics, geometry, and homological algebra.

</INTERNAL_LINK_CANDIDATES> Polynomial algebra (an algebra graded by total degree) Exterior algebra (a graded algebra built from wedge products) Tensor algebra (a free graded algebra on generators) Graded component (the subspace or submodule of a fixed degree) Homogeneous element (an element lying in one graded piece) Graded ideal (an ideal compatible with the grading) Graded subalgebra (a subalgebra formed from graded pieces) Associated graded algebra (the graded object arising from a filtration) Rees algebra (an algebra encoding a filtration as a grading) Hilbert series (the generating function of graded dimensions) Hilbert function (the degree-by-degree dimension data) Graded module (a module decomposed into degree pieces) Shifted module (a graded module with reindexed degrees) Free resolution (an exact sequence built from free modules) Differential graded algebra (a graded algebra with a compatible differential) Chain complex (a graded sequence with a differential) Filtered algebra (an algebra with a filtration) Graded ring (the ring-theoretic form of a graded algebra) Superalgebra (a parity-graded algebra) Multigraded structure (a grading by several indices)