Example
Tag 05Y5, permanent. Cite it as [Bourbaki, Tag 05Y5].
Algebra, chapter II, § 11. Graded modules and rings
(6) If is a graded A-module and is a graded A-module obtained by shifting (no. 2, Example 3), the -linear mapping of into which coincides with the canonical injection on each is a graded homomorphism of degree (which is bijective when is a group).
(7) If is a homogeneous element of degree belonging to the centre of , the homothety of any graded A-module is a graded homomorphism of degree .
Remark (3) A graded A-module is called a graded free A-module if there exists a basis of consisting of homogeneous elements. Suppose it is and is a commutative group; let be the degree of and consider for each the shifted A-module (no. 2, Example 3); if denotes the element 1 of considered as an element of degree in , the A-linear mapping such that for all , is a graded A-module isomorphism.
Assuming always that is a commutative group, now let be a graded A-module, a system of homogeneous generators of and suppose that is of degree . Then the A-linear mapping such that for all is a surjective graded A-module homomorphism of degree 0. If is a finitely generated graded A-module, there is always a finite system of homogeneous generators of and hence there is a surjective homomorphism of the above type with finite.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.