Bourbaki

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 pp is cyclic (for every element x≠1x \neq 1 of G is of order pp, hence generates G).

2) Let F(X)=X2+aX+bF(X) = X^2 + aX + b be an irreducible polynomial in K[X]K[X]. The only case where F(X)F(X) is not separable is that where KK is of characteristic 2 and a=0a = 0. We shall leave this case aside; let E be an extension of K generated by a root xx of F(X)F(X). We have [E:K]=2[E : K] = 2 and F(X)=(X−x)(X+a+x)F(X) = (X - x)(X + a + x), hence E is a Galois extension of K. The Galois group of E over K is of order 2, hence cyclic.

3) Let F\mathbf{F} be a field and σ\sigma an automorphism of finite order. The field E of invariants of σ\sigma is also the field of invariants of the cyclic group of order nn generated by σ\sigma, and hence (V, p. 66, Th. 3) F is a cyclic extension of degree nn 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 nn, then every subextension F of E is cyclic over K, and E is cyclic over F. For every divisor d of nn there exists a unique subfield F of degree d over K contained in E : for in a cyclic group of order nn 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.

Cites

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