The orthogonal \(u\)-invariant of a quaternion algebra (Q961985): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
(2 intermediate revisions by one other user not shown) | |||
Property / author | |||
Property / author: Mohammad Gholamzadeh Mahmoudi / rank | |||
Property / author | |||
Property / author: Mohammad Gholamzadeh Mahmoudi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 02:44, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The orthogonal \(u\)-invariant of a quaternion algebra |
scientific article |
Statements
The orthogonal \(u\)-invariant of a quaternion algebra (English)
0 references
1 April 2010
0 references
In particular, the following two theorems are proved: Theorem 4.10: Let \(Q\) be a quaternion division algebra over \(K\) with canonical involution \(\gamma\). Then the set \(\text{Herm}^{-1}_1(Q,\gamma)\) of (equivalence classes of) one-dimensional skew-Hermitian forms on \((Q,\gamma)\) is finite iff \(K^x/K^{x^2}\) is finite. Theorem 6.2/6.8: Let \(K\) be a Kaplansky field with its unique quaternion division algebra \(Q\). Then any skew-Hermitian form of dimension \(\geq 4\) over \((Q,\gamma)\) is isotropic. The corresponding \(u\)-invariant \(u(Q,\gamma,-1)\) has the value \[ \begin{cases} 1 \quad\text{if }K \text{ is real Euclidean}\\ 2 \quad\text{if }K \text{ is real non-Euclidean} \\ 3 \quad\text{if }K \text{ is nonreal}.\end{cases} \] (Note that \(\gamma\) is a symplectic involution). This paper is well-written and easy to read.
0 references
Hermitian form
0 references
involution
0 references
division algebra
0 references
isotropy
0 references
system of quadratic forms
0 references
discriminant
0 references
Tsen-Lang theory
0 references
Kneser's theorem
0 references
local field
0 references
Kaplansky field
0 references