Scholium
Tag 06H9, permanent. Cite it as [Bourbaki, Tag 06H9].
Algebra, V, p. 13, § 2. Extensions
Let K and E be two fields and u a homomorphism of K into E. If K' is a field containing K as subfield, there exists a field E' containing E as subfield and a homomorphism u' of K' into E' extending u'.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.