Bourbaki

Proposition 3

Tag 066J, permanent. Cite it as [Bourbaki, Tag 066J].

Algebra, chapter III, § 10. Derivations

Let d:A→Ed : A \to E be an ε\varepsilon-derivation of degree δ\delta. Then Ker(d)\mathrm{Ker}(d) is a graded subalgebra of A; if A admits a unit element, it belongs to Ker(d)\mathrm{Ker}(d).

Clearly Ker(d)\mathrm{Ker}(d) is a graded sub-K-module of A; further, relation (8) of no. 2 shows that, if xx and yy are two homogeneous elements belonging to Ker(d)\mathrm{Ker}(d), then d(xy)=0d(xy) = 0 and hence xy∈Ker(d)xy \in \mathrm{Ker}(d). Finally, if A admits a unit element 1 (of degree 0, cf. § 3, no. 1), relation (8) of no. 2, where xx and yy are replaced by 1, gives d(1)=d(1)+d(1)d(1) = d(1) + d(1) and hence d(1)=0d(1) = 0.

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.