Graded ring
Algebraic structures |
---|
Inmathematics,in particularabstract algebra,agraded ringis aringsuch that the underlyingadditive groupis adirect sum of abelian groupssuch that.The index set is usually the set of nonnegativeintegersor the set of integers, but can be anymonoid.The direct sum decomposition is usually referred to asgradationorgrading.
Agraded moduleis defined similarly (see below for the precise definition). It generalizesgraded vector spaces.A graded module that is also a graded ring is called agraded algebra.A graded ring could also be viewed as a graded-algebra.
Theassociativityis not important (in fact not used at all) in the definition of a graded ring; hence, the notion applies tonon-associative algebrasas well; e.g., one can consider agraded Lie algebra.
First properties
[edit]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 aringthat is decomposed into adirect sum
of additive groups,such that
for all nonnegative integersand.
A nonzero element ofis said to behomogeneousofdegree.By definition of a direct sum, every nonzero elementofcan be uniquely written as a sumwhere eachis either 0 or homogeneous of degree.The nonzeroare thehomogeneous componentsof.
Some basic properties are:
- is asubringof;in particular, the multiplicative identityis a homogeneous element of degree zero.
- For any,is a two-sided-module,and the direct sum decomposition is a direct sum of-modules.
- is anassociative-algebra.
Anidealishomogeneous,if for every,the homogeneous components ofalso belong to.(Equivalently, if it is a graded submodule of;see§ Graded module.) Theintersectionof a homogeneous idealwithis an-submoduleofcalled thehomogeneous partof degreeof.A homogeneous ideal is the direct sum of its homogeneous parts.
Ifis a two-sided homogeneous ideal in,thenis also a graded ring, decomposed as
whereis the homogeneous part of degreeof.
Basic examples
[edit]- Any (non-graded) ringRcan be given a gradation by letting,andfori≠ 0. This is called thetrivial gradationonR.
- Thepolynomial ringis graded bydegree:it is a direct sum ofconsisting ofhomogeneous polynomialsof degreei.
- LetSbe the set of all nonzero homogeneous elements in a gradedintegral domainR.Then thelocalizationofRwith respect toSis a-graded ring.
- IfIis an ideal in acommutative ringR,thenis a graded ring called theassociated graded ringofRalongI;geometrically, it is thecoordinate ringof thenormal conealong thesubvarietydefined byI.
- LetXbe atopological space,H i(X;R) theithcohomology groupwith coefficients in a ringR.ThenH *(X;R), thecohomology ringofXwith coefficients inR,is a graded ring whose underlyinggroupiswith the multiplicative structure given by thecup product.
Graded module
[edit]The corresponding idea inmodule theoryis that of agraded module,namely a leftmoduleMover a graded ringRsuch that
and
for everyiandj.
Example:agraded vector spaceis an example of a graded module over afield(with the field having trivial grading).
Example:a graded ring is a graded module over itself. An ideal in a graded ring is homogeneousif and only ifit is a graded submodule. Theannihilatorof a graded module is a homogeneous ideal.
Example:Given an idealIin a commutative ringRand anR-moduleM,the direct sumis a graded module over the associated graded ring.
Amorphismof graded modules, called agraded morphismorgraded homomorphism,is ahomomorphismof the underlying modules that respects grading; i.e.,.Agraded submoduleis a submodule that is a graded module in own right and such that the set-theoreticinclusionis a morphism of graded modules. Explicitly, a graded moduleNis a graded submodule ofMif and only if it is a submodule ofMand satisfies.Thekerneland theimageof a morphism of graded modules are graded submodules.
Remark: To give a graded morphism from a graded ring to another graded ring with the image lying in thecenteris the same as to give the structure of a graded algebra to the latter ring.
Given a graded module,the-twist ofis a graded module defined by(cf.Serre's twisting sheafinalgebraic geometry).
LetMandNbe graded modules. Ifis a morphism of modules, thenfis said to have degreedif.Anexterior derivativeofdifferential formsindifferential geometryis an example of such a morphism having degree 1.
Invariants of graded modules
[edit]Given a graded moduleMover a commutative graded ringR,one can associate theformal power series:
(assumingare finite.) It is called theHilbert–Poincaré seriesofM.
A graded module is said to be finitely generated if the underlying module isfinitely generated.The generators may be taken to be homogeneous (by replacing the generators by their homogeneous parts.)
SupposeRis apolynomial ring,ka field, andMa finitely generated graded module over it. Then the functionis called the Hilbert function ofM.The function coincides with theinteger-valued polynomialfor largencalled theHilbert polynomialofM.
Graded algebra
[edit]Anassociative algebraAover a ringRis agraded algebraif it is graded as a ring.
In the usual case where the ringRis not graded (in particular ifRis a field), it is given the trivial grading (every element ofRis of degree 0). Thus,and the graded piecesareR-modules.
In the case where the ringRis also a graded ring, then one requires that
In other words, we requireAto be a graded left module overR.
Examples of graded algebras are common in mathematics:
- Polynomial rings.The homogeneous elements of degreenare exactly the homogeneous polynomials of degreen.
- Thetensor algebraof avector spaceV.The homogeneous elements of degreenare thetensorsof ordern,.
- Theexterior algebraand thesymmetric algebraare also graded algebras.
- Thecohomology ringin anycohomology theoryis also graded, being the direct sum of the cohomology groups.
Graded algebras are much used incommutative algebraandalgebraic geometry,homological algebra,andalgebraic topology.One example is the close relationship betweenhomogeneous polynomialsandprojective varieties(cf.Homogeneous coordinate ring.)
G-graded rings and algebras
[edit]The above definitions have been generalized to rings graded using anymonoidGas an index set. AG-graded ringRis a ring with a direct sum decomposition
such that
Elements ofRthat lie insidefor someare said to behomogeneousofgradei.
The previously defined notion of "graded ring" now becomes the same thing as an-graded ring, whereis the monoid ofnatural numbersunder addition. The definitions for graded modules and algebras can also be extended this way replacing the inde xing setwith any monoidG.
Remarks:
- If we do not require that the ring have an identity element,semigroupsmay replace monoids.
Examples:
- Agroupnaturally grades the correspondinggroup ring;similarly,monoid ringsare graded by the corresponding monoid.
- An (associative)superalgebrais another term for a-graded algebra. Examples includeClifford algebras.Here the homogeneous elements are either of degree 0 (even) or 1 (odd).
Anticommutativity
[edit]Some graded rings (or algebras) are endowed with ananticommutativestructure. This notion requires ahomomorphismof the monoid of the gradation into the additive monoid of,the field with two elements. Specifically, asigned monoidconsists of a pairwhereis a monoid andis a homomorphism of additive monoids. Ananticommutative-graded ringis a ringAgraded with respect tosuch that:
for all homogeneous elementsxandy.
Examples
[edit]- Anexterior algebrais an example of an anticommutative algebra, graded with respect to the structurewhereis the quotient map.
- Asupercommutative algebra(sometimes called askew-commutative associative ring) is the same thing as an anticommutative-graded algebra, whereis theidentity mapof the additive structure of.
Graded monoid
[edit]Intuitively, a gradedmonoidis the subset of a graded ring,,generated by the's, without using the additive part. That is, the set of elements of the graded monoid is.
Formally, a graded monoid[1]is a monoid,with a gradation functionsuch that.Note that the gradation ofis necessarily 0. Some authors request furthermore that whenmis not the identity.
Assuming the gradations of non-identity elements are non-zero, the number of elements of gradationnis at mostwheregis the cardinality of agenerating setGof the monoid. Therefore the number of elements of gradationnor less is at most(for) orelse. Indeed, each such element is the product of at mostnelements ofG,and onlysuch products exist. Similarly, the identity element can not be written as the product of two non-identity elements. That is, there is no unitdivisorin such a graded monoid.
Power series indexed by a graded monoid
[edit]These notions allow us to extend the notion ofpower series ring.Instead of the inde xing family being,the inde xing family could be any graded monoid, assuming that the number of elements of degreenis finite, for each integern.
More formally, letbe an arbitrarysemiringanda graded monoid. Thendenotes the semiring of power series with coefficients inKindexed byR.Its elements are functions fromRtoK.The sum of two elementsis defined pointwise, it is the function sendingto,and the product is the function sendingto the infinite sum.This sum is correctly defined (i.e., finite) because, for eachm,there are only a finite number of pairs(p,q)such thatpq=m.
Example
[edit]Informal language theory,given an Alpha betA,thefree monoidof words overAcan be considered as a graded monoid, where the gradation of a word is its length.
See also
[edit]- Associated graded ring
- Differential graded algebra
- Filtered algebra,a generalization
- Graded (mathematics)
- Graded category
- Graded vector space
- Tensor algebra
- Differential graded module
Notes
[edit]Citations
[edit]- ^Sakarovitch, Jacques (2009). "Part II: The power of algebra".Elements of automata theory.Translated by Thomas, Reuben. Cambridge University Press. p. 384.ISBN978-0-521-84425-3.Zbl1188.68177.
References
[edit]- Lang, Serge(2002),Algebra,Graduate Texts in Mathematics,vol. 211 (Revised third ed.), New York: Springer-Verlag,ISBN978-0-387-95385-4,MR1878556.
- Bourbaki, N.(1974). "Ch. 1–3, 3 §3".Algebra I.ISBN978-3-540-64243-5.
- Steenbrink, J. (1977)."Intersection form for quasi-homogeneous singularities"(PDF).Compositio Mathematica.34(2): 211–223 See p. 211.ISSN0010-437X.
- Matsumura, H. (1989). "5 Dimension theory §S3 Graded rings, the Hilbert function and the Samuel function".Commutative Ring Theory.Cambridge Studies in Advanced Mathematics. Vol. 8. Translated by Reid, M. (2nd ed.). Cambridge University Press.ISBN978-1-107-71712-1.