Proposition 2

Tag 06UL, permanent. Cite it as [Bourbaki, Tag 06UL].

Algebra, chapter V, § 16. Differential criteria of separability

— The following conditions are equivalent: a) The mapping $\alpha$ is injective. b) Every $K$ -derivation of $L$ into $M$ extends to a $K$ -derivation of $M$ into $M$ . c) Every $K$ -derivation of $L$ into a vector $M$ -space $V$ extends to a $K$ -derivation of $M$ into $V$ .

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

Cited by

Corollary, § 16
Corollary, § 16
Corollary 2, § 16

Cites

Nothing.