# Associative Composition Algebra/Split-quaternions

There are at least three portals leading to split quaternions: the dihedral group of a square, matrix products in M(2,R), and the modified Cayley-Dickson construction. The work of Max Zorn on split octonions showed the necessity of including split real AC algebras in the aufbau of the category.

The development through the dihedral group was started with a lemma in the Introduction, and is completed with exercises below.

Or one can start with a basis {1, i, j, k} taken from M(2,R), where the identity matrix is one, is j, is i, and is k. Some practice with matrix multiplication shows they are anticommutative like division quaternions, but some products differ:

- j
^{2}= +1 = k^{2}, j k = − i .

Then the real AC algebra of split-quaternions uses coefficients *w, x, y, z* ∈ R to express an element, its conjugate, and the quadratic form N:

### ExercisesEdit

1. What are the involutions on a square ?

2. As reflections, what is the angle of incidence of the axes of reflection ?

3. The composition of these reflections has what angle of rotation ?

## ComputationsEdit

Insight into the structure and dynamics of split-quaternions is available through elementary computational exercises. These exercises use j^{2} = +1 = k^{2} and jk = −i, contrary to the *quaternion group*, which is expressed with the same letters i, j, k, but which here refer to the *dihedral group of a square* instead.

- For r = j cos θ + k sin θ, show that r
^{2}= +1 = −r r*. - Compute ir .
- Recall that <
*q, t*> = (*q t** +*t q**)/2. Show <*q, t*> = real part of*q t** **Definition**:*q*and*t*are orthogonal when <*q, t*> = 0.- Show that for any theta,
*r*and i*r*are orthogonal. - Let
*p*= i sinh*a*+*r*cosh*a*. Show that*p*^{2}= +1 for any*a*and*r*. - Let
*v*= i cosh*a*+*r*sinh*a*. Show that*v*^{2}= −1. - For a given
*a*and*r*, show that*p*and*v*are orthogonal. - Let
*m*=*p*exp(*bp*) = sinh*a*+*p*cosh*a*. Show that*m m** = −1. - Let
*w*= exp(*bp*) = cosh*b*+*p*sinh*b*. Show that*m*is orthogonal to*w*. - Show that
*m*is orthogonal to*v*. - For any θ,
*a*, and*b*defining*r, p, w, v*, and*m*, the set {*m, w, v*, i*r*} is an orthonormal basis. - If
*u*is a unit, <*qu, tu*> =*uu** <*q, t*>.