Example 1

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

Algebra, chapter V, § 11. Abelian extensions

There exists a greatest abelian extension of K of exponent dividing p, contained in \Omega; it is K(B^1(K)), its Galois group may be identified with Horn(K/\mathfrak{p}(K),\mathbf{F}_p).

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

Cited by

Nothing.

Cites

Nothing.