The quaternions tag has no wiki summary.

**31**

votes

**5**answers

2k views

### Is there a quaternionic algebraic geometry ?

Let $\mathbb{H}$ be the skew-field of quaternions. I'm aware of the
Theorem 1. A function $f:\mathbb{H}\to\mathbb{H}$ which is $\mathbb{H}$-differentiable on the left (i.e. the usual limit ...

**18**

votes

**1**answer

1k views

### The Quaternion Moat Problem

"One cannot walk to infinity on the real line if one uses steps of bounded
length and steps on the prime numbers. This is simply
a restatement of the classic result that there are arbitrarily
large ...

**15**

votes

**1**answer

673 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 ...

**15**

votes

**1**answer

1k 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 ...

**12**

votes

**1**answer

397 views

### Is the ring of quaternionic polynomials factorial?

Denote by $\mathbb{H}[x_1,\dots,x_n]$ the ring of polynomials in $n$ variables with quaternionic coefficients, where the variables commute with each other and with the coefficients. Two polynomials ...

**11**

votes

**0**answers

339 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 ...

**10**

votes

**1**answer

382 views

### What rings/groups have interesting quaternionic representations?

Let $\mathbb{H}$ denote the quaternions. Let $G$ be a group, and define a representation of $G$ on $\mathbb{H}^n$ in the natural way; that is, its a map $\rho:G\rightarrow ...

**9**

votes

**2**answers

978 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 ...

**9**

votes

**0**answers

371 views

### Polynomial function from $S^3$ to $S^3$ and quaternions

I am searching the polynomial functions from $S^3$ to $S^3$.
($S^3$ is the set of vectors $x$ in $\mathbb{R}^4$ such that $\|x\|=1$)
We say $g$ is a polynomial function from $S^3$ to $S^3$, if there ...

**8**

votes

**1**answer

1k 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

351 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 ...

**8**

votes

**2**answers

1k views

### Gaussian primes, quaternion primes, … octonions?

Is there a notion of an octonion prime?
A Gaussian integer $a + bi$ with $a$ and $b$ nonzero is prime if $a^2 + b^2$ is prime.
A quaternion $a + bi + cj + dk$ is prime iff $a^2 + b^2 +c^2 + d^2$ is ...

**8**

votes

**1**answer

226 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 ...

**6**

votes

**2**answers

441 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 ...

**5**

votes

**2**answers

512 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 ...

**5**

votes

**3**answers

792 views

### Octonions and the dance of the seven veils

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 ...

**5**

votes

**2**answers

391 views

### Book on ideal theory in Hurwitz quaternions

Hello,
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 ...

**5**

votes

**1**answer

178 views

### Filling in a rational orthogonal matrix given one row

Quick version: given natural $n$ and a row of $n$ integers such that the sum of the squares is another square, call it $m^2.$ For $n=5,6,7$ is it always possible to fill in the rest of an $n$ by $n$ ...

**4**

votes

**5**answers

1k views

### Why is every quadratic subfield of a Galois extension of the rationals with the quaternions as Galois group real?

Suppose that L is a field extension of the rationals with Galois group the quaternions Q={1,-1,i,-i,j,-j,k,-k}. Furthermore assume that L contains a quadratic subfield K. I have learned from this link ...

**4**

votes

**2**answers

256 views

### Volumes of fundamental domains of maximal orders in definite quaternion algebras over Q

I'm looking for an explanation of the following result:
If D is a maximal order in a definite (i.e. ramified at infinity) quaternion algebra B over $\mathbb{Q}$, and $\phi : ...

**4**

votes

**1**answer

140 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 ...

**3**

votes

**4**answers

460 views

### Polar decomposition for quaternionic matrices?

A non-zero complex number can be uniquely written in polar form as $re^{i\theta}$. There is an analogous result for complex matrices: any invertible complex matrix can be uniquely written as $UP$, ...

**3**

votes

**3**answers

554 views

### Polynomial Vector Fields on the 3-Sphere

EDIT(3): I am looking for a basis for the Lie algebra of polynomial vector fields on $S^3$.
EDIT(2): I am fairly certain now that my question is more along the lines of, what does the Lie algebra of ...

**3**

votes

**2**answers

208 views

### 3D Rotation Representation for Multiple Turns

Is there a rotation representation that can also represent "turns", instead of collapsing coincident rotations into the same representation?
In 2D, a simple angle satisfies this, as it can have ...

**3**

votes

**2**answers

288 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

138 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 ...

**3**

votes

**1**answer

265 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 ...

**3**

votes

**2**answers

519 views

### Skew fields inside quaternion division algebras

Suppose that $Q$ is a quaternion division algebra with center $k$, where $k$ is an arbitrary commutative field (let's say with $\operatorname{char}(k) \neq 2$ if necessary). Assume that $D$ is an ...

**3**

votes

**1**answer

204 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 ...

**2**

votes

**1**answer

1k views

### In the quaternions, “any imaginary unit may be called i”

Introduction
Suppose we are trying to prove that $\rm PSO_3\times PSO_3$ is isomorphic with $\rm PSO_4,$ and we catch on to the idea of using the quaternions to do so. We realize (as in Conway & ...

**2**

votes

**2**answers

251 views

### ramified quaternion algebras

I'm trying to better understand the connection between the concepts of ramification of a field extension, and ramification of a quaternion algebra. I'm also trying to build a better understanding of ...

**2**

votes

**1**answer

554 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$ ...

**2**

votes

**1**answer

132 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 ...

**1**

vote

**1**answer

86 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 ...

**1**

vote

**1**answer

39 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 ...

**1**

vote

**1**answer

192 views

### Diagonalization of Quaternion Hermitian matrices

How do I go about diagonalizing such a matrix.
I ask because I need to sort out the following problem:
Let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11, ij=-ji=k$.
...

**1**

vote

**1**answer

145 views

### regular quaternion functions of form f(q) =c + a*q*b + …

Hello,
is it possible do somehow define regular function(in the way that some analogy to Cauchy integral formula would hold) over quaternions that function of form $$f(q)= \sum_{n=0}^\inf a_n q^n ...

**1**

vote

**1**answer

749 views

### Quaternion between two quaternions [closed]

Hello,
I have an orientation P1 in a 3D space, represented as a quaternion [w x y z].
Then P1 is rotated using another quaternion (q1) with the formula
...

**1**

vote

**0**answers

47 views

### Rotation orientations in n-dimensions [migrated]

I'm doing a change of variables that involves doing simple rotations on the standard basis vectors in R^n, and I'm wondering what the standard orientations are in n dimensions are and why. For ...

**0**

votes

**1**answer

190 views

### Representation quaternions as matrices

char F≠2,
a,b invertable from F,
A(a,b) - generalised quaternions. Using Artin–Wedderburn theorem there is a representation of them over F. I found representation as Q8 but it's not over F. So, how to ...

**0**

votes

**1**answer

99 views

### Reference for compact operators in quaternionic Hilbert spaces

Have they been studied? In particular, what is the analogue of the Schmidt theorem for compact operators in Hilbert spaces?
Helemskii A. Ya., Lectures and Exercises on Functional Analysis, Ch. 3, ...

**-1**

votes

**1**answer

215 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 = ...