Bourbaki

Proposition 1

Tag 0606, permanent. Cite it as [Bourbaki, Tag 0606].

Algebra, chapter III, § 3. Graded algebras

Let AA be a graded commutative ring of type Δ\Delta, EE a graded AA-algebra of type Δ\Delta and SS a set of homogeneous elements of EE. Then the sub-AA-algebra (resp. left ideal, right ideal, two-sided ideal) generated by SS is a graded subalgebra (resp. graded ideal)..

The subalgebra of EE generated by SS is the sub-AA-module generated by the finite products of elements of SS, which are homogeneous; similarly, the left (resp. right) ideal generated by SS is the sub-AA-module generated by the elements of the form u1(u2(…(uns))…)u_1(u_2(\ldots(u_n s))\ldots) (resp. (…((sun)un−1)…)u2(\ldots((s u_n) u_{n-1})\ldots) u_2 ) u1u_1) where s ∈ S and the u_j ∈ E are homogeneous (n arbitrary) and these products are homogeneous, whence in this case the conclusion by virtue of II, § 11, no. 3, Proposition 2); finally the two-sided ideal generated by S is the union of the sequence (\mathfrak{I}_n)_{n \geq 1}, where \mathfrak{I}_1 is the left ideal generated by S and \mathfrak{I}_{2n} (resp. \mathfrak{I}_{2n+1}) the right (resp. left) ideal generated by \mathfrak{I}_{2n-1} (resp. \mathfrak{I}_{2n}), which completes the proof.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.