# Associative Composition Algebra/Printable version

This is the print version of Associative Composition AlgebraYou won't see this message or any elements not part of the book's content when you print or preview this page. |

The current, editable version of this book is available in Wikibooks, the open-content textbooks collection, at

https://en.wikibooks.org/wiki/Associative_Composition_Algebra

# Introduction

An **associative composition algebra**, or AC algebra, (*A*, +, ×, *) is an associative algebra (*A*, +, ×) that is at the same time a composition algebra (*A*, *). In terms of the axioms of a mathematical structure, these algebras are characterized by

- and

A composition algebra is constructed as an algebra over a field *F*, and is equipped with a mapping The axiom involving the conjugation (*) expresses N's group homomorphism property between the multiplicative groups of *A* and *F*.

Associative composition algebras come in three levels: unarion, binarion, and quaternion. The unarion level in this text will be either R, the real numbers, or C, the complex numbers. At the unarion level, the conjugation is the identity mapping, and at this level.

Five additional associative composition algebras will be described in this wikibook: There is just one binarion and one quaternion AC algebra over C, but two of each over R. Two of the latter are division algebras and have the greatest literature. The extra two over R are split composition algebras; they possess *null vectors*

**Associative Composition Algebras over R or C**

- R = real numbers
- C = division binarions, also known as complex numbers
- D = split binarions, a.k.a. split-complex numbers
- T = bibinarions, a.k.a. bicomplex numbers, a.k.a. tessarines
- H = division quaternions, a.k.a. Hamilton’s real quaternions
- Q = split-quaternions, a.k.a. coquaternions
- B = biquaternions, a.k.a. complex quaternions

The terms *tessarine* and *coquaternion* were used by James Cockle writing in *Philosophical Magazine*, in the wake of Hamilton's lectures on H and B. The term *binarion*, an essential linguistic insertion, was used by Kevin McCrimmon in his book *A Taste of Jordan Algebras*(2004).

Any AC algebra may provide arguments to a linear fractional transformation, here called a **homography** as is traditional in projective geometry. The demonstration begins with Mobius transformations of division binarions and the construction of a cross-ratio homography. Three-dimensional kinematics is expressed with quaternion homographies. Cosmological symmetry expressed by conformal mapping is described with biquaternion homography.

In an AC algebra A, is the field of **scalars**, either R or C in this text. In the case of R, it is the **real line** embedded in A. For an element is the **scalar part** of *x*, and for real algebras it is the **real part** of *x*.

Each algebra A has a **bilinear form** on written

Given is the set of elements **orthogonal to y**, and given

- is a
**quadratic set**in A.

The distinction between these two types of sets is reduced with Möbius transformations and later in the chapter Homographies by embedding A in its projective line.

The following lemma uses complex numbers C to prepare one of the approaches to Q:

**Lemma:** If two lines are inclined by θ radians, then the composition of reflections in these lines is a rotation of 2θ radians.

- Algebraic proof: Lines L and M intersect at X, which is taken as (0,0) ∈ C, where L is aligned with the real axis. Reflection in L is complex conjugation. M passes through (say), and reflection in M comes by rotating it to L, then conjugating, and rotating back to the original position of L:

Reflection in L goes first, Then reflection in M is

- The composition is a rotation of twice the angle of inclination.

# Transcendental paradigm

In the ancient geometry of the circle, the relation between angle above the horizon and altitude of a star is called the sine function. Though a part of the nature of a circle, it is not an algebraic function in the sense of being expressible as a finite sequence of additions, subtractions, multiplications, divisions, powers or roots. Thus it is called a transcendental function. The invitation of this function "sine" into the polite company of algebraic manipulations required a fundamental innovation: a constant "base" *b* > 0 raised to a variable exponent: This innovation was used by Leonard Euler in his Introduction to the Analysis of the Infinite (1748). But the research that led to this development is due to a Jesuit trio: Gregoire de Saint-Vincent, A. A. de Sarasa, and Marin Mersenne working in the previous century. They tackled the ancient problem of quadrature of the hyperbola, a prominent issue since Archimedes had shown the quadrature of the parabola millennia before.

