The weak Elementary Type Conjecture for field-realized quaternionic structures

Let SS be a finite quaternionic structure realized by a field, meaning that it is the quaternionic structure associated with a field. Such a structure is of elementary type if it can be obtained from L0{\mathbb{L}}_0, L1,0{\mathbb{L}}_{1,0}, L1,1{\mathbb{L}}_{1,1}, L1{\mathbb{L}}_1, and local type structures using only direct products and group extensions.

Weak Elementary Type Conjecture. Every finite quaternionic structure that is realized by a field is of elementary type.

This is presented as a possibly weaker version of the Elementary Type Conjecture because it is not known whether every quaternionic structure is realized by a field. Its resolution status is not specified in the source.

Sources & referencesView supporting material

Primary source

Nico Lorenz and Alexander Schönert, “Normal Quaternionic Matrices and Finitely Generated Witt Rings”, arXiv:2505.14485 (2026).

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.