No label defined (Q4665017)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2154492
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2154492 |
Statements
9 April 2005
0 references
central simple algebras
0 references
involutions
0 references
restrictions
0 references
corestrictions
0 references
anti-automorphisms
0 references
Brauer groups
0 references
0.88417387
0 references
0 references
0.8635671
0 references
0.86180073
0 references
0 references
0 references
A theorem of Albert shows that every finite-dimensional central simple algebra that carries a linear anti-automorphism also carries an involution of the first kind, i.e., a linear anti-automorphism of period 2. In the paper under review, the author shows by an explicit example that the corresponding statement for semi-linear anti-automorphisms does not hold. The example is a quaternion algebra over a quadratic number field. For an arbitrary quadratic field extension \(K/F\) of characteristic different from~\(2\), let\break \(\text{Res}\colon\text{Br}(F)\to\text{Br}(K)\) and \(\text{Cor}\colon\text{Br}(K)\to\text{Br}(F)\) be the restriction and corestriction maps of Brauer groups. The elements in \(\ker(\text{Res}\circ\text{Cor})\) are the Brauer classes of central simple \(K\)-algebras with a (ring-) anti-automorphism whose restriction to \(K\) is the non-trivial automorphism of \(K/F\), whereas, by a theorem of Albert-Riehm-Scharlau, the Brauer classes of central simple \(K\)-algebras with a \(K/F\)-semilinear involution form \(\ker\text{Cor}\). The author identifies the quotient \(A(K/F)=\ker(\text{Res}\circ\text{Cor})/\ker\text{Cor}\) to a subgroup of the multiplicative group of \(F\) modulo the norms \(N(K/F)\) and shows how to compute this group in terms of local invariants when \(F\) is a global field. It follows in particular that \(A(K/F)\) is infinite in this case. For the entire collection see [Zbl 1052.11001].
0 references