Remark
Tag 06NE, permanent. Cite it as [Bourbaki, Tag 06NE].
Algebra, V, p. 72, § 10. Galois extensions
Let and be two fields and a homomorphism of into . Let (resp. ) be a separable closure (V, p. 45, Prop. 14) of (resp. ) and (resp. ) the Galois group of over (resp. over ). Since is a separable algebraic extension of and the extension of is separably closed, there exists (V, p. 45, Cor.) a homomorphism of into extending . From we obtain a continuous homomorphism of into . Let be another extension of ; since is a quasi-Galois extension of , there exists an element of such that . We conclude that for all .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.