Consider first a unit square area. Then consider those rectangles that have the same area as the square. If *x* and *y* are the sides of such a rectangle, the graph of *y* = 1/*x* represents the rectangles {(0,0), (*x*,0), (0, 1/*x*), (*x*, 1/*x*)}. The rectangle with *x* = *y* = 1 is the unit square *s*. Now suppose *b* > *a* > 1 and (*b*, 1/*b*) is the corner of a rectangle *h* while (*a*, 1/*a*) is the corner of a rectangle *g*. The rectangles can be viewed as squeezed forms of one another: *h* is *s* squeezed by *a*, *g* is *s* squeezed by *b*. Then *h* can be re-inflated to *s* by *a*^{−1}, so that *g* is obtained from *h* by squeezing with *a*^{−1}*b*.

The squeezing operation corresponds to a positive real number *p* > 0. The squeeze is generally viewed with *p* > 1 so that *x* expands and *y* contracts, all the while area is preserved. This property of preservation of area, called equi-areal mapping, brings squeezing into contact with translations, rotations, and shear mappings which share the property. The squeeze is not part of classical kinematics but appears in special relativity as a re-linearization of velocity after the finitude of the speed of light exposes the non-linearity of classical velocity addition with vectors.

Note the axis of symmetry L: *x* = *y* of the hyperbola *xy* = 1. A point (*x*, 1/*x*) on the hyperbola determines a hyperbolic sector S(1,*x*) delimited by L, the hyperbola, and the line from (0,0) to the point. The perpendicular projection from the point to L establishes the hyperbolic sine, sinh *v*, where *v* is the area of the sector S(1,*x*), commonly called the hyperbolic angle. The foot of the projection determines cosh v by the length of the diagonal from (0,0) to the foot. In accord with a circle of area 2π, the sinh and cosh are normalized by a factor of √2.

## Infinite series

editLeonard Euler provided infinite series as an access point to the transcendental functions:

Look what happens when f is required to be its own derivative: the derivative of the nth term is

Given a_{0}, where n! is the factorial. Take a_{0} = 1. Now which Euler computed to be 2.71828… and is now designated mathematical constant e.

The function f is known as **the exponential function**

Euler also broke the sum into even and odd terms: , where cosh takes the even terms, sinh the odd. The following lemma will be needed later.

**Lemma**:

proof: The odd terms of e^{−x} turn negative, so they cancel in

- and add in

Now squaring and adding in the right hand side of the lemma yields

### Exercises

edit- Use Euler's formula to show sine and cosine have alternating series.
- Using infinite series, show
- Exchange triangles of area 1/2 to show a hyperbolic sector has the same area as a dented trapezoid under the hyperbola and against its asymptote.
- What are the merits and demerits of calling a squeeze mapping a "hyperbolic rotation" ?

## Sample

editFor a sample of AC algebra, the following is offered: Let *A* = (R^{2}, *xy*) be the real plane with quadratic form *xy*. Further, let *A* be equipped with component-wise addition and multiplication, making it a real algebra. Denote N(*x,y*) = *xy* in this case. Then

Thus N is said to **compose** over the multiplication in *A*, and *A* might be called a composition algebra. However, in this text, AC algebras have an involution called a *conjugation*, written x*, used to define N by N(*x*) = *x x**. Nevertheless, the algebra *A* constructed above is very closely related to split-binarions described in the next chapter. The split-binarions are a normalized form of *A*, where the multiplicative identity is a unit distance from the origin, and it has some formal correspondences with the complex field C. In *A*, the quadratic form can be interpreted as a weight, so that a transformation leaving it invariant is an *isobaric transformation*, a name used in 1999 by Peter Olver (*Classical Invariant Theory*, page 217) to describe a squeeze mapping.

## Categorical treatment

editIn his essay "Cayley Algebras" included in a larger work published by American Mathematical Society (ISBN 978-0-8218-4459-5), Guy Roos presents a sequence of exercises which give a categorical expression of composition algebras. Say that A is a composition algebra over field K, so that it has a norm n: A → K and for every a, b in A, n(ab) = n(a) n(b). Composition algebras are sometimes non-commutative, so A is presumed to have non-commutative multiplication though the addition operation is commutative. The exercises culminate in showing a composition algebra is an **alternative algebra**. This property is connected with the associativity proposition a(bc)=(ab)c with three universal quantifiers, except that in alternative algebras only two quantifiers hold, meaning that a=b or b=c in the expression. In particular, when then the algebra is alternative.

### Roos exercises

edit**Definition:** (a:b) = n(a+b) – n(a) – n(b)

- 2(ab:ab) = (a:a)(b:b)
- (ac:ad) = n(a)(c:d)
- (ac:bc) = (a:b) n(c)
- (ac:bd) + (ad:bc) = (a:b)(c:d)
- (aa:d) + n(a)(d:1) = (a:1)(a:d)
- (aa – (a:1)a + n(a)1 : d) = 0
- aa – (a:1)a + n(a) = 0

**Definition:** The **trace** of an element a is t(a) = (a:1)

As a unital algebra, 1 is in A, and A has a basis as a linear space. Write e = 1e as the basis element associated with the multiplicative identity, 1 or one (in oral communication).

**Definition:** The **conjugate** of a is a* = (a:e)e – a.

- (a*)* = a and n(a*) = n(a)
- a + a* = t(a)
- n(a) = a a*
- (a:b) = (a*:b*)
- (ac:d) + (ad:c) = ((a:1)c : d)
- (ad:c) + (a*c : d)
- (da:c) = (ca*:d)
- (ax:y) = (x:a*y) and (xa:y) = (x:ya*)
- (ab:1) = (a:b*) = (ba:1) so that t(ab) = t(ba)
- t((ab)c) = (ab:c*) = (a:c* b*) = (ca :b*) = t((ca)b)
- t((ab)c) = t(ca)b) = t(bc)a) = t(a(bc))
- (ab)* = b*a*
- For every c, ((ab)* :c) = (ab:c*) = (ca:b*) = (c:b*a*)

- (a:b)c = b*(ac) + a*(bc)
- For every d, (a:b)(c:d) = (b*(ac):d) + (a*(bc): d)

- (a:b)c = (ca)b* + (cb)a*
- n(a)c = a*(ac) = (ca)a*
- (a*a)c = a*(ac) and a+a* in K implies a
^{2}c = a(ac) - (ca)a = ca
^{2}

# Binarions

The **division binarions** C is the field of complex numbers:

Several academic journals and many university texts are dedicated to the function theory of C, for example the Wikibook Complex Analysis.

## Division binarions

editWith is the square of the Euclidean distance from 0 to *z*. Furthermore, the vectors from 0 to *w* and *z* in C are perpendicular, *z* ⊥ *w*, when These features make C an ideal vehicle for display of topics in Euclidean geometry.

**Proposition:** The diagonals of a w:rhombus are perpendicular.

- proof: The four binarions form a rhombus. One diagonal is
*z*+*w*and the other is parallel to*z*–*w*. They are perpendicular because - .

**Proposition:** A Euclidean plane isometry is either a translation *z* → *z + t* or a rotation such as

Note that a rotation about *p* is obtained by arithmetic with

where the last expression shows the mapping equivalent to rotation at 0 and a translation. Therefore, given direct isometry one can solve to obtain as the center for an equivalent rotation, provided that , that is, provided the direct isometry is not a pure translation.

### Möbius transformations

editMöbius transformations act on the projective line over division binarions. The points on this line use projective coordinates: (*a,b*)~(*c,d*) if there is a non-zero *u* such that *ua*=*c* and *ub*=*d*. This binary relation ~ on pairs of division binarions is an equivalence relation, where an equivalence class is written [*a:b*] for any pair (*a,b*) in the class. No point in the projective line corresponds to (0,0).

As a projective linear transformation, a Möbius transformation may be written

The point [*z*,0] = [1,0] corresponds to the *point at infinity* with respect to the rest of C, which is represented by [*z,w*]=[*zw*^{−1}, 1].

Exercise: Show that the Möbius transformation takes infinity to *a*/*c*.

