Bourbaki

Corollary

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

Algebra, chapter III, § 10. Derivations

Let d1d_1 and d2d_2 be two ε\varepsilon-derivations from A to E of the same degree δ\delta. If d1d_1 and d2d_2 take the same values at each element of a generating system of the algebra A, then d1=d2d_1 = d_2.

d1−d2d_1 - d_2 is an ε\varepsilon-derivation of degree δ\delta, hence Ker(d1−d2)\mathrm{Ker}(d_1 - d_2) is a subalgebra of A which contains a generating system of A and hence is equal to A.

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.