Definition 1
Tag 05XX, permanent. Cite it as [Bourbaki, Tag 05XX].
Algebra, chapter II, § 11. Graded modules and rings
Given a commutative group written additively and a set , a graduation of type on is a family of subgroups of , of which is the direct sum. The set , with the structure defined by its group law and its graduation, is called a graded (commutative) group of type .
is called the set of degrees of . An element is called homogeneous if it belongs to one of the , homogeneous of degree if . The element 0 is therefore homogeneous of all degrees; but if is homogeneous, it belongs to only one of the ; the index such that is then called the degree of (or sometimes the weight of ) and is sometimes denoted by . Every may be written uniquely as a sum of homogeneous elements with ; is called the homogeneous component of degree (or simply the component of degree ) of . When the word "weight" is used instead of "degree", the adjective "homogeneous" is replaced by "isobaric".
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.