Corollary 2

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

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

— Let L be a finitely generated extension of a field K. For L to be algebraic and separable over K it is necessary and sufficient that $\Omega_K(L) = 0$ . This follows immediately from Cor. 1.

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

Cited by

Remark, § 16
Remark 2, § 16
Theorem 5, § 16
Theorem 1 (Zariski), § 17

Cites

Cor. 1