Corollary 2
Tag 06N5, permanent. Cite it as [Bourbaki, Tag 06N5].
Algebra, V, p. 68, § 10. Galois extensions
Let be a family of subfields of N containing K; put and . Then g(L) is the smallest closed subgroup of containing and we have .
The first assertion follows from Cor. 1 and the second is immediate.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.