The quaternions tag has no usage guidance.

**4**

votes

**1**answer

85 views

### Left- and right-sided principal ideals of quaternions have same index?

One fact about the Lipschitz integers (quaternions of the form $a + bi + cj + dk$ where $a, b, c, d$ are integers) is that the left-sided ideal generated by any element $Q$ has the same index in the ...

**6**

votes

**2**answers

736 views

### Explicit description of a quaternion algebra with a prescribed set of ramified places

Let $k$ be an algebraic number field. I understand that given a finite set of non-complex places $S\subset V(k)$ of even cardinality, there exists a unique quaternion algebra $Q$ over $k$ such that $Q$...

**6**

votes

**2**answers

479 views

### Reference on ideal theory in Hurwitz quaternions

I am looking for a book that studies the set of Hurwitz quaternions (HQ). In particular, I am interested in a connection between HQ and imaginary quadratic fields (IQF); quaternion orders $\mathcal{O}(...

**1**

vote

**0**answers

41 views

### 4-D lattices and quaternion

It is easy to prove that there are only 2 extensions $\mathbb{Q}(a)$, with $|a|=1$, of $\mathbb{Q}$ where $\mathbb{Z}[a]$ becomes a lattice(discrete free abelian subgroup of rank 2) in the complex ...

**1**

vote

**0**answers

145 views

### A Quaternions version of the Gauss Lucas theorem

Edit: My serious thanks to Christian, Todd and Yemon for their comments to the previous version.
The derivative is the same as Todd says: $(az^{n})'=naz^{n-1}$.
The polynomial is in the form of $\...

**8**

votes

**0**answers

136 views

### Determinants of octonionic hermitian matrices

For quaternionic hermitian matrices (i.e. quaternionic square matrices $(a_{ij})$ satisfying
$a_{ji}=\bar a_{ij}$) there is a nice notion of (Moore) determinant which can be defined as follows.
...

**2**

votes

**2**answers

123 views

### How can the Cayley table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$, $e_1=i$, $e_2=j$ and so on. I'm looking for an ...

**15**

votes

**1**answer

5k views

### The gimbal lock shows up in my quaternions

I suspect this is a bit basic for mathoverflow, seeing I'm still just an undergraduate
I've been playing around with quaternions as means to eliminate the gimbal lock. From what I understand, one ...

**8**

votes

**2**answers

278 views

### Circle Action on Quaternionic Projective Space

Quoting from Wikipedia article on quaternionic projective space:
Therefore the quotient manifold
$$
\mathbb{HP}^{2}/\mathrm{U}(1)
$$
may be taken, writing $U(1)$ for the circle group. It has ...

**1**

vote

**0**answers

96 views

### Does Feuter regularity imply derivability in all directions?

The standard type of regularity in Clifford Calculus is the one introduced by Feuter, namely:
a function is Feuter regular iff it is in the zero set of the Clifford-Dirac
operator $D= \...

**0**

votes

**0**answers

49 views

### How to take partial derivative of spherical interpolation of quaternions?

Using the standard definition of quaternionic spherical linear interpolation (slerp):
$$
Q(q_0,q_1,t) := q_0(q_0^{-1}q_1)^t,
$$
how can I take each partial derivative?
Actually, I'm confident how to ...

**3**

votes

**1**answer

58 views

### Quaternion orders such that every proper ideal is invertible

Let $B$ be a quaternion algebra over $\mathbb{Q}$ and let $\mathcal{O} \subset B$ be an order.
A lattice in $B$ is (left) proper over $\mathcal{O}$ if its left order is equal to $\mathcal{O}$. We ...

**0**

votes

**1**answer

223 views

### 4th Order Floretions: Floret's Equation [closed]

Update: I've marked this question as answered. If you are thinking "What the heck are floretions?", go right to the answer provided by the Grinch. I definitely should have added clearer information on ...

**21**

votes

**1**answer

2k views

### William Rowan Hamilton and Algebra as Time

This question ended up longer than I intended (though most of the bulk is interesting remarks by Hamilton), so I thought it might be good to include my question at the beginning before the admittedly-...

**4**

votes

**0**answers

162 views

### Hochschild cohomology of SU(2)

I have a question about the computation of an Hochschild Cohomology. Or at least about a space which really looks like a cohomology space. All the functions i consider are assumed to be smooth.
Let's ...

**10**

votes

**0**answers

527 views

### Quaternions: ellipse effect

I would be interested in an explanation of the "six ellipse effect" produced by the pseudocode below (I also wonder how close are these to being actual ellipses). Note the code is somewhat similar to ...

**20**

votes

**1**answer

1k views

### history of quaternion algebras

Who is responsible for the generalization of Hamilton's quaternions to other types of quaternion algebras, and when did this occur? In particular, Hamilton's quaternions are the 4-dimensional algebra ...

**4**

votes

**3**answers

180 views

### Is an associative division algebra required for this phenomenon?

For which integers $d \geq 1$ can we find real matrices $R_1, \dotsc, R_d$ of size $d \times d$ such that for any unit vector $v \in \mathbb{R}^d$, $$R_1 v, \dotsc, R_d v$$ is an orthonormal basis? ...

**7**

votes

**1**answer

160 views

### riemann mapping theorem for skew-fields of quaternions and beyond

Is there any known generalization of the riemann mapping theorem over skew-fields of quaternions and beyond or at least a conjectured formulation of it?
In a less focused way, how far does the main ...

**2**

votes

**0**answers

109 views

### Classification of symplectic representations of quaternion division algebras

I would like to know the classification of representations of the form $\rho:B^{\times}\to Sp(V,F)$ or ($Gsp(V)$), where $B$ is a quaternion division algebra over a number field $F$ (or $F=\mathbb{Q}$)...

**1**

vote

**0**answers

66 views

### Factoring quaternion into three parts [closed]

I am faced with a problem where I have a quaternion which represents rotation and three arbitrary axis about which I can make rotations, thus three unit vectors.
What I would like to know is angles (...

**48**

votes

**5**answers

2k views

### Do unit quaternions at vertices of a regular 4-simplex, one being 1, generate a free group?

Choose unit quaternions $q_0, q_1, q_2, q_3, q_4$ that form the vertices of a regular 4-simplex in the quaternions. Assume $q_0 = 1$. Let the other four generate a group via quaternion ...

**3**

votes

**1**answer

168 views

### On conductors, levels and traces on quaternion algebras

I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and $\mathcal{O}...

**-4**

votes

**2**answers

267 views

### Representing quaternions as matrices [closed]

Assume F is a field of characteristic different than 2. Let a, b be invertible elements in F, and let A(a,b) be the generalised quaternions. Using the Artin–Wedderburn theorem, there is a ...

**3**

votes

**0**answers

111 views

### Maximal compact subgroup of SL(2,|H)

The exceptional isomorphism $Spin(5,1)\simeq SL(2,\mathbb{H})$ is well-known, and I can find references that say the maximal compact of $Spin(5,1)$ is $Spin(5) \simeq Sp(2)$. So I know the answer to ...

**3**

votes

**0**answers

239 views

### Is the “algebraic closure” of the quaternions, finite dimensional? [closed]

This post is a sequel of: What's the algebraic closure of the quaternions?
$\mathbb{H}$ is algebraically closed for the polynomials of the form $\sum a_r x^r$, but it is not for the polynomials ...

**0**

votes

**0**answers

55 views

### Canonical forms of symmetric/skewsymmetric quaternionic matrix

$A$ belongs to $n$-dimensional quaternion symmetric matrix, in the sense that $A=A^T$, where $T$ means transpose. Under transformation $U$, $A\rightarrow U\cdot A\cdot U^T$, where $U$ is $n$-dim ...

**6**

votes

**3**answers

1k views

### Realizing proper pure octonions as conjugates

Let us take the octonions as having all integer coefficients and the multiplication table at BAEZ
We have a standard conjugation operator with $\bar{1} = 1$ and $\bar{e_i}= - e_i,$ extend by ...

**8**

votes

**1**answer

161 views

### Number of orbits of $\mathrm{SL}_2(\mathcal O_A)$ on $\mathbf P^1(A)$ when $A$ is a quaternion algebra

This is a reference request.
Let $A$ be an anisotropic quaternion algebra over $\mathbf Q$. Let $\mathcal O_A$ be a maximal order in $A$. Then $\mathrm{SL}_2(A)$ acts transitively on the right on ...

**1**

vote

**1**answer

145 views

### Factorisation of local quaternionic zeta functions

Vignéras, in her Arithmetics of quaternion algebras, begin chapter II.4 recalling that we know the number of integer ideals of fixed norm of a quaternion algebra $H$ over a local field $K$, ramified ...

**1**

vote

**1**answer

110 views

### Expression and growth bound for $r_{p^m,k}(n)$

Let's define , $$R_{p^m,k}(n)=\#\{(a_1,\dots,a_k)\in\mathbb{Z}^k:\sum_{i=1}^ka_i^2\le n \ \text{and} \ p^m|\sum_{i=1}^ka_i^2\}$$
what will be growth bound of $R_{p^m,k}(n)$? This can be thought as a ...

**2**

votes

**1**answer

147 views

### Why do noncocompact arithmetic Kleinian groups have quadratic trace fields?

I realize there are a few different ways of going about proving this, depending on one's background, but there's a particular number theoretic aspect that I am just blanking on, and can't seem to find ...

**9**

votes

**2**answers

1k views

### When the determinant of a 2x2 polynomial matrix is a square?

Consider a 2x2 matrix $A$ with entries from $\mathbb{C}[x,y]$. Assume that $\mathrm{det} A$ is a square. Is it true that then $A$ can be represented as a noncomuting product $A=A_1 A_2 … A_{2n}$, in ...

**10**

votes

**2**answers

370 views

### Which finite nonabelian groups have all their quaternionic representations of degree one?

A finite group $G$ has a finite set of irreducible representations over the complex numbers. All of these representations are linear (that is, are maps in 1x1 complex matrices) if and only if $G$ is ...

**1**

vote

**0**answers

43 views

### Find a common expression (parameterized by y = 1/2, 1 and 2) uniting three (rational) polynomials in k [closed]

I am seeking a common "simple" expression (preferably/presumably a sum of products of linear factors, or sum of products of low-degree factors) uniting the three polynomials (parameterized by $y=\...

**4**

votes

**0**answers

102 views

### Grunsky-Motzkin-Schoenberg formula

I found this formula in Brian McCartin's interesting book "Mysteries of the equilateral triangle" http://www.kettering.edu/news/mysteries-equilateral-triangle and it looks as follows:
Suppose that $...

**9**

votes

**1**answer

513 views

### Explicit isomorphism for quaternion algebras over $\mathbb{Q}$?

It is known that the isomorphism class of a quaternion algebra $A=\binom{a,b}{K}$ over a number field $K$ is determined by the finite set of places $v$ of $K$ where $A\otimes_K K_v$ is a division ...

**1**

vote

**1**answer

76 views

### Integral elements of quaternion algebras with predescribed properties

In the course of doing some calculations I have found myself wanting to answer the following question:
Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let $\...

**2**

votes

**1**answer

389 views

### Distance measure for noisy $SE(3)$ transforms

I have a transformation $T \in SE(3)$ parameterized by a mean quaternion $q$ with covariance matrix $\Sigma_q \in R^{4\times4}$ and a mean translation $t \in R^3$ with covariance matrix $\Sigma_t \in ...

**3**

votes

**1**answer

211 views

### The de Rham complex of a quaternion-Kahler manifold

As we all know, for a complex manifold $M$, its de Rham complex admits a decomposition into a double complex called the Dolbeault complex. If $M$ also admits a Kahler metric, then we get the wonderful ...

**1**

vote

**1**answer

117 views

### How to calculate $(A^{-1})_{ii}$ for an invertible hyperhermitian quaternionic matrix $A$?

The article
Alesker, S. (2003). Quaternionic Monge-Ampere equations. The Journal of Geometric Analysis, 13(2), 205-238.
has the following CLAIM:
Claim. Let $A$ be an invertible hyperhermitian ...

**6**

votes

**2**answers

582 views

### Hurwitz integers represented as sums of two squares of Hurwitz integers

I wonder if there exists a characterisation of Hurwitz integers which are represented as sums of two squares of Hurwitz integers, up to multiplication by a unit. And if so, could you please point to a ...

**0**

votes

**1**answer

803 views

### Can any quaternion be written in exponential form? [closed]

I am new to the topic of quaternions, but I have an excellent understanding of complex numbers and linear algebra.
I read that unitary quaternions (or versors) can be written in the form:
$q = \exp(a\...

**3**

votes

**1**answer

432 views

### What does the Jacquet-Langlands correspondence say about quaternion algebras of class number one?

If F is a totally real number field of degree n, and A is a definite quaternion algebra over F, I understand (not really) the Jacquet Langlands correspondence to construct a modular form in n ...

**2**

votes

**1**answer

620 views

### Central division and quaternion algebras

I would like to know if there are some central-simple algebras $D_1$, $D_2$ and $D_3$ over a field $k$ satisfying the following properties :
$ind(D_1)=exp(D_1)=4$ ($ind$ is the Schur index and $exp$ ...

**8**

votes

**2**answers

606 views

### Which quaternion algebras have class number one?

Over Q, the definite quaternion algebras with a unique conjugacy class of maximal orders, i.e. "with class number one", are those with discriminant 2,3,5,7, and 13.
Three questions:
What is a ...

**4**

votes

**1**answer

185 views

### Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices

I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...

**5**

votes

**2**answers

607 views

### How do you find maximal orders in quaternion algebras?

Let A be the 4-dimensional algebra over Q with basis 1,i,j,k, and multiplication table
$$
i^2 = -1 \quad j^2 = -11 \quad k^2 = -11 \quad ij = k \quad jk = 11i \quad ki = j
$$
So, A is the unique "...

**3**

votes

**1**answer

238 views

### Question about the definition of the genus 0 curves in Gross' paper “Heights and the Special values of L-series”

Let $N \in \mathbb{Z}$ be a prime number, and let $B = \left( \dfrac{a, b}{\mathbb{Q}} \right)$ be the unique quaternion algebra over $\mathbb{Q}$ ramified at $N$ and at $\infty$. Then, in section 3 ...

**11**

votes

**0**answers

369 views

### Nullstellensatz for quaternionic plane curves?

By a quaternionic plane curve I mean the zero locus of a noncommutative polynomial in two variables, $x$ and $y$ say, over ${\Bbb H}$, Hamilton's quaternions. It is evidently well-known that, after ...