Bourbaki

Example

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

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

(6) If MM is a graded A-module and M(λ0)M(\lambda_0) is a graded A-module obtained by shifting (no. 2, Example 3), the Z\mathbf{Z}-linear mapping of M(λ0)M(\lambda_0) into MM which coincides with the canonical injection on each Mλ+λ0M_{\lambda + \lambda_0} is a graded homomorphism of degree λ0\lambda_0 (which is bijective when Δ\Delta is a group).

(7) If aa is a homogeneous element of degree δ\delta belonging to the centre of AA, the homothety x↦axx \mapsto ax of any graded A-module MM is a graded homomorphism of degree δ\delta.

Remark (3) A graded A-module MM is called a graded free A-module if there exists a basis (mi)i∈I(m_i)_{i \in I} of MM consisting of homogeneous elements. Suppose it is and Δ\Delta is a commutative group; let λi\lambda_i be the degree of mim_i and consider for each ii the shifted A-module A(−λi)A(-\lambda_i) (no. 2, Example 3); if eie_i denotes the element 1 of AA considered as an element of degree λi\lambda_i in A(−λi)A(-\lambda_i), the A-linear mapping u:⨁i∈IA(−λi)→Mu : \bigoplus_{i \in I} A(-\lambda_i) \to M such that u(ei)=miu(e_i) = m_i for all ii, is a graded A-module isomorphism.

Assuming always that Δ\Delta is a commutative group, now let NN be a graded A-module, (ni)i∈I(n_i)_{i \in I} a system of homogeneous generators of NN and suppose that nin_i is of degree μi\mu_i. Then the A-linear mapping v:⨁i∈IA(−μi)→Nv : \bigoplus_{i \in I} A(-\mu_i) \to N such that u(ei)=niu(e_i) = n_i for all ii is a surjective graded A-module homomorphism of degree 0. If NN is a finitely generated graded A-module, there is always a finite system of homogeneous generators of NN and hence there is a surjective homomorphism of the above type with II finite.

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.