Biquaternion division algebras over rational function fields (Q2301458): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q175279 |
||
Property / reviewed by | |||
Property / reviewed by: Kevin Hutchinson / rank | |||
Revision as of 05:07, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Biquaternion division algebras over rational function fields |
scientific article |
Statements
Biquaternion division algebras over rational function fields (English)
0 references
24 February 2020
0 references
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)].
0 references
Milnor \(K\)-theory
0 references
quadratic form
0 references
valuation
0 references
ramification
0 references
Bezoutian form
0 references