Corollary 2
Tag 06SR, permanent. Cite it as [Bourbaki, Tag 06SR].
Algebra, chapter V, § 14. Transcendental extensions
— Every pure extension of K is linearly disjoint from every algebraic extension of K; in particular, K is relatively algebraically closed in every pure extension of K.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.