Transfer of quadratic forms and of quaternion algebras over quadratic field extensions (Q1656512): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2539221732 / rank
 
Normal rank

Revision as of 02:08, 20 March 2024

scientific article
Language Label Description Also known as
English
Transfer of quadratic forms and of quaternion algebras over quadratic field extensions
scientific article

    Statements

    Transfer of quadratic forms and of quaternion algebras over quadratic field extensions (English)
    0 references
    10 August 2018
    0 references
    Let \(F\) be a field (of any characteristic), \(K\) an étale quadratic extension of \(F\) (i.e., either \(F\times F\) or a separable quadratic field extension of \(F\)) and \(Q\) a quaternion \(K\)-algebra. The main result of this paper (for which two different proofs are provided) is that the following conditions are equivalent: (1) \(Q\) contains a quadratic \(F\)-algebra linearly disjoint from \(F\). (2) \(Q\) contains an étale quadratic \(F\)-algebra linearly disjoint from \(F\). (3) The corestriction of \(Q\) from \(K\) to \(F\) is not a division algebra. In the special case of \(K=F\times F\), the algebra \(Q\) decomposes as \(Q_1 \times Q_2\) where \(Q_1\) and \(Q_2\) are quaternion \(F\)-algebras. In this case, the corestriction of \(Q\) to \(F\) is \(Q_1 \otimes Q_2\). Therefore, the theorem above recovers the known fact (proven by Albert and Draxl in the cases of characteristic not 2 and 2, respectively) that a tensor product of quaternion algebras is not a division algebra if and only if there exists a quadratic étale extension of \(F\) that embeds into both algebras. This theorem in the case of characteristic not 2 appeared as Corollary 16.28 in [\textit{M.-A. Knus} et al., The book of involutions. With a preface by J. Tits. Providence, RI: American Mathematical Society (1998; Zbl 0955.16001)]. The authors manage to provide characteristic free proofs by some clever tricks with the Scharlau transfer.
    0 references
    0 references
    isotropy
    0 references
    Witt index
    0 references
    corestriction
    0 references
    Albert form
    0 references
    characteristic two
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references