For other points, let *w* = 1 so

- when
*z*≠ −d/c.

To avoid singular transformations, *ad* −*bc* is taken to be non-zero.
Particular transformations coming under the Möbius umbrella include:

- Case 1:
*b*=*c*=0,*d*=1.*a*>1 magnification, 0<*a*<1 contraction,*a*=−1 reflection in 0,*aa**=1 rotation - Case 2:
*c*=0,*a*=*d*=1,*b*=*t*translation of division binarion plane by*t*in C - Case 3:
*a*=*d*=0,*b*=*c*=1 multiplicative inversion of C extended to 0 and infinity.

Note that the rotation *z* to *uz* leaves [0,1] and [1,0] fixed. Furthermore, any two distinct points *p* and *q* can be placed to these polar opposites by

The image of a third point *r* cannot be [1,1] since *p* ≠ *q*, but *r* can be moved there: Let Then

Thus the constructed transformation maps *p,q,r* to infinity, 0, 1 respectively. Applied to a fourth division binarion *z*, the image is the **cross ratio** [*z,p,q,r*].

Exercises:

- Construct the transformation taking −i to [1,0], 0 to [i,1] and i to [1,1]. What is the image of the unit disk
*zz** < 1 under this transformation? - Two points in the projective line are fixed with a rotation. Show that a Möbius transformation that leaves three points fixed must be the identity mapping.
- If μ is a circle or line and
*g*is a Möbius transformation, then μ*g*is a circle or line. - If the image of
*z*under the cross ratio transformation of*p, q*, and*r*is a real number, then the four points*z, p, q*, and*r*lie on a circle or line.

