Proposition 22
Tag 046Z, permanent. Cite it as [Bourbaki, Tag 046Z].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
Let A (resp. B) be a graded ring of type A, M (resp. N) a graded module over the graded ring A (resp. B), S (resp. T) a multiplicative subset of A (resp. B) all of whose elements are homogeneous, a homogeneous homomorphism of degree 0 such that and an A-linear mapping which is homogeneous of degree k. Then the homomorphism derived from f (no. 1, Proposition 2) is homogeneous of degree 0 and the -linear mapping
derived from f and (no. 2, Proposition 5) is homogeneous of degree k.
This follows immediately from the equations and .
Finally we note that, if E is a graded A-algebra and S a multiplicative subset of A consisting of homogeneous elements, with its -algebra structure (no. 8) and the graduation is a graded -algebra, as follows immediately from the definitions.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.