Biquaternion division algebras over rational function fields (Q2301458)

The author proves the following theorem: Let \(E\) be a field of characteristic not equal to \(2\). Suppose that \(E\) is not real Euclidean -- i.e., the set of squares is not an ordering of \(E\) -- and that there is a quaternion division algebra defined over \(E\). Then there is a biquaternion division algebra over \(E(t)\) which does not contain any quaternion algebra defined over \(E\). More precisely, if for \(a,b\in E^\times\), \((a,b)\) is a quaternion division algebra and if \(ab, (a-4)b\not\in E^{\times 2}\), then \[ B:=(t^2+(a+1)t+a,a)\otimes_{E(t)}(t^2+at+a,ab) \] is a quaternion division algebra satisfying the conclusion of the theorem. The proof uses the relationship between \(K_2\) modulo \(2\) and the \(2\)-torsion part of the Brauer Group, as well as the notions of ramification sequences and the related Bezoutian forms developed by the author and and \textit{M. Raczek} [J. Algebra 476, 26--47 (2017; Zbl 1394.19001)].