Hamiltonian quaternions

Definition of $\mathrm{H}$

We define a unital associative algebra $ℍ$ over $ℝ$, of dimension 4,by the basis $\{\mathrm{𝟏},𝐢,𝐣,𝐤\}$ andthe multiplication table

$1$	$i$	$j$	$k$
$i$	$-1$	$k$	$-j$
$j$	$-k$	$-1$	$i$
$k$	$j$	$-i$	$-1$

(where the element in row $x$ and column $y$ is $xy$, not $yx$).Thus an arbitrary element of $ℍ$ is of the form

$$a\mathrm{𝟏}+b𝐢+c𝐣+d𝐤,a,b,c,d\in ℝ$$

(sometimes denoted by or by ) and the product of two elements and (order matters)is where

$w$$=$$a\alpha -b\beta -c\gamma -d\delta$

$x$$=$$a\beta +b\alpha +c\delta -d\gamma$

$y$$=$$a\gamma -b\delta +c\alpha +d\beta$

$z$$=$$a\delta +b\gamma -c\beta +d\alpha$

The elements of $ℍ$ are known as Hamiltonian quaternions.

Clearly the subspaces of $ℍ$ generated by $\{\mathrm{𝟏}\}$and by $\{\mathrm{𝟏},𝐢\}$ are subalgebras isomorphicto $ℝ$ and $ℂ$ respectively. $ℝ$ is customarily identified withthe corresponding subalgebra of $ℍ$.(We shall see in a moment that there are other and less obviousembeddings of $ℂ$ in $ℍ$.)The real numbers commute with all the elements of $ℍ$, and we have

for $\lambda \in ℝ$ and .

Norm, conjugate, and inverse of a quaternion

Like the complex numbers ($ℂ$), the quaternions have anatural involution called the quaternion conjugate. If $q=a\mathrm{𝟏}+b𝐢+c𝐣+d𝐤$, then the quaternionconjugate of $q$, denoted $\overline{q}$, is simply $\overline{q}=a\mathrm{𝟏}-b𝐢-c𝐣-d𝐤$.

One can readily verify that if$q=a\mathrm{𝟏}+b𝐢+c𝐣+d𝐤$,then $q\overline{q}=(a^2+b^2+c^2+d^2)\mathrm{𝟏}$.(See Euler four-square identity.)This product is used to form a norm $\parallel \cdot \parallel$ on the algebra(or the ring) $ℍ$: We define $\parallel q\parallel =\sqrt{s}$ where$q\overline{q}=s\mathrm{𝟏}$.

If $v,w\in ℍ$ and $\lambda \in ℝ$, then

1. $\parallel v\parallel \ge 0$ with equality only if

2. $\parallel \lambda v\parallel =|\lambda |\parallel v\parallel$

3. $\parallel v+w\parallel \le \parallel v\parallel +\parallel w\parallel$

4. $\parallel v\cdot w\parallel =\parallel v\parallel \cdot \parallel w\parallel$

which means that $ℍ$ qualifies as a normed algebra when we give it thenorm $\parallel \cdot \parallel$.

Because the norm of any nonzero quaternion $q$ is real and nonzero,we have

which shows that any nonzero quaternion has an inverse:

$$q^{-1}=\frac{\overline{q}}{{\parallel q\parallel }^2}.$$

Other embeddings of $\mathrm{C}$ into $\mathrm{H}$

One can use any non-zero $q$ to define an embedding of$ℂ$ into $ℍ$. If $𝐧(z)$is a natural embedding of $z\in ℂ$into $ℍ$, then the embedding:

$$z\to q𝐧(z)q^{-1}$$

is also an embedding into $ℍ$.Because $ℍ$ is an associative algebra, it is obviousthat:

$$(q𝐧(a)q^{-1})(q𝐧(b)q^{-1})=q(𝐧(a)𝐧(b))q^{-1}$$

and with the distributive laws, it is easy to check that

$$(q𝐧(a)q^{-1})+(q𝐧(b)q^{-1})=q(𝐧(a)+𝐧(b))q^{-1}$$

Rotations in 3-space

Let us write

$$U=\{q\in ℍ:||q||=1\}$$

With multiplication, $U$ is a group.Let us briefly sketch the relation between $U$ and the group$SO(3)$ of rotations (about the origin) in 3-space.

An arbitrary element $q$ of $U$ can be expressed$\cos \frac{\theta }{2}+\sin \frac{\theta }{2}(a𝐢+b𝐣+c𝐤)$,for some real numbers $\theta ,a,b,c$ such that $a^2+b^2+c^2=1$.The permutation $v\mapsto qv$ of $U$ thus gives rise to a permutationof the real sphere. It turns out that that permutation is a rotation.Its axis is the line through $(0,0,0)$ and $(a,b,c)$, and the anglethrough which it rotates the sphere is $\theta$.If rotations $F$ and $G$ correspond to quaternions $q$ and $r$respectively, then clearly the permutation $v\mapsto qrv$ correspondsto the composite rotation $F\circ G$.Thus this mapping of $U$ onto $SO(3)$ is a group homomorphism.Its kernel is the subset $\{1,-1\}$ of $U$, and thus it comprisesa double cover of $SO(3)$. The kernel has a geometric interpretationas well: two unit vectors in opposite directions determine the sameaxis of rotation.

On the algebraic side, the quaternions provide an example of a division ring that is not a field.

Title	Hamiltonian quaternions
Canonical name	HamiltonianQuaternions
Date of creation	2013-03-22 12:35:42
Last modified on	2013-03-22 12:35:42
Owner	mathcam (2727)
Last modified by	mathcam (2727)
Numerical id	10
Author	mathcam (2727)
Entry type	Definition
Classification	msc 16W99
Synonym	quaternion
Related topic	EulerFourSquareIdentity
Related topic	QuaternionGroup
Related topic	HyperkahlerManifold
Related topic	MathematicalBiology
Defines	quaternion algebra