## Hamilton

editNearly two centuries ago (in 1834 and 1837) William Rowan Hamilton wrote on algebraic couples as he explored the formation of division binarions from real numbers. See his essays Theory of Conjugate Functions or Algebraic Couples edited by David R. Wilkins. Hamilton wrote the product of a couple as

This is equation 37, from *Transactions of the Royal Irish Academy*, volume 17, page 93 of Wilkins text.

This approach to establishing the field of division binarions ("complex numbers") was taken by w:Raymond Wilder in 1965 in *Introduction to the Foundations of Mathematics*, second edition, page 62. The same author, in 1981, identified the use of "ordered pairs (*a,b*) of real numbers, *a* and *b* along with rules for operating with such pairs" as a forced origin of a new concept, by Hamillton, in his *Mathematics as a Cultural System* (page 33).

## Euclid contradicted

editThe parallel postulate of Euclid has been phrased as a unique parallel existing off a given line and passing through a given point. The geometry of w:Lobachevski provides an infinite number of lines through a point, not a given line, and parallel to it. In the illustration, consider the given blue arc, and the pink arc illustrating an arc not intersecting the blue arc.

The division binarions enable a model of a hyperbolic plane in the unit disk. The geodesics in this model are circular arcs that meet the unit circle at right angles. The motions of the model are Mobius transformations that preserve the disk. These transformations are represented by homographies with

Indeed, for a point [z : 1] in the projective line over division binarions, the action of SU(1,1) is given by

since in projective coordinates

Writing division-binarion arithmetic shows

where Therefore, so that their ratio lies in the open disk.

# Bibinarions

A construction of a doubled algebra was initiated by L. E. Dickson and recounted by A. A. Albert. The method presumes an algebra with conjugate * and produces one of double the dimension and a new conjugation: (*u*, *v*)* = (*u**, −*v*) where *u** denotes the original conjugation. The new algebra has products given by

Starting with a field and its conjugation, a sequence of algebras can be so constructed. The division binarions arises when the starting field is the real numbers Since the reals have no conjugation, the identity is substituted, and the conjugation arises as above. Continuing with the construction, using the binarion conjugate, quaternions are obtained as will be seen. However, the binarion conjugation may be forgotten (identity substituted), and bibinarions produced according to the Dickson/Albert method given above.

