Remark
Tag 05Y3, permanent. Cite it as [Bourbaki, Tag 05Y3].
Algebra, chapter II, § 11. Graded modules and rings
(1) The graduations most often used are of type or of type ; when we speak of graded (resp. bigraded, trigraded, etc.) modules and rings without mentioning the type, it is understood that we mean graduations of type (resp. , etc.); a graded ring (resp. module) of type is also called a graded ring (resp. module) with positive degrees.
(2) The graded -modules of type , when has the trivial graduation, are just the graded commutative groups (whose set of degrees is a commutative monoid) of Definition 1 (no. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.