Graded algebra

Graded algebra

In mathematics, in particular abstract algebra, a graded algebra is an algebra over a field (or commutative ring) with an extra piece of structure, known as a gradation (or "grading").

Graded rings

A graded ring "A" is a ring that has a direct sum decomposition into (abelian) additive groups:A = igoplus_{nin mathbb N}A_n = A_0 oplus A_1 oplus A_2 oplus cdotssuch that the ring multiplication maps: A_s imes A_r ightarrow A_{s + r}.Explicitly this means that:x in A_s, y in A_r implies xy in A_{s+r}and so: A_s A_r subseteq A_{s + r}.

Elements of A_n are known as "homogeneous elements" of degree "n". An ideal or other subset mathfrak{a} ⊂ "A" is homogeneous if for every element "a" ∈ mathfrak{a}, the homogeneous parts of "a" are also contained in mathfrak{a}.

If "I" is a homogeneous ideal in "A", then A/I is also a graded ring, and has decomposition:A/I = igoplus_{nin mathbb N}(A_n + I)/I .

Any (non-graded) ring "A" can be given a gradation by letting "A"0 = "A", and "A""i" = 0 for "i" > 0. This is called the trivial gradation on "A".

Graded modules

The corresponding idea in module theory is that of a graded module, namely a module "M" over a graded ring "A" such that also

:M = igoplus_{iin mathbb N}M_i ,

and

:A_iM_j subseteq M_{i+j}

This idea is much used in commutative algebra, and elsewhere, to define under mild hypotheses a Hilbert function, namely the length of "M""n" as a function of "n". Again under mild hypotheses of finiteness, this function is a polynomial, the Hilbert polynomial, for all large enough values of "n" (see also Hilbert-Samuel polynomial).

Graded algebras

A graded algebra over a graded ring "A" is an "A"-algebra "E" which is both a graded "A"-module and a graded ring in its own right. Thus "E" admits a direct sum decomposition::E=igoplus_i E_isuch that
#"A"i"E"j ⊂ "E"i+j, and
#"E"i"E"j ⊂ "E"i+j.

Often when no grading on "A" is specified, it is assumed that "A" receives the trivial gradation, in which case one may still talk about graded algebras over "A" without risk of confusion.

Examples of graded algebras are common in mathematics:

* Polynomial rings. The homogeneous elements of degree "n" are exactly the homogeneous polynomials of degree "n".
* The tensor algebra "T""V" of a vector space "V". The homogeneous elements of degree "n" are the tensors of rank "n", "T""n""V".
*The exterior algebra Λ"V" and symmetric algebra "S""V" are also graded algebras.
* The cohomology ring "H" in any cohomology theory is also graded, being the direct sum of the "H""n".

Graded algebras are much used in commutative algebra and algebraic geometry, homological algebra and algebraic topology. One example is the close relationship between homogeneous polynomials and projective varieties.

G-graded rings and algebras

We can generalize the definition of a graded ring using any monoid "G" as an index set. A "G"-graded ring "A" is a ring with a direct sum decomposition:A = igoplus_{iin G}A_i such that: A_i A_j subseteq A_{i cdot j}

Remarks:
*A graded algebra is then the same thing as a N-graded algebra, where N is the monoid of non-negative integers.
*If we do not require that the ring have an identity element, semigroups may replace monoids.
*"G"-graded modules and algebras are defined in the same fashion as above.

Examples:
* A group naturally grades the corresponding group ring; similarly, monoid rings are graded by the corresponding monoid.
*A superalgebra is another term for a Z2-graded algebra. Examples include Clifford algebras. Here the homogeneous elements are either of degree 0 (even) or 1 (odd).

In category theory, a "G"-graded algebra "A" is an object in the category of "G"-graded vector spaces, together with a morphism abla:Aotimes A ightarrow Aof the degree of the identity of "G".

Anticommutativity

Some graded rings (or algebras) are endowed with an anticommutative structure. This notion requires the use of a semiring to supply the gradation rather than a monoid. Specifically, a signed semiring consists of a pair (Γ, ε) where Γ is a semiring and ε : Γ → Z/2Z is a homomorphism of additive monoids. An anticommutative Γ-graded ring is a ring "A" graded with respect to the "additive" structure on Γ such that::xy=(-1)ε (deg x) ε (deg y)yx, for all homogeneous elements "x" and "y".

Examples

*An exterior algebra is an example of an anticommutative algebra, graded with respect to the structure (Z≥ 0, ε) where ε is the homomorphism given by ε("even") = 0, ε("odd") = 1.
*A supercommutative algebra (sometimes called a skew-commutative associative ring) is the same thing as an anticommutative (Z/2Z, ε) -graded algebra, where ε is the identity endomorphism for the additive structure.

See also

* graded vector space
* graded category
* differential graded algebra
* graded Lie algebra
* filtered algebra, a generalization

References

*.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Differential graded algebra — In mathematics, in particular abstract algebra and topology, a differential graded algebra is a graded algebra with an added chain complex structure that respects the algebra structure. Contents 1 Definition 2 Examples of DGAs 3 Other facts about …   Wikipedia

  • 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… …   Wikipedia

  • Graded vector space — In mathematics, a graded vector space is a type of vector space that includes the extra structure of gradation, which is a decomposition of the vector space into a direct sum of vector subspaces. Contents 1 N graded vector spaces 2 General I… …   Wikipedia

  • Graded category — A graded category is a mathematical concept.If mathcal{A} is a category, then amathcal{A} graded categoryis a category mathcal{C} together with a functorF:mathcal{C} ightarrow mathcal{A}.Monoids and groups can be thought of categories with a… …   Wikipedia

  • Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia

  • Filtered algebra — In mathematics, a filtered algebra is a generalization of the notion of a graded algebra. Examples appear in many branches of mathematics, especially in homological algebra and representation theory. A filtered algebra over the field k is an… …   Wikipedia

  • Steenrod algebra — In algebraic topology, a branch of mathematics, the Steenrod algebra is a structure occurring in the theory of cohomology operations. It is an object of great importance, most especially to homotopy theorists. More precisely, for a given prime… …   Wikipedia

  • Derivation (abstract algebra) — In abstract algebra, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra A over a ring or a field K, a K derivation is a K linear map D: A → A that… …   Wikipedia

  • Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… …   Wikipedia

  • Symmetric algebra — In mathematics, the symmetric algebra S ( V ) (also denoted Sym ( V )) on a vector space V over a field K is the free commutative unital associative K algebra containing V .It corresponds to polynomials with indeterminates in V , without choosing …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”