Hyperbolicity of Orders of Quaternions Algebras and Group Rings
S. O. Juriaans A. C. Souza Filho
备注：
This report is part of the first chapter of the second author's PhD. Thesis. It was included a result in main theorem and a sketch of its proof before it, as well as two new references
For a given divison algebra of the quaternions we construct two types of units: Pell units and Gauss units. If K is a rational quadratic extension and G is a finite group, we classify R and G, s.t., the unit group U(RG) of augmentation one is hyperbolic. In particular we give necessary and sufficient conditions when G is the quaternion group of order 8. In this case, the hyperbolic boundary is isomorphic to the 2-dimensional sphere. As a result we reach a class of groups of one end, that are not virtually free.
In this article we give various formulates for compute the number of all coninvolutions over the group of upper triangular matrix with entries into the ring of Gaussian integers module $p$ and the ring of Quaternions integers module $p$, with $p$ an odd prime number.
We consider a generalization of the quaternion ring $\Big(\frac{a,b}{R}\Big)$ over a commutative unital ring $R$ that includes the case when $a$ and $b$ are not units of $R$. In this paper, we focus on the case $R=\mathbb{Z}/n\mathbb{Z}$ for and odd $n$. In particular, for every odd integer $n$ we compute the number of non-isomorphic generalized quaternion rings $\Big(\frac{a,b}{\mathbb{Z}/n\mathbb{Z}}\Big)$
In this paper, we extend the results obtained by Cortes-Ferrero-Juriaans (2009) for the quaternion over the ring Colombeau's simplified generalized numbers, denoted by $\overline{\mathbb{H}}_s$, to the quaternion over the ring of Colombeau's full generalized numbers, denoted by $\overline{\mathbb{H}}$. In this paper, we introduce and investigate the topological algebra of the quaternion over the ring of Colombeau's full generalized numbers. This is an important object to study if one wants to build the algebraic theory of Colombeau's full generalized numbers $\overline{\mathbb{K}}$ studied by …
We prove a Nullstellensatz for the ring of polynomial functions in n non-commuting variables over Hamilton's ring of real quaternions. We also characterize the generalized polynomial identities in n variables which hold over the quaternions, and more generally, over any division algebra.
It is shown in this paper that, if $R$ is a Frobenius ring, then the quaternion ring $\mathcal{H}_{a,b}(R)$ is a Frobenius ring for all units $a,b \in R$. In particular, if $q$ is an odd prime power then $\mathcal{H}_{a,b}(\mathbb{F}_q)$ is the semisimple non-commutative matrix ring $M_2(\mathbb{F}_q)$. Consequently, a homogeneous weight that depends on the field size $q$ is obtained. On the other hand, the homogeneous weight of a finite Frobenius ring with a unique minimal ideal is derived in terms of the size of the ideal. This is illustrated by the quaternions over the Galois ring $GR(2^r,m…
We generalize an algorithm established in earlier work \cite{algebrapaper} to compute finitely many generators for a subgroup of finite index of an arithmetic group acting properly discontinuously on hyperbolic space of dimension $2$ and $3$, to hyperbolic space of higher dimensions using Clifford algebras. We hence get an algorithm which gives a finite set of generators of finite index subgroups of a discrete subgroup of Vahlen's group, i.e. a group of $2$-by-$2$ matrices with entries in the Clifford algebra satisfying certain conditions. The motivation comes from units in integral group ring…
Let $R$ be an associative ring with ${\bf 1}$ which is not commutative. Assume that any non-zero commutator $v\in R$ satisfies: $v^2$ is in the center of $R$ and $v$ is not a zero-divisor. (Note that our assumptions do not include finite dimensionality.) We prove that $R$ has no zero divisors, and that if ${\rm char(R)}\ne 2,$ then the localization of $R$ at its center is a quaternion division algebra.
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 propose BQTRU, a non-commutative NTRU-like cryptosystem over quaternion algebras. This cryptosystem uses bivariate polynomials as the underling ring. The multiplication operation in our cryptosystem can be performed with high speed using quaternions algebras over finite rings. As a consequence, the key generation and encryption process of our cryptosystem is faster than NTRU in comparable parameters. Typically using Strassen's method, the key generation and encryption process is approximately $16/7$ times faster than NTRU for an equivalent parameter set. Moreover, the BQTRU lattice has a hy…
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 …
Marks showed that $\mathbb{F}_2Q_8$, the $\mathbb{F}_2$ group algebra over the quaternion group, is a reversible nonsymmetric ring, then questioned whether or not this ring is minimal with respect to cardinality. In this work, it is shown that the cardinality of a minimal reversible nonsymmetric ring is indeed 256. Furthermore, it is shown that although $\mathbb{F}_2Q_8$ is a duo ring, there are also examples of minimal reversible nonsymmetric rings which are nonduo.
