Corollary
Tag 06P6, permanent. Cite it as [Bourbaki, Tag 06P6].
Algebra, chapter V, § 11. Abelian extensions
If L is a Galois extension of K, the homomorphism is injective and its image is the group of continuous homomorphisms of the topological group into the discrete group .
This follows at once from what has been said, using the fact that L is an increasing directed union of Galois extensions of finite degree and that the homomorphism of into is continuous if and only if it can be factored through one of the quotients of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.