Location of Repository

Identifying the matrix ring: algorithms for quaternion algebras and quadratic forms, accepted

By John Voight


Abstract. We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2 × 2-matrix ring M2(R) and, if so, to compute such an embedding. We discuss many variants of this problem, including algorithmic recognition of quaternion algebras among algebras of rank 4, computation of the Hilbert symbol, and computation of maximal orders. Since the discovery of the division ring of quaternions over the real numbers by Hamilton, and continuing with work of Albert and many others, a deep link has been forged between quadratic forms in three and four variables over a field F and quaternion algebras over F. Starting with a quaternion algebra over F, a central simple F-algebra of dimension 4, one obtains a quadratic form via the reduced norm (restricted to the trace zero subspace); the split quaternion algebra over F, the 2 × 2-matrix ring M2(F), corresponds to an isotropic quadratic form, one that represents zero nontrivially. (Conversely, one recovers the quaternio

Year: 2013
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.math.dartmouth.edu/... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.