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

      0 references
      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
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references