The abelian eighth-power subgroup conjecture for descendants of the candidate groups

Let K=Q(5460)K=\mathbb{Q}(\sqrt{-5460}), let GKG_K be the Galois group of its maximal unramified 22-extension, and let the 128128 candidate groups for Q3(GK)Q_3(G_K) be the groups identified in the preceding conjecture. For a finite or pro-22 group GG, let G8G^8 denote the subgroup generated, respectively closedly generated, by all eighth powers.

Eighth-power subgroup conjecture. If GG is any descendant of one of the 128128 candidates for Q3(GK)Q_3(G_K), then G8G^8 has index at most 2402^{40} and is abelian.

This observation is presented as convincing computational evidence that GKG_K is finite, although the statement itself concerns all descendants of the candidate groups and does not by itself establish finiteness of GKG_K.

Sources & referencesView supporting material

Primary source

Nigel Boston and Jiuya Wang, “The 2-Class Tower of Q(-5460)”, arXiv:1710.10681 (2017).

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.