In
mathematics, in particular
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathe ...
, 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 structures ...
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 languag ...
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.
Monoid ...
. 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 spaces. 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 ...
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 operation, binary multiplication operation is not assumed to be associative operation, associative. That is, an algebraic structure ''A'' is a non-ass ...
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 operati ...
.
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 structures ...
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 ...