Examples
Tag 0DI2, permanent. Cite it as [Bourbaki, Tag 0DI2].
Algebra, chapter V, § 11. Abelian extensions
*1) Every Galois extension of prime degree is cyclic, because every finite group G of prime order is cyclic (for every element of G is of order , hence generates G).
2) Let be an irreducible polynomial in . The only case where is not separable is that where is of characteristic 2 and . We shall leave this case aside; let E be an extension of K generated by a root of . We have and , hence E is a Galois extension of K. The Galois group of E over K is of order 2, hence cyclic.
3) Let be a field and an automorphism of finite order. The field E of invariants of is also the field of invariants of the cyclic group of order generated by , and hence (V, p. 66, Th. 3) F is a cyclic extension of degree of E.
We know (I, p. 50) that every subgroup and every quotient group of a cyclic group is cyclic. Therefore (V, p. 68, Cor. 4), if E is a cyclic extension of a field K, of degree , then every subextension F of E is cyclic over K, and E is cyclic over F. For every divisor d of there exists a unique subfield F of degree d over K contained in E : for in a cyclic group of order there exists a unique subgroup of index d.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.