The uniqueness conjecture for Leopoldt fields

Let KK be a number field. Call KK a Leopoldt field if every tame abelian extension L/KL/K has a weak normal integral basis, meaning that, for the maximal order M\mathcal{M} of K[G]K[G] where G=Gal(L/K)G=\operatorname{Gal}(L/K), the module

MOK[G]OL\mathcal{M}\otimes_{\mathscr{O}_K[G]}\mathscr{O}_L

is free of rank 11 over M\mathcal{M}. Leopoldt-field conjecture. Q\mathbb{Q} is the only Leopoldt field. This asks whether the uniqueness of Q\mathbb{Q} among Hilbert–Speiser fields persists for the weaker Leopoldt property; the source does not provide evidence of a resolution.

Sources & referencesView supporting material

Primary source

Fabio Ferri and Cornelius Greither, “Tame Galois module structure revisited”, arXiv:1805.12588 (2019).

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.