Associative Composition Algebra/Printable version


Associative Composition Algebra

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

Permission is granted to copy, distribute, and/or modify this document under the terms of the Creative Commons Attribution-ShareAlike 3.0 License.

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
 
Reflections in the lines of symmetry of a square generate the dihedral group of order 8.
  • 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


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.

 
Angle size and sector area are the same when the conic radius is √2. This diagram illustrates the circular and hyperbolic functions based on sector areas u.

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−1b.

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

edit

Leonard 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 a0,   where n! is the factorial. Take a0 = 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
  1. Use Euler's formula to show sine and cosine have alternating series.
  2. Using infinite series, show  
  3. 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.
  4. What are the merits and demerits of calling a squeeze mapping a "hyperbolic rotation" ?

Sample

edit

For a sample of AC algebra, the following is offered: Let A = (R2, 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

edit

In 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 a2c = a(ac)
  • (ca)a = ca2

Introduction · Binarions


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

edit

With   is the square of the Euclidean distance from 0 to z. Furthermore, the vectors from 0 to w and z in C are perpendicular, zw, 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 zw. They are perpendicular because
 .

Proposition: A Euclidean plane isometry is either a translation zz + 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

edit

Mö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, adbc 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 pq, 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:

  1. 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?
  2. 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.
  3. If μ is a circle or line and g is a Möbius transformation, then μg is a circle or line.
  4. 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

edit

Nearly 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

edit
 
There are more parallel lines in hyperbolic geometry than in Euclidean geometry.

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

Transcendental paradigm · Bibinarions


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 i2 = −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 j2 = (0, i)2 = (−i2, 0) = +1. The two-dimensional subalgebra of bibinarions on basis {1, j } is called split binarions.

History

edit

The 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,   j2 = +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.

Binarions · Split-binarions


Split-binarions

Planar algebra

edit

The 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 + jy: x,y in R}. Component-wise addition and multiplication according to

(u+jv)(x+jy) = 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(aj): a in R} forms a one-parameter group:
exp(aj) exp(bj) = exp((a+b)j).

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

The conjugate hyperbola is jG ∪ −jG, 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:

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

Simulaneity

edit

When 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 jg where g = exp(aj) and a is increasing. Thus the term squeeze mapping is applied when appropriate orientation is in place.

Area

edit

Given that j2 = +1, it follows that jn 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

edit
 
The group action of the right branch of the unit hyperbola on D corresponds to a squeeze mapping σ on R2.

1. Matrix   and σ is a squeeze mapping on R2. Show that the matrix S provides a mapping that makes D and (R2, 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(aj), 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  

Bibinarions · Quaternions


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

edit

In 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 S2 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, eau 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

edit

Suppose 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 S2 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

edit

Linear 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 aj:

 

Set z = uaj 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 aj (so the radii to 0 and aj 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

edit

The 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 r2 = − 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 ∈ S2, (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 ∈ S2 ⊂ H as above, then  

 
 
 
 

which is hyperbolic rotation of s by a hyperbolic angle 2a 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

edit

1. 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(eb hr) = exp((2a + b) hr).

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

Split-binarions · Split-quaternions


Split-quaternions

 
The imaginary units v such that v 2 = −1 lie on a two-sheeted hyperboloid in 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:

j2 = +1 = k2,   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

edit

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 ?

Computations

edit

Insight into the structure and dynamics of split-quaternions is available through elementary computational exercises. These exercises use j2 = +1 = k2 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.

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

Quaternions · Homographies


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

edit

A 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 apa 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

edit

In 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

edit

On 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] }.

Split-quaternions