The compositum conjecture for the fourth p-Zassenhaus layer

Let p=2p=2, let FF be a field of characteristic different from 22 containing a primitive second root of unity, and let F(2)F(2) be its maximal 22-extension. Let F(4)F_{(4)} denote the fixed field of the fourth term of the 22-Zassenhaus filtration of GF(2)G_F(2). Let C2C_2 and C4C_4 be cyclic groups of orders 22 and 44, let D4D_4 be the dihedral group of order 88, and let G1,G2G_1,G_2 be the specified finite groups. Then the compositum of all C2,C4,D4,G1,G2C_2,C_4,D_4,G_1,G_2-extensions K/FK/F inside F(2)F(2) equals F(4)F_{(4)}.

Fourth-layer compositum conjecture.

F(4)=the compositum of all C2,C4,D4,G1,G2-extensions K/F inside F(2).F_{(4)}=\text{the compositum of all }C_2,C_4,D_4,G_1,G_2\text{-extensions }K/F\text{ inside }F(2).

The assertion generalizes the known description of F(3)F_{(3)} as the compositum of the C2C_2, C4C_4, and D4D_4 extensions. The source establishes the inclusion from the indicated compositum into F(4)F_{(4)}, but the reverse inclusion remains conjectural.

Sources & referencesView supporting material

Primary source

Jan Minac and Nguyen Duy Tan, “Triple Massey products and Galois theory”, arXiv:1307.6624 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.