In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, in particular
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
, a graded ring is a
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
such that the underlying
additive group
An additive group is a group of which the group operation is to be thought of as ''addition'' in some sense. It is usually abelian, and typically written using the symbol + for its binary operation.
This terminology is widely used with structure ...
is a
direct sum of abelian groups
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...
such that
. The index set is usually the set of nonnegative
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s or the set of integers, but can be any
monoid
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
Monoids ...
. The direct sum decomposition is usually referred to as gradation or grading.
A graded module is defined similarly (see below for the precise definition). It generalizes
graded vector space
In mathematics, a graded vector space is a vector space that has the extra structure of a '' grading'' or a ''gradation'', which is a decomposition of the vector space into a direct sum of vector subspaces.
Integer gradation
Let \mathbb be th ...
s. A graded module that is also a graded ring is called a graded algebra. A graded ring could also be viewed as a graded
-algebra.
The
associativity
In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement f ...
is not important (in fact not used at all) in the definition of a graded ring; hence, the notion applies to
non-associative algebra
A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure ''A'' is a non-associative algebra over a field ''K'' if ...
s as well; e.g., one can consider a
graded Lie algebra In mathematics, a graded Lie algebra is a Lie algebra endowed with a gradation which is compatible with the Lie bracket. In other words, a graded Lie algebra is a Lie algebra which is also a nonassociative graded algebra under the bracket oper ...
.
First properties
Generally, the index set of a graded ring is assumed to be the set of nonnegative integers, unless otherwise explicitly specified. This is the case in this article.
A graded ring is a
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
that is decomposed into a
direct sum
:
of
additive group
An additive group is a group of which the group operation is to be thought of as ''addition'' in some sense. It is usually abelian, and typically written using the symbol + for its binary operation.
This terminology is widely used with structure ...
s, such that
:
for all nonnegative integers
and
.
A nonzero element of
is said to be ''homogeneous'' of ''degree''
. By definition of a direct sum, every nonzero element
of
can be uniquely written as a sum
where each
is either 0 or homogeneous of degree
. The nonzero
are the ''homogeneous components'' of
.
Some basic properties are:
*
is a
subring of
; in particular, the multiplicative identity
is an homogeneous element of degree zero.
*For any
,
is a two-sided
-
module
Module, modular and modularity may refer to the concept of modularity. They may also refer to:
Computing and engineering
* Modular design, the engineering discipline of designing complex devices using separately designed sub-components
* Mo ...
, and the direct sum decomposition is a direct sum of
-modules.
*
is an
associative -algebra.
An
ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...
is ''homogeneous'', if for every
, the homogeneous components of
also belong to
(Equivalently, if it is a graded submodule of
; see .) The
intersection of a homogeneous ideal
with
is an
-
submodule
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the mo ...
of
called the ''homogeneous part'' of degree
of
. A homogeneous ideal is the direct sum of its homogeneous parts.
If
is a two-sided homogeneous ideal in
, then
is also a graded ring, decomposed as
:
where
is the homogeneous part of degree
of
.
Basic examples
*Any (non-graded) ring ''R'' can be given a gradation by letting
, and
for ''i'' ≠ 0. This is called the trivial gradation on ''R''.
*The
polynomial ring
In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) ...