Corollary
Tag 066K, permanent. Cite it as [Bourbaki, Tag 066K].
Algebra, chapter III, § 10. Derivations
Let and be two -derivations from A to E of the same degree . If and take the same values at each element of a generating system of the algebra A, then .
is an -derivation of degree , hence 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.