Identifying the Matrix Ring: Algorithms for Quaternion Algebras and Quadratic Forms
نویسنده
چکیده
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.
منابع مشابه
Levels of Quaternion Algebras
The level of a ring R with 1 6= 0 is the smallest positive integer s such that −1 can be written as a sum of s squares in R, provided −1 is a sum of squares at all. D.W. Lewis showed that any value of type 2n or 2n + 1 can be realized as level of a quaternion algebra, and he asked whether there exist quaternion algebras whose levels are not of that form. Using function fields of quadratic forms...
متن کاملCharacterizing Quaternion Rings over an Arbitrary Base
We consider the class of algebras of rank 4 equipped with a standard involution over an arbitrary base ring. In particular, we characterize quaternion rings, those algebras defined by the construction of the even Clifford algebra. A quaternion algebra is a central simple algebra of dimension 4 over a field F . Generalizations of the notion of quaternion algebra to other commutative base rings R...
متن کاملNILPOTENT GRAPHS OF MATRIX ALGEBRAS
Let $R$ be a ring with unity. The undirected nilpotent graph of $R$, denoted by $Gamma_N(R)$, is a graph with vertex set ~$Z_N(R)^* = {0neq x in R | xy in N(R) for some y in R^*}$, and two distinct vertices $x$ and $y$ are adjacent if and only if $xy in N(R)$, or equivalently, $yx in N(R)$, where $N(R)$ denoted the nilpotent elements of $R$. Recently, it has been proved that if $R$ is a left A...
متن کاملOne class genera of ternary quadratic forms over number fields
We enumerate all one class genera of definite ternary quadratic forms over number fields. For this, we construct all Gorenstein orders of type number one in definite quaternion algebras over number fields. Finally, we list all definite quaternion orders of ideal class number one.
متن کاملExplicit equivalence of quadratic forms over $\mathbb{F}_q(t)$
We propose a randomized polynomial time algorithm for computing nontrivial zeros of quadratic forms in 4 or more variables over Fq(t), where Fq is a finite field of odd characteristic. The algorithm is based on a suitable splitting of the form into two forms and finding a common value they both represent. We make use of an effective formula on the number of fixed degree irreducible polynomials ...
متن کامل