In this paper we provide some applications of the norm form in some quaternion division algebras over rational field and we give some properties of Fibonacci sequence and Fibonacci sequence in connection with quaternion elements. We define a monoid structure over a fnite set on which we will prove that the defined Fibonacci sequence is stationary, we provide some properties of the norm of a rational quaternion algebra, in connection to the famous Lagrange's four-square theorem and its generalizations given by Ramanujan. Moreover, we prove some results regarding the arithmetic of integer quaternions defined on some division quaternion algebras and we define and give properties of some special quaternions by using Fibonacci sequences.
In this paper we find a Clifford algebra associated to generalized Fibonacci quaternions. In this way, we provide a nice algorithm to obtain a division quaternion algebra starting from a quaternion non-division algebra and vice-versa.
Exactly 170 years ago, the construction of the real quaternion algebra by William Hamilton was announced in the Proceedings of the Royal Irish Academy. It became the first example of non-commutative division rings and a major turning point of algebra. To this day, the multiplicative group structure of quaternion algebras have not completely been understood. This article is a long survey of the recent developments on the multiplicative group structure of division rings.
Quaternions often appear in wide areas of applied science and engineering such as wireless communications systems, mechanics, etc. It is known that are two types of non-isomorphic generalized quaternion algebras, namely: the algebra of quaternions and the algebra of coquaternions. In this paper, we present the formulae to pass from a basis in the generalized quaternion algebras to a basis in the division quaternions algebra or to a basis in the coquaternions algebra and vice versa. The same result was obtained for the generalized octonion algebra. Moreover, we emphasize the applications of the…
In this paper we present a solution for any standard quaternion quadratic equation, i.e. an equation of the form $z^2+μz+ν=0$ where $μ$ and $ν$ belong to some quaternion division algebra $Q$ over some field $F$, assuming the characteristic of $F$ is $2$.
The u-invariant of a field is the supremum of the dimensions of anisotropic quadratic forms over the field. We define corresponding u-invariants for hermitian and generalised quadratic forms over a division algebra with involution in characteristic 2 and investigate the relationships between them. We also investigate these invariants in the case of a quaternion algebra and in particular when this quaternion algebra is the unique quaternion division algebra over a field.
We investigate the finite subgroups that occur in the Hamiltonian quaternion algebra over the real subfield of cyclotomic fields. When possible, we investigate their distribution among the maximal orders.
We study the behavior of square-central elements and Artin-Schreier elements in division algebras of exponent 2 and degree a power of 2. We provide chain lemmas for such elements in division algebras over 2-fields $F$ of cohomological $2$-dimension $\operatorname{cd}_2(F) \leq 2$, and deduce a common slot lemma for tensor products of quaternion algebras over such fields. We also extend to characteristic 2 a theorem proven by Merkurjev for characteristic not 2 on the decomposition of any central simple algebra of exponent 2 and degree a power of 2 over a field $F$ with $\operatorname{cd}_2(F) \…
The genus $gen(D)$ of a finite-dimensional central division algebra $D$ over a field $F$ is defined as the collection of classes $[D']\in Br(F)$, where $D'$ is a central division $F$-algebra having the same maximal subfields as $D$. We show that the fact that quaternion division algebras $D$ and $D'$ have the same maximal subfields does not imply that the matrix algebras $M_l(D)$ and $M_l(D')$ have the same maximal subfields for $l>1$. Moreover, for any odd $n>1$, we construct a field $L$ such that there are two quaternion division $L$-algebras $D$ and $D'$ and a central division $L$-algebra $…
To what extent does the maximal subfield spectrum of a division algebra determine the isomorphism class of that algebra? It has been shown that over some fields a quaternion division algebra's isomorphism class is largely if not entirely determined by its maximal subfield spectrum. However in this paper, we show that there are fields for which the maximal subfield spectrum says little to nothing about a quaternion division algebra's isomorphism class. We give an explicit construction of a division algebra with infinite genus. Along the way we introduce the notion of a "linking field extension,…
We generalize Albert's twisted field construction, applying it to unital division algebras with a multiplicative norm. We give conditions for the resulting algebras to be division algebras.Four- and eight-dimensional real unital and non-unital division algebras with large derivation algebras are constructed out of Hamilton's quaternion and Cayley's octonion algebra.
G. Prasad and A. Rapinchuk asked if two quaternion division F -algebras that have the same subfields are necessarily isomorphic. The answer is known to be "no" for some very large fields. We prove that the answer is "yes" if F is an extension of a global field K so that F /K is unirational and has zero unramified Brauer group. We also prove a similar result for Pfister forms and give an application to tractable fields.
In this paper, we give the complete structures of the equivalence canonical form of four matrices over an arbitrary division ring. As applications, we derive some practical necessary and sufficient conditions for the solvability to some systems of generalized Sylvester matrix equations using the ranks of their coefficient matrices. The results of this paper are new and available over the real number field, the complex number field, and the quaternion algebra.
Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then characterize finite-dimensional real algebras that contain either a copy of $\mathbb C$, a copy of $\mathbb H$, or a pair of anticommuting invertible elements through the dimensions of their (left) ideals, and finally consider the problem of lifting algebraic elements modulo ideals.
We introduce a total order and the absolute value function for dual numbers. The absolute value function of dual numbers are with dual number values, and have properties similar to the properties of the absolute value function of real numbers. We define the magnitude of a dual quaternion, as a dual number. Based upon these, we extended $1$-norm, $\infty$-norm and $2$-norm to dual quaternion vectors.
As is well-known, the real quaternion division algebra $ {\cal H}$ is algebraically isomorphic to a 4-by-4 real matrix algebra. But the real division octonion algebra ${\cal O}$ can not be algebraically isomorphic to any matrix algebras over the real number field ${\cal R}$, because ${\cal O}$ is a non-associative algebra over ${\cal R}$. However since ${\cal O}$ is an extension of ${\cal H}$ by the Cayley-Dickson process and is also finite-dimensional, some pseudo real matrix representations of octonions can still be introduced through real matrix representations of quaternions. In this paper…
We discuss existence of factorizations with linear factors for (left) polynomials over certain associative real involutive algebras, most notably over Clifford algebras. Because of their relevance to kinematics and mechanism science, we put particular emphasis on factorization results for quaternion, dual quaternion and split quaternion polynomials. A general algorithm ensures existence of a factorization for generic polynomials over division rings but we also consider factorizations for non-division rings. We explain the current state of the art, present some new results and provide examples …
Within the framework of the theory of the column and row determinants, we obtain explicit representation formulas (analogs of Cramer's rule) for the minimum norm least squares solutions of quaternion matrix equations ${\bf A} {\bf X} = {\bf B}$, $ {\bf X} {\bf A} = {\bf B}$ and ${\bf A} {\bf X} {\bf B} = {\bf D} $.
Given a central division algebra $D$ of degree $d$ over a field $F$, we associate to any standard polynomial $ϕ(z)=z^n+c_{n-1} z^{n-1}+\dots+c_0$ over $D$ a "companion polynomial" $Φ(z)$ of degree $n d$ with coefficients in $F$ whose roots are exactly the conjugacy classes of the roots of $ϕ(z)$. We explain how in case $D$ is a quaternion algebra, all the roots of $ϕ(z)$ can be recovered from the roots of $Φ(z)$. On the way, we also generalize certain theorems that were known for $\mathbb{H}$ to any division algebra, such as the connection between the right eigenvalues of a matrix and the root…
We study central simple algebras with involution of the first kind that become hyperbolic over the function field of the conic associated to a given quaternion algebra $Q$. We classify these algebras in degree~4 and give an example of such a division algebra with orthogonal involution of degree~8 that does not contain $Q$ with its canonical involution, even though it contains $Q$ and is totally decomposable into a tensor product of quaternion algebras with involution.
New families of eight-dimensional real division algebras with large derivation algebra are presented: We generalize the classical Cayley-Dickson doubling process starting with a unital algebra with involution over a field F by allowing the scalar in the doubling to be an invertible element in the algebra. The resulting unital algebras are neither power-associative nor quadratic. Starting with a quaternion division algebra D, we obtain division algebras A for all invertible scalars chosen in D outside of F. This is independent on where the scalar is placed inside the product and three pairwise …
It is known that the groups of Euclidean rotations in dimension 3 (isometries of $S^2$), general Lorentz transformations in dimension 4 (Hyperbolic isometries in dimension 3), and screw motions in dimension 3 can be represented by the groups of unit--norm elements in the algebras of real quaternions, biquaternions (complex quaternions) and dual quaternions, respectively. In this work, we present a unified framework that allows a wider scope on the subject and includes all the classical results related to the action in dimension 3 and 4 of unit--norm elements of the algebras described above and…
In this study, we introduce a new classes of quaternion numbers. We show that this new classes quaternion numbers include all of quaternion numbers such as Fibonacci, Lucas, Pell, Jacobsthal, Pell-Lucas, Jacobsthal-Lucas quaternions have been studied by many authors. Moreover, for this newly defined quaternion numbers we give the generating function, norm value, Cassini identity, summation formula and their some properties.
In this work we are interested in the general problem of the determination of the normed division algebras. Our fundamental results are obtained in the particular subclass of those 8-dimensional quadratic flexible real division algebras. We give a new process which generalizes that of Cayley-Dickson and which allows the obtaining of a new family of eight-dimensional quadratic flexible real division algebras. We give examples of 8-dimensional quadratic flexible real division algebras which cannot be obtained by this first process of duplication and by means of a second process, which consists i…
We propose polynomial-time algorithms for finding nontrivial zeros of quadratic forms with four variables over rational function fields of characteristic 2. We apply these results to find prescribed quadratic subfields of quaternion division division algebras and zero divisors in $M_2(D)$, the full matrix algebra over a division algebra, given by structure constants. We also provide an implementation of our results in MAGMA which shows that the algorithms are truly practical.
We study not necessarily associative (NNA) division algebras over the reals. We classify in this paper series those that admit a grading over a finite group $G$, and have a basis $\{v_g|g\in G\}$ as a real vector space, and the product of these basis elements respects the grading and includes a scalar structure constant with values only in $\{1,-1\}$. We classify here those graded by an abelian group $G$ of order $|G|\leq 8$ with $G$ non--isomorphic to $\z/8\z$. We will find the complex, quaternion, and octonion algebras, but also a remarkable set of novel non--associative division algebras.
Supersymmetry is deeply related to division algebras. Nonabelian Yang-Mills fields minimally coupled to massless spinors are supersymmetric if and only if the dimension of spacetime is 3, 4, 6 or 10. The same is true for the Green-Schwarz superstring. In both cases, supersymmetry relies on the vanishing of a certain trilinear expression involving a spinor field. The reason for this, in turn, is the existence of normed division algebras in dimensions 1, 2, 4 and 8: the real numbers, complex numbers, quaternions and octonions. Here we provide a self-contained account of how this works.
