Remark 2
Tag 05YC, permanent. Cite it as [Bourbaki, Tag 05YC].
Algebra, chapter II, § 11. Graded modules and rings
Let be a graded -module and a submodule of ; it follows from Proposition 4(i) that there exists a largest graded submodule of contained in and a smallest graded submodule of containing ; is the set of all of whose homogeneous components belong to and is the submodule of generated by the homogeneous components of a generating system of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.