A **bibinarion** is then a pair of division binarions (*u*, *v*) with conjugation (*u*, *v*)* = (*u*, −*v*). The norm of a bibinarion is then

Notice that this norm is a division binarion, and is *not* the kind of norm that produces a metric.

Furthermore, with i^{2} = −1 in C, a bibinarion (*u*, i *u*) has zero norm. Such an element is called a **null vector**. The bibinarions form a **split algebra** since some elements are null vectors.

The product of two bibinarions is commutative since the generating conjugation is the identity. Most remarkably, there is bibinarion j = (0, i) with j^{2} = (0, i)^{2} = (−i^{2}, 0) = +1. The two-dimensional subalgebra of bibinarions on basis {1, j } is called split binarions.

## History

editThe idea of an algebra with two imaginary units that commute was considered in mid-19th century Britain. Hamilton used a commuting h with his biquaternions. James Cockle saw that the square of the product hi of imaginary units was plus one, thus creating "a new imaginary in algebra" as he wrote in *Philosophical Magazine* in 1848. His use of the letter j, j^{2} = +1, has been widely adopted. Although Hamilton provided a vocabulary of vector operations (including the del operator), these explorations preceded set theory, group theory, and the unfolding of mathematical notation. With 1 on the real axis, the two imaginary units h and i, and their product hi, Cockle's commutative algebra T (tessarines) has a real basis of four elements. By the end of the 19th century tessarines and quaternions were referred to as hypercomplex numbers.

In 1892 Corrado Segre introduced bicomplex numbers in *Mathematische Annalen* (v 40: 455 to 67).

The division binarion basis of this algebra is used in the Dickson-style construction of biquaternions.

# Split-binarions

## Planar algebra

editThe equation jj=1 expresses an *involution*, an operation that returns to the original upon iteration. When 1 is taken as the identity matrix, then the matrix equation mm = identity has many solutions (even in the 2x2 case), and such a solution is an *involutory matrix*.

The split binarions use this idea of extra solutions (beyond 1 and minus 1) to generate the set of numbers {*x* + j*y*: *x,y* in R}. Component-wise addition and multiplication according to

- (
*u*+j*v*)(*x*+j*y*) =*ux*+*yv*+ j(*uy*+*xv*)

make a 2-algebra here called **split-binarions**, described as *split-complex numbers* in the Encyclopedia, there also provided with a list of synonyms.

To describe the invertible elements of the split-binarion plane, the two lines *x*=*y* and *y*=−*x* must be scratched from the plane. Of the four quadrants so formed, the one containing 1+0j is the most important as the square of any unit is found in this quadrant. Within it the set

*G*= {exp(*a*j):*a*in R} forms a one-parameter group:- exp(
*a*j) exp(*b*j) = exp((*a*+*b*)j).

*G* ∪ −*G* is the unit hyperbola but parametrized with hyperbolic functions.

The conjugate hyperbola is j*G* ∪ −j*G*, also given as

In division binarions *perpendicularity* and *orthogonality* are synonyms, but in split-binarions orthogonality differs geometrically but is consistent algebraically: Two units *z* and *w* are **orthogonal** if the real part of *zw** = 0. The bilinear form says <z,w> = 0. For example, for any *g* in *G*,

- g(jg)* = −j gg* = −j exp(aj) exp(−aj) = − j, which has zero real part.

**Exercises**:

- Show that the group of units
*U*=*F*x*P*x*G*where*P*is the multiplicative group of positive real numbers and*F*= {j, −j, 1, −1}, the four-group. - Show that
*x*+ j*y*is in the quadrant of the identity if and only if*y*< |*x*|. - Show that the effect of multiplying by j is to flip the plane in the diagonal x=y.
- For
*g*= cosh*a*+ j sinh*a*, show that as*a*increases the orthogonal points*g*and j*g*converge toward the asymptote.

## Simulaneity

editWhen Hermann Minkowski was developing his model of the universe using the concept of a worldline for the track in time of something, he argued that the *simultaneous space* of the moving thing depends on its velocity. Thus simultaneity is relative to moving observers. The orthogonality in split-binarions corresponds to the relation between a velocity vector and its peculiar simultaneous space. The term *hyperbolic orthogonality* has been used to distinguish it from perpendicularity. The simultaneous space is called a *simultaneous hyperplane* since it is a three-dimensional subspace of Minkowski’s universe.

The elements of *G* can be used to form a group action on the plane. The effect is sometimes called a *hyperbolic rotation* since for any constant *k*, the hyperbola {u : u u* = *k* ≠ 0} is an invariant set under *u* -> *gu*. But the action does not mingle the quadrants, so the term *rotation* is not appropriate. Another effect is that the dimension perpendicular to *y*=*x* is squashed or squeezed, as evidenced by the converging orthogonal vectors *g* and j*g* where *g* = exp(*a*j) and *a* is increasing. Thus the term *squeeze mapping* is applied when appropriate orientation is in place.

## Area

editGiven that j^{2} = +1, it follows that j^{n} is one (1) when *n* is even, and equals j when *n* is odd. Therefore

- as the powers of j separate the even and odd terms.

The variable *a* is a hyperbolic angle along a unit hyperbola This configuration is a normalized form of the natural hyperbola, where now the multiplicative identity is a unit distance from the origin, so sector areas are **half** the angle sizes due to the normalization.

Instead of squeeze mappings preserving areas in sectors of the natural hyperbola, the multiplication in D does the squeezing. The re-linearization of velocity addition in special relativity uses the parametrization of the unit hyperbola in D. Indeed, if two rapidities *a* and *b* are added, the result is their sum according to in D.

The notion of orthogonality in D is arithmetically consistent with the condition in C, but expresses instead hyperbolic orthogonality, the relation of a worldline to its simultaneous hyperplane. Though only two-dimensional, the split binarions contribute to understanding special relativity.

### Exercises

edit1. Matrix and σ is a squeeze mapping on R^{2}. Show that the matrix *S* provides a mapping that makes D and (R^{2}, xy) isomorphic as rings and quadratic spaces, but that *S* is *not* an isometry on the real plane with Euclidean metric.

2. For *K* ⊂ D, area(*K*) finite, and any *a* in R with *u* = exp(*a*j), show that the area of {*u k* : *k* in K} equals the area of *K*.

3. What does the hyperbolic angle have in common with the harmonic series Answer: no bound. Compare their geometry.

4. Draw the subgroup

# Quaternions

William Rowan Hamilton's real **quaternions** H and **biquaternions** B are constructed from pairs of division binarions or bibinarions, respectively. These operations are defined:

A third quaternion algebra Q = **split-quaternions** is a variant of H and a subalgebra of B. The following chapter explores split-quaternions through exercises.

H and B were both described by W. R. Hamilton in his *Lectures on Quaternions* (1853). AC algebra Q was described by James Cockle and called coquaternions. For a time H, B, and Q had special profiles in their use as AC algebra, but matrix rings were exploited in the twentieth century to provide linear representations for them, and thus absorb them into the larger study of linear algebra. Indeed, Q is ring isomorphic to M(2,R), the 2 × 2 real matrices, and B is ring isomorphic to M(2,C), the 2 x 2 complex matrices. Representation of H uses the context in B. In the Linear Algebra the idea of composition is visible with the *determinant of a matrix*, which has a similar property.

## Division quaternions

editIn the notation of Hamilton, with (w,z) is written a + bi + cj + dk, where the products
can be confirmed, and noted for *anticommutativity*. The set {i, j, k} has been taken as the *basis* of space in presentations of kinematics, mechanics, and physical science.

Furthermore, In fact,

so there is a *sphere* S^{2} of *imaginary units* in H.

Say that *u* is one of them, then the complex arithmetic of Euler's formula gives
In the quaternion context, e^{au} is a **versor**, and versors are the points of *elliptic space*, a geometry entirely devoted to rotations. W. K. Clifford was an exponent of elliptic geometry, and much more, until his flame was extinguished at age 34.

For vectors in V ⊂ H, anticommutivity means perpendicularity:

**Lemma**: if a and b are square roots of minus one and a ⊥ b, then aba = b.

- proof:

**Lemma**: Under the same hypothesis, a ⊥ ab and b ⊥ ab.

- proof:

Let u = exp(θ r) be a versor. There is a group action on H determined by u:

### Conjugation of a vector by a versor

editSuppose a pair (*a,b*) in HxH, not both zero, and a pair (*c,d*) are related by a non-zero quaternion *q* through *qa*=*c* and *qb*=*d*. The relation is denoted (*a,b*) ~ (*c,d*). It is an equivalence relation and HxH/~ is a **quaternion projective line**. The homographies of this projective line are given by matrices from M(2,H). For example,

The equivalence class for (*a,b*) is written [*a,b*]. The mapping is called the **conjugation** of *q* by *u*, conventionally taken as a versor. The real part of *q* is invariant under the conjugation, but it applies to the vector part. The following quaternion arithmetic computation shows that the vector is rotated about the axis of the versor, and by twice its angle:

Note that commutes with all elements in the plane Select s from the great circle on S^{2} that is perpendicular to r. Then rsr = s by the first lemma. Now compute the conjugate of s by *u*:

- which is rotation by 2 theta in the (s, sr) plane.

### Screw displacement

editLinear fractional transformations with quaternions can be demonstrated by considering a kinematic exercise: Given a rotation about the i axis by 2 θ (inner automorphism with versor exp(θ i)) and a desired translation in the j-k plane, find the position of the axis parallel to the i axis where the rotation effects the translation.

The problem can formulated in terms of t = xj + yk, and the transformation first drawing t back to the origin, then preforming the rotation before restoring the position of t:

where

Presume the desired translation is in the j direction at distance *a*, so the desired image of 0 is *a*j:

Set *z* = *ua*j and compare j and k coordinates. The k component equation leads to *x* = *a*/2 and shows that *t* must lie on the perpendicular bisector of the segment from 0 to *a*j (so the radii to 0 and *a*j are the same). The j component equation leads to which corresponds to the right triangle with *y* on the bisector and *a*/2 as the opposite side, giving

The idea of a rotation providing translation by moving the axis of rotation appropriately was described by Mozzi in 1763 and Chasles in 1830, and is considered a feature of Euclidean motions and kinematics. The proposition is stated as the sufficiency of screw displacements to effect the Euclidean group of proper isometries. **Screw displacements** are rotations in 3-space, possessing an axis of rotation, and the screw motion includes a translation along the axis of rotation. Notice of the sufficiency is attributed variously to Mozzi and Chasles.

## Biquaternions

editThe AC algebra (B, +, x, * ) has conjugation

In biquaternions a new imaginary unit h commutes with all the other imaginary units i, j, k, including all r satisfying r^{2} = − 1. For example, the division binarion *w* = *a* + *b* h, *a,b* in R.

Suppose now the complex conjugation is invoked: as second involution, denoted by an overbar:

The two involutions agree on

This four-dimensional subspace M was exploited by Ludwik Silberstein (1914) and Cornelius Lanczos (1949) to exhibit a mathematical model of spacetime with speed of light set to one, and admitting Lorentz transformations as conjugation of an event by a versor or hyperbolic versor.

In B, for each square root of −1, r ∈ S^{2}, (hr)^{2} = +1. Then the plane

- is a split binarion algebra with (x + y(hr))* = x - y(hr). In particular
- with hyperbolic angle a, is a hyperbola in the plane of R and hr.

Hyperbolic rotation, or squeeze, can be obtained by conjugation with u. Using r and s ∈ S^{2} ⊂ H as above, then

which is hyperbolic rotation of s by a hyperbolic angle 2*a* in the (s, hsr) plane.
The real vector s, outside of M, is found to have a component (sinh a) hsr ∈ M after f.

### Exercises

edit1. Let f be a mapping on B given by f(*s*) = *v s v*, where *v* = exp(*a* hr). Show that r ⊥ s implies f(s) = s.

2. Show f(e^{b hr}) = exp((2*a* + *b*) hr).

3. Interpret f as a mapping on M. Hint: Use terminology of special relativity.

# 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:

### Exercises

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

## Computations

editInsight 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*b*+*p*cosh*b*. 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*>.

# Homographies

The concept of **homography** has already been introduced as Möbius transformations on the projective binarion line. In fact, the concept has been extended to screw displacements using quaternions, where non-commutativity of the algebra has been accommodated.

Since the *associative property* is a requisite of a *mathematical group*, this text has required AC algebras to have it so that the algebras have a *multiplicative group*. Furthermore, associativity, and the fact that multiplication distributes over addition, are used in the following application of *matrix multiplication*:

**Proposition:** On an associative composition algebra, the homography is **well-defined** on the projective line.

With *u* taken from the group of units of A, (*ua, ub*) are the **homogeneous coordinates** of a point in the projective line P(A). One writes : and ~ is an equivalence relation on A x A; for instance, it is a *transitive relation* because of associativity.

These equalities, involving the matrix product on the right, show that the result of the matrix transformation does not depend on the representative (a,b) from an equivalence class of the relation.

The condition requires the pair (*a,b*) to be sufficient to generate A: they must not both lie in a proper subalgebra. The projective line is

- where U[
*a: b*] represents the equivalence class of (*a, b*).

## Embedding, far and near translations

editA canonical embedding of A into P(A) is given by

If *ab* = 1, then since *a* ∈ U. For such *a*,

showing that moves the elements of U ⊂A to the equivalence class of U[a^{−1}: 1], thus extending the multiplicative inverse map to P(A).

is referred to as a *point at infinity*, but unless *A* is a division algebra, it is not the only element of

For a positive real number *p*, the action of on E(A) agrees with the dilation *a* → *pa* acting in A. Furthermore, inner automorphisms are extended by homographies:

With the canonical embedding z → [z : 1 ] of A into P(A), the transformation is a **near translation**. The other embedding z → [ 1 : z ] takes the origin to [ 1 : 0 ], sometimes written since it is a point at infinity with respect to the canonical embedding. The transformation

- is a
**far translation**because of its effect on the second embedding:

**Proposition** : Suppose Then the matrix is a product of a far translation with a near translation.

- proof: 1 = a − bc implies a = 1 + bc. Then

## Conformal spacetime transformations

editIn 1910 reference was made to "conformal transformations of spacetime" by Harry Bateman and Ebenezer Cunningham, though the method of description was by differential geometry of transformations respecting Maxwell's equations of electromagnetism. Using M ⊂ B to represent spacetime, and the AC algebra B for homographies on P(B) to represent transformations, a general conformal transformation can be written:

- The more commonly noted subgroups are an affine group (
*b*= 0), the Poincaré group (*p*= 1 and*b*= 0), and the Lorentz group (*p*= 1 and*a*=*b*= 0).

There are 15 degrees of freedom in *g*: *p* is one, *a* and *b* contribute four each, while *u* and *v* contribute six.

In particular, with *u* = exp(*a* r) generates the orthogonal group O(3) in the Lorentz group, and

- with
*v*= exp(*b*hr) generates the boosts, per the exercises in the last chapter.

**Exercises**

1. Find the coordinates of elements of the projective line over the field with two elements.

2. For *g* extending translation, rotation, and inversion, find {*x* : *xg* = *x*}, the fixed point set of *g*.

## Cross ratio

editOn the real projective line the homography

- takes [
*a*: 1] to [0: 1] and [*b*: 1] to [1: 0].

The numbers between them have positive real values. The midpoint of the interval (*a,b*) goes to [1: 1].

For commutative rings (binarions here), there is a cross ratio homography which maps a sufficiently distinct triple from the ring to the projective line over the Galois field Z/2Z, which is contained in the projective line over any ring. But in the non-commutative case (quaternions here), the homography which separates points *p* and *q* is only conditionally normalizable. Indeed, compose

- with the separation of
*p*and*q*:

**Exercise:** Show that

is sufficient to provide a normalized homography mapping of {*p, q, t*} to {[0 :1], [1 :0], [1, 1] }.