Biquaternion division algebras over rational function fields (Q2301458): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Ramification sequences and Bezoutian forms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: SURFACES DE DEL PEZZO SANS POINT RATIONNEL SUR UN CORPS DE DIMENSION COHOMOLOGIQUE UN / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5484519 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bicyclic algebras of prime exponent over function fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic \(K\)-theory and quadratic forms. With an appendix by J. Tate / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5703059 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4239974 / rank | |||
Normal rank |
Revision as of 21:27, 21 July 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