Bourbaki

Definition 1

Tag 05XX, permanent. Cite it as [Bourbaki, Tag 05XX].

Algebra, chapter II, § 11. Graded modules and rings

Given a commutative group GG written additively and a set Δ\Delta, a graduation of type Δ\Delta on GG is a family (Gλ)λ∈Δ(G_\lambda)_{\lambda \in \Delta} of subgroups of GG, of which GG is the direct sum. The set GG, with the structure defined by its group law and its graduation, is called a graded (commutative) group of type Δ\Delta.

Δ\Delta is called the set of degrees of GG. An element x∈Gx \in G is called homogeneous if it belongs to one of the GλG_\lambda, homogeneous of degree λ\lambda if x∈Gλx \in G_\lambda. The element 0 is therefore homogeneous of all degrees; but if x≠0x \neq 0 is homogeneous, it belongs to only one of the GλG_\lambda; the index λ\lambda such that x∈Gλx \in G_\lambda is then called the degree of xx (or sometimes the weight of xx) and is sometimes denoted by deg⁡(x)\deg(x). Every y∈Gy \in G may be written uniquely as a sum ∑λyλ\sum_\lambda y_\lambda of homogeneous elements with yλ∈Gλy_\lambda \in G_\lambda; yλy_\lambda is called the homogeneous component of degree λ\lambda (or simply the component of degree λ\lambda) of yy. 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.

Transcribed from the printed edition, 1998, Springer. Not translated.