Let (π,+) be a monoid.
A ringπ is said to be π-graded if its additive group π + is the direct sum of abelian groupsπ πΌ indexed by πΌβπ
such that π πΌβ π π½βπ πΌ+π½ for any πΌ,π½βπ. ring
Typically π=β€ or π=β0, but in principle any monoid can be used.