Definition 3
Tag 06KA, permanent. Cite it as [Bourbaki, Tag 06KA].
Algebra, chapter V, § 7. Separable algebraic extensions
— Let E be an extension of K. An element x of E which is algebraic over K is said to be separable over K if the algebraic extension K(x) of K is separable.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.