graded ring
Let be a groupoid (semigroup,group) and let be a ring (not necessarily with unity) which can be expressed as a of additive subgroups of with . If for all then we say that is groupoid graded (semigroup-graded, group-graded) ring.
We refer to as an -grading of and the subgroups as the-components of . If we have the strongercondition that for all , then we say that the ring is strongly graded by.
Any element in (where ) is said to be homogeneous of degree. Each element can be expressed as a unique and finite sum of homogeneous elements .
For any subset we have .Similarly . If is a subsemigroup of then is a subring of . If is a left (right, two-sided) ideal of then is a left (right, two-sided) ideal of .
Some examples of graded rings include:
Polynomial rings
Ring of symmetric functions
Generalised matrix rings
Morita contexts
Ring of Hirota derivatives
group rings
filtered algebras