 Subfields of the splitting field of x to the fourth minus seven

ID: subfields-of-the-splitting-field-of-x-to-the-fourth-minus-seven

Codex  0 Created 2026-09-24 Updated 2026-10-03

Put

α = 47

and

L = Q (α, i)

D_{8} = ⟨ r, s : r^{4} = s^{2} = 1, srs = r^{- 1} ⟩

acts by

r (α) = i α, r (i) = i, s (α) = α, s (i) = - i .

The ten subgroups and their fixed fields are

D_{8} ⟨ r ⟩ ⟨ r^{2}, s ⟩ ⟨ r^{2}, rs ⟩ ⟨ r^{2} ⟩ ⟨ s ⟩ ⟨ r^{2} s ⟩ ⟨ rs ⟩ ⟨ r^{3} s ⟩ {1} Q Q (i) Q (7) Q (- 7) Q (7, i) Q (α) Q (i α) Q ((1 + i) α) Q ((1 - i) α) L .

D_{8}

⟨ r ⟩

, the two displayed Klein four-groups,

⟨ r^{2} ⟩

, and

{1}

 New to topics? Read the docs here!