Bourbaki

Corollary 3

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

Algebra, chapter V, § 9. Conjugate elements and quasi-Galois extensions

— Let N be a quasi-Galois extension of K contained in Ω\Omega, and E a subextension of N. Let uu be a K-homomorphism of E into Ω\Omega; then u(E)⊂Nu(E) \subset N and there exists a K-automorphism vv of N which induces uu on E.

Let ww be a K-automorphism of Ω\Omega extending uu (V, p. 52, Prop. 1); since N is quasi-Galois over K, we have w(N)=Nw(N) = N, whence w(E)⊂Nw(E) \subset N and so ww induces a K-automorphism vv of N.

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

Cited by

Cites

Transcribed from the printed edition, 2003, Springer. Not translated.