
CHIRAL ISOMORPHISM OF ABELIAN GROUPS OVER G_{f}'P^{n}XG_{f}P^{n} BY JAMES R. VAN DYKE Abstract: Using unitary diagonal matrices as elements (labels), the closed geometrically finite groups of the Tetrahedral and its dual group are combined into the master Abelian rotational group, G_{f}'P^{n}XG_{f}P^{n}, over a sixdimensional space. The research demonstrates that there exists a geometric unification of lefthanded and righthanded systems of coordinates over a spherical projection plane with the matrix algebra representing the regular polytopes on the surface of a hypercomplex sphere. The extension fields take into consideration chirality and invariance over a unified commuting vector field. The orthogonal rotational group Z_{2},Z_{2},Z_{2},Z_{2},Z_{2},Z_{2} is isometric to the symmetric group S_{6}, which is solvable when defined by G_{f}'P^{3}XG_{f}P^{3} and labeled with matrices. CHIRAL ISOMORPHISM OF ABELIAN GROUPS OVER G_{f}'P^{n}XG_{f}P^{n} "There are thus two kinds of Cartesian systems which are designated as 'righthanded' and 'lefthanded' systems. The difference between these is familiar to every physicist and engineer. It is interesting to note that these two kinds of systems cannot be defined geometrically, but only the contrast between them." Albert Einstein, 1922 (1) 1. INTRODUCTION. The purpose of this paper is to demonstrate a geometric unification of lefthanded and righthanded systems of coordinates over a spherical surface. The problem consists of finding a system of coordinates, a regular system of points, which commutes globally and models both systems simultaneously. At the heart of this problem is the idea of invariance. An invariant has the property of remaining unaltered by a particular transformation, such as a rotation of the point field. (2,3) There exists a transitive multiplicative group of degree
P^{n}, which, by means of its properties, defines
a discrete, orthogonal, rotational group for the regular polytopes over a
spherical surface. These polytopes are contained as subgroups in the
Abelian group of order P^{n} and type
(Z_{2},..,Z_{2}), where
Z_{2} = ±1, P
= 2 (which is prime), and n = 6. Our
goal is geometrically to construct three polytopes: a pair of chiral
tetrahedrons and, by combining them, a cube. The handedness of one
tetrahedron is distinguished by four colors, and its orthogonal dual is
created by its mirror image. We now create a cube,
G_{f}'P^{3}XG_{f}P^{3},
algebraically by the addition of the trace elements of the subgroups of
the group G_{f}64. They are the groups,
G_{f}'8 and its dual G_{f}8.
The first group that is created by the mirror image, models a
lefthanded tetrahedron and the observer in the
mirror. The second group models a righthanded tetrahedron
and an observer. Together these chiral groups model handedness, a cube,
and a pair of observers. The observer is defined by an operator (a
mathematical device), which in this analysis, eliminates the need to
specify an absolute value. The mathematical operator we initially use is
the identity operator of group theory.
Table 1.1 An isomorphism is to one correspondence between elements in a field or group, such as the decimal numbers, G8, the binary number field modulo (111), G_{f}8, and G_{f}'8. Next, we develop the principles of finite fields, then we employ them to demonstrate the existence of a family of multiplicative Abelian groups. 2. FINITE FIELDS. Let u_{0}, u_{1}, u_{2},...,u_{n1} be a set of n (n>1) distinct symbols or elements, which may be combined by addition under the following laws: u_{i }+ u_{j} = u_{j} + u_{i}; Let the set be such that, for every pair of these elements, there exists a single
element, u_{j}, such that Suppose the elements u_{0}, u_{1}, u_{2},...,u_{n1} may be combined by multiplication in accordance with the laws u_{i}u_{j} = u_{j}u_{i}; u_{i}(u_{j}u_{k})
= (u_{i}u_{j})u_{k}; Let the product of two elements, u_{i}u_{j} = u_{k}, be an element in the set followed by a reduction modulo P^{n}, when u_{k} is greater than P^{n}. From the relationships u_{o}u_{i }= u_{i}u_{o} = u_{i}(u_{j } u_{j})_{ }= u_{i}u_{j}  u_{i}u_{j} = u_{0}, it follows that u_{o} has the multiplicative property of zero. Then, for any two elements, u_{i} and u_{k}, there exists a single unique element, u_{j}, such that u_{i}u_{j} = u_{k}. Therefore, u_{j} is uniquely determined by division and we may then write u_{j} = u_{k}/u_{i}. The quotient of u_{k} by u_{i} is u_{j}, if and only if u_{i} ¹ u_{0}. The set then contains every quotient, u_{i}/u_{i}, and this quotient has the multiplicative property of the identity, I. From this equation, one sees that u_{i}/u_{i }= u_{j}/u_{j}, if and only if u_{i} ¹ 0 or u_{j} ¹ 0. If Iu_{i} = u_{i} or u_{i}I = u_{i} and u_{i} ¹ u_{0}, we then have I = u_{i}/u_{i}. Therefore, one element in the set is equal to unity. The notation is chosen so that this element is u_{1}. Then these n  1 elements, u_{1}, u_{2}, ..., u_{s1}, form an Abelian group in which the law of combination is that of multiplication as here defined. This group is called the multiplicative group of the field. (5) The set of n distinct elements, u_{0}, u_{1}, u_{2},...,u_{n1}, satisfying the above conditions, defines a finite field of order n. A finite field is characterized by the property that, when the rational operations of algebra are performed upon the elements in the field, they lead, in every case, to elements in the field followed by a reduction modulo P^{n}, when u_{i} is greater than P^{n}. (6) We now provide an example of a finite field. Consider the Abelian group of order eight with the following elements: u_{0} = (000), u_{1} = (001), u_{2} =
(010), u_{3} = (011), This is a finite set of binary numbers, where addition and multiplication of these elements are the ordinary addition and multiplication of the numbers to which they are equal, followed by a reduction modulo(111) to a number of the set. The property of division is easily verified, when the divisor is different from u_{0}, by observing that the congruence ax = b mod(111) [a ¹ 0 mod(111)]. The congruence always has a unique solution x that is an element in the group, when a and b are given. (7) Under the above rules, the field of binary numbers is closed with respect to the operations of addition and multiplication. The concept of closure is the first rule of group theory. We now review these powerful notions of a group and the rules of the group's operations. 3. THE "ERLANGER PROGRAMM," HYPERCOMPLEX NUMBERS, AND GROUP THEORY. In 1872, Klein first published his essay "Vergleichende Betrachtungen uber neuere geometrische Forschungen" ("Comparing Viewpoints about new geometric Researches"). This pamphlet was published in connection with his appointment to a chair at Erlangen. As a result, the work became known as "The Erlanger Programm." With it, one may classify a geometry by distinguishing its respective transformation group. (8) The transformation group G_{f}'8XG_{f}8 is distinguished by elements that are leftright invariant over an additive and multiplicative field. Figure 3.1 is a mirror symmetric image of G_{f}64, with the tetrahedral groups, G_{f}'8 and G_{f}8 highlighted. Figure 3.1 The axioms of group theory allow an incident geometry to be defined by physical objects (the regular polytopes) by mapping them to the dual surfaces of a hypercomplex sphere. These axioms also provide the rules and the operations for the group algebra. In the axiomatic geometry that follows, we take points and lines as our fundamental objects. Incidence is the fundamental relation they share, such as M lies on the line L, or L passes through M. (9) What is a hypercomplex sphere? It is a sphere which accommodates simultaneous mapping of interrelated systems of coordinates. The hypercomplex Sphere is defined by G_{f}8 over the outside surface of a threesphere. A point on this surface is defined by three parameters. Augmented with its inside surface G_{f}'8, which is also a threesphere, a membrane paradigm model defines a sixdimensional hypercomplex sphere. In this analysis, the multiplicative field, which is defined upon these two normalized and unitary surfaces, does not contain a zero point. When these two sixdimensional fields are combined and mapped to the outside surface, a cubic twelvedimensional hexahedron is created on the surface of a hypercomplex sphere. Figure 3.2 illustrates this hypercomplex hexahedron. The twelve vectors, from the center of the sphere to the midpoints of the tessellated edges of the cube, represent these twelve dimensions. Figure 3.2 Hypercomplex numbers result from an extension of the idea of complex numbers, modeled as points in a plane, to the idea of hypercomplex numbers, modeled as points over a spherical surface. Last century, after the invention in 1843 of the quaternion by Hamilton, this area of mathematics became an active field of research. (10,11) Hypercomplex numbers, as defined by Hamilton, were normalized to a unitary sphere. However, his system only defined the lefthanded space. Maxwell and Tait were advocates of Hamilton's quaternion and demonstrated its representation over a righthanded space. (12) This geometry is constructed with the axioms of group theory over a discrete point field that combines these two spaces and uncovers two additional spaces. A group is a set of elements for which an operation is defined by the following four axioms: A1 CLOSURE. For every element a, b, in the group G, the result of ab is also in the group G. A2 ASSOCIATIVELY. For all a, b, c, in G, (ab)c = a(bc). A3 IDENTITY ELEMENT. For every a in
G, there exists some element I, such
that A4 INVERSE ELEMENT. For every a in
G, there exists an element a^{1}, such
that The problem of determining the possible arrangements of the regular polytopes projected on the surface of a sphere is purely geometrical. These objects are considered as arrangements of points and such an arrangement as a regular system of points. A regular system of points is defined by three properties: DEFINITION 3.1. A regular system of points in space is to contain infinitely many points, and the number of points of the system contained inside a sphere is to go to infinity as the cube of the radius. DEFINITION 3.2. Any finite region of a regular system of points is to contain only a finite number of points. DEFINITION 3.3. There exists a symmetry operation for each point of a regular system of points, such that any point may be moved to coincide with any other point, leaving the point field invariant. (14) The first two defining properties are clear without any further explanation. The third may be elaborated upon to insure the proper understanding. An observer situated at some particular point of the system cannot determine, by performing some measurements, at which point of the system he is positioned. The reason for this phenomenon is the position of every point, relative to any other point, is the same. To bring any point of the system into coincidence with any other point of the system, there exists a motion through space, such that every position occupied by a point of the system before the motion is also occupied by a point of the system after the motion. This type of motion leaves the point system unchanged, or what is known as invariant. The movement is called a symmetry transformation and all such movements form a transformation group. (15) Using a theorem of extension, we construct a point field that unites the conventional lefthanded and righthanded orthogonal fields over a single hypercomplex field. 4. THEOREMS FOR EXTENSION FIELDS. The following theorems provide the building blocks for our finite point fields, as defined by the above definitions and later for defining geodesic lines. THEOREM 4.1. The Hypercomplex sphere G_{f}'P^{n}XG_{f}P^{n} , on whose surfaces an incident geometry is defined, is determined over the sphere's finite point field by the following condition: G_{f}'P^{n}XG_{f}P^{n} = [x e G_{f}'P^{n}XG_{f}P^{n} ]  x^{2} = I. With the surfaces of the hypercomplex sphere being the locus of all points, the distance I of 60 degrees, from a given central point. (16) COROLLARY 4.2. A great circle of 360 degrees is the locus of all points, the distance I of 60 degrees, from a given central point, and coplanar with a hyperplane incident to the given central point. The result of any element multiplied by itself, being equal to the identity element, I, is a remarkable fact of this geometry. The algebraic formula defines a sphere encompassing space. A great circle is defined by any hyperplane that is incident with the sphere's center. COROLLARY 4.3. Two points that are separated by an arc of 90 degrees are perpendicular points. Two unit vectors from the given central point to these points are perpendicular vectors. This theorem and its related corollaries establish the ground work for the idea of extension, the basis for a geodesic line, and a representation for its metric. We build the first point field from the midpoints of a tetrahedron's edges and its complex of six unitary, orthogonal vectors that are defined by the group Z_{2},Z_{2},Z_{2}. THEOREM 4.4. Let u_{0}, u_{1}, u_{2},...,u_{n1} or X_{0}, X_{1}, X_{2},...,X_{n1}be a set of unitary, orthogonal Tetrahedralvectors, represented by a diagonal matrix, of the Abelian group Z_{2},Z_{2},Z_{2}, or G_{f}8. These Tvectors define the six midpoints of the tetrahedron's edges. The matrix represents an orientation with respect to I, an observer. The observer is introduced and represented by the identity element, I, and its conjugate, I, which defines an axis of orientation for the observer. The identity element also defines an absolute direction for up, upon which all observers must agree. Furthermore, let each matrix represent a permutation of this set of six orthogonal Tvectors, which may be thought of as rays emanating from the center of the tetrahedron, passing through the midpoints of the edges, and tracing the midpoints' projection upon the surface of a hypercomplex sphere. Therefore, this group of elements, Z_{2},Z_{2},Z_{2}, has the capability of being extended to G_{f}'P^{n}XG_{f}P^{n} , and having the form Z_{2},...,Z_{n}, where Z_{2 }= ±1 and p = 2, by the action of multiplication and/or addition. Figure 4.1 illustrates these concepts of a spherical tetrahedron presented by theorem 4.4.
Figure 4.1
Next, we introduce an axiom related to the identity that we introduced in the above theorem. A5 THE CONJUGATE IDENTITY ELEMENT. Conjugate points are defined as two diametrically opposite points on a sphere, separated by 180 degrees, and when they are multiplied together they determine a unique conjugate identity element, I, [for P^{6}, I = (1,1,1,1,1,1)]. This element has the ability to generate one of three 32element homomorphs, HA u HC, of G_{f}64. The products, which results from multiplying I with the elements of the alternate group, HA, form a homomorphic group, HC, which geometrically represents the side of an object the observer is unable to see, (refer to Figure 5.2 below). DEFINITION 4.5. When H and
G are groups, a homomorphism of
H into G is a function, such
that (h_{1},h_{2 })f Þ h_{1}f,h_{2}f Þ g_{1}f,g_{2}f Þ (g_{1},g_{2 })f. (4.6) The kernel of f is the set of all h e H, such that (h)f is the identity, I, in G. (17) DEFINITION 4.7. Let f be a homomorphism of H into G. If f is one to one, then f is called an isomorphism of H into G. If, in addition, (H)f = G, then f is called an isomorphism of H onto G or an isomorphism between H and G, and, in this case, only H and G are called isomorphic groups, such that (h_{1},h_{2 })f Û h_{1}f,h_{2}f Û g_{1}f,g_{2}f Û (g_{1},g_{2 })f. (4.8) Isomorphic groups define a transformation in both directions, or what is known as a bijection. (18) DEFINITION 4.9. Let HA be the alternate group with the identity element, I, and elements that are distinguished by having positive bits in bit positions n, such that n = 2,5,8,... of its array; for example P^{6} is (0,1,2,3,4,5). If (HA)f = HA, then f is called an identical isomorphism, or an automorphism, which maps each element to itself.(19) We take the positive z axis as the position of the observer's viewpoint. The array (+i,+j,+k,+x,+y,+z) represents each axis and the positive k axis represents the observer's viewpoint in the mirror. The proofs to the above theorems and axioms will follow after we introduce our chiral matrix groups and a theorem that includes the observer in the algebra. 5. CHIRAL ISOMORPHISM AND DUAL TETRAHEDRAL GROUPS. In nature there exist objects which, in all respects are identical, except for their spatial orientations. This chiral property is known as handedness, and the difference between a person's two hands best represents this concept. An isomorphism is a one to one correspondence between elements in two different groups. We create a new group by making the substitution of +1 for zero and 1 for one in the group example (given in section 2), which is isomorphic to the former group. This results in the group G_{f}8 with the following elements: (20,21) u_{0} = (+1,+1,+1); u_{1} =
(+1,+1,1); u_{2} = (+1,1,+1); u_{3} =
(+1,1,1), In this new group, the properties of the elements have changed. We define the arrays as the main diagonal of a 3X3 matrix, representing the trace, and having the following law of multiplication with the asterisk indicating the multiplication: (a_{1},a_{2},a_{3})*(b_{1},b_{2},b_{3}) = (a_{1}b_{1},a_{2}b_{2}.a_{3}b_{3}) = (c_{1},c_{2},c_{3}). (5.1) From the relationships u_{o}u_{i }= u_{i}u_{o} = u_{i}; u_{i}u_{i }= u_{o}; u_{i}/u_{i }= u_{o}; u_{i}/u_{0 }= u_{i}; it follows that, in this group, u_{o} has the multiplicative property of the identity, I. With this choice of notation, zero is excluded from the multiplicative field in a natural way. The most interesting properties are that division by any element is the same as multiplication by that element and the product of any element squared is the identity, I. This group has the additional advantage of not requiring a reduction modulo P^{n}. The unique properties are the result of the normalization to a unitary hypercomplex sphere. The group is Abelian that has an order P^{n}, and type (Z_{2},..,Z_{2}), where Z_{2 }= ±1, P = 2, and n = 3. When the elements are assigned to the midpoints of the edges of a spherical tetrahedron, they provide a discrete, orthogonal, rotational group. In addition to the six edges, the identity, I, and its conjugate, I, define an axis for the observer. The orientation of the tetrahedron is therefore related to the observer's axis. With this tetrahedron defined over a righthanded system of coordinates and then using a mirror as a tool of inversion, a dual space is created over a lefthanded system of coordinates. This is illustrated in Figure 5.1, with both a traditional tetrahedron, marked with numbers, and a spherical one, marked with matrices. Figure 5.1 The dual space of the lefthanded tetrahedron is isomorphic to the righthanded space. In the space of the lefthanded tetrahedron, the matrices are those of the secondary diagonals, which may be converted into a main diagonal by exchanging the first and last columns. In all cases, this action produces negative matrices and, when they are converted back to binary numbers, we obtain the negative number field module P^{n}. When the two groups are multiplied and/or added together, the two groups become the combined group G_{f}'8XG_{f}8, which has the form (Z_{2},Z_{2},Z_{2} + Z_{2},Z_{2},Z_{2}). The group is Abelian, of order P^{n}, and has the form (Z_{2},..,Z_{2}), where Z_{2 }= ±1, P = 2, and n = 6. The first example of extension given by theorem 4.4 is demonstrated by the group G_{f}'8XG_{f}8 or the new group G_{f}64. The elements of the mirror image do not form a group. However, they do form a semigroup. When the complex conjugate identity operator (1,1,1,+1,+1,+1) is included in the algebraic law of multiplication, the group properties return to the mirrored elements. We therefore introduce the following axioms and related theorem: A6 THE COMPLEX CONJUGATE IDENTITY ELEMENT. A unique complex conjugate identity element, CI, [for P^{6} CI = (1,1,1,+1,+1,+1)], defines, for any given point, a mirrored point, which is perpendicular to the given point. The complex conjugate semigroup's unique identity operator has the property of creating one of three 32element homomorphs, HA u HD of G_{f}64. The products, which result from multiplying CI with the elements of the alternate group, HA, form a homomorphic group, HD, which geometrically represents the mirror image of the object, and the side of the object the observer in the mirror is able to see. A7 THE COMPLEX IDENTITY ELEMENT. A unique
complex identity element, CI,
We now state the following theorem, which includes the observer in the algebra. The identity operators are given in the abbreviated form (++++++), where the unitary state (+1,+1,+1,+1,+1,+1) is understood. THEOREM 5.2. (a) When the alternate group, HA(++++++), is in composition with its complex semigroup, HB(+++  ), its conjugate semigroup, HC(     ), and its complex conjugate semigroup, HD(  +++), (with the subgroups identity operators given in the parenthesis), they form the triply transitive homomorphic 32element subgroups of G_{f}64, HA u HB, HA u HC, and HA u HD, (refer to Figure 5.2 below). (b) The elements of the group HA and these semigroups obey axiom A1, and the rest of the group properties, when their identity operators are included in the law of multiplication. (c) Each transformation of these semigroups into a group forms a homomorphism and a bijective isomorphism with the alternate group, HA. (d) The kernel identity
subgroup of G_{f}64, is HA
= (++++++), HB = (+++
 ), HC = (     ),
and (e) And there exists three additional transitive
homomorphic 32element subgroups of
G_{f}64,
Figure 5.2 (RETURN) We prove theorem 5.2 in section 7, where we demonstrate the relationships of the identity operators with the two observers. First, we prove theorem 4.4, which is similar to the theorems of Lagrange and Galois.(23) The theorem provides the method for the algebraic extension of the field. The six additional vectors, determined by the mirror image of the first tetrahedron, are considered to originate from their common point of incidence, (the center) and to terminate at the projections of the edges' midpoints on the inside of the surface. The complex conjugate identity operator's axis (in the mirror) is perpendicular to the identity operator's axis. This completes the definition of the appended field of hypercomplex numbers, which is based on the fields of dual tetrahedrons (the dual in the mirror and the original). The group +Z_{2},+Z_{2},+Z_{2} is equal to the set of trace elements of the main diagonal. The trace elements of the mirror image, which is the secondary diagonal, is transformed using matrix algebra into a main diagonal, Z_{2},Z_{2},Z_{2}, and appended with the original trace elements by addition, (Z_{2},Z_{2},Z_{2})+(+Z_{2},+Z_{2},+Z_{2}). This follows from Weyl's treatment of the transformation of the principal axis. Proof of theorem 4.4: Following Weyl's treatment of the transformation of the principal axis, our proof uses the method of mathematical induction over the familiar vector field. We seek a normal coordinate system e_{i},_{ }such that in addition to r = x_{1}e_{1} + x_{2}e_{2} + ... + x_{n}e_{n} r^{2} = x^{2}_{1}e^{2}_{1} + x^{2}_{2}e^{2}_{2} + ... + x^{2}_{n}e^{2}_{n} (5.2) we also have A(r) = a_{1 }x^{2}_{1}e^{2}_{1} + a_{2}x^{2}_{2}e^{2}_{2} + ... + a_{n}x^{2}_{n}e^{2}_{n}. (5.3) That is, A will be brought into normal form 5.3 by means of a multiplicative unitary transformation. An invariant correspondence of the field upon itself is also referred to as a rotation or transformation of the principal axes. The real numbers a_{1}, a_{2},... , a_{n} are called the characteristic numbers of the form A, and e_{1}, e_{2},...,e_{n} are the corresponding characteristic vectors. (24) We consider the correspondence r  r'= Ar and seek those vectors r ¹ 0, which are transformed into multiples r' = l r of themselves by A. We thus obtain the well known "secular equation" (25) f( l ) = det( l 1  A) = 0, (5.4) for the multipliers l. According to the fundamental theorem of algebra, this equation certainly has a root l = a_{1}, and there exists a non vanishing vector r = e_{1}, which satisfies the equation Ae_{1} = a_{1 }e_{1}. On multiplying this vector by an appropriate numerical factor so chosen, such that its modulus is unity. Then, e_{1} may be supplemented by n  1 further vectors, e_{2 ,}e_{3} ,..., e_{n}, in such a manner that these n vectors then constitute a normal coordinate system. In these coordinates, the formula e_{i}' = Ae_{i} = S _{k }a_{ki}e_{k} (5.5) for the correspondence A requires, in accordance with the definition on e_{1}, that the following coefficients a_{21},a_{31},...,a_{n1} must vanish and a_{11} = a_{1}, and because of the symmetry conditions a_{ki} = a_{ik}, the coefficients a_{12},a_{13},...,a_{1n} must also vanish. Hence, in the new coordinates, the matrix A takes the form and the modified hermitic form becomes A(r) = a_{1}x^{2}_{1} + A'(r), (5.6) where A' is the modified form containing only the n  1 variables x_{2,}x_{3},...,x_{n}. Repeating this process, we establish the validity of theorem 4.4. The characteristic polynomial of equation 4.3 is det( l 1  A) = ( l  a_{1})( l  a_{2})...( l  a_{n}). (5.7) Thus it follows that the characteristic numbers, a_{1},a _{2},...,a_{n}, are uniquely determined, and their sum is the trace of A. (26) Since these fields are discrete, we may again verify theorem 4.4 with a computer program that uses an algorithm to examine each possible permutation of P^{n}, which has the form Z_{2},...,Z_{n}, where Z_{2} = ±1, P = 2, and n = 3, 6, 12. Using this notation, we are able to demonstrate that the symmetric group of six variables is solvable, when they are transformed, first into triplets, and then sextuplets. (27) The following axiom now includes the commutative law of multiplication for these Abelian groups. A8 COMMUTATIVE. For every element a,
b,... in the group G, the products of any two
elements, The algorithm verifies that all the axioms and the theorems are valid within these groups and various subgroups. First, each element is multiplied by itself to verify theorem 4.1. Next, each element pair a,b of the groups, G_{f}8, G_{f}64, and G_{f}4096, are multiplied together to check that the result ab and ba are equal, and are also in these groups. This proves axioms A1 and A8. Continuing in this manner, the axioms, A2, A3, A4, A5, A6, and A7, are also verified for these groups and semigroups, thus proving these axioms. Again, using the result ab as a pole point, P, the algorithm finds the subset of all the orthogonal point pairs over the hypercomplex field, which are perpendicular to each other and form the group G_{f}'64XG_{f}64. The property of points being perpendicular is very important because we define the property of handedness with three perpendicular base vectors. Two of these perpendicular vectors are identified, and their product defines a third perpendicular vector, the pole point, P. This orthogonal vector triplet forms the complex that models handedness. With this vector triplet, a geodesic line is also defined. By evaluating specific bits in the pole's array, (0,1,2,3,4,5), the direction of the geodesic line is determined by the sense of its pole. When the product is negative, a counterclockwise rotation is determined, which models lefthandedness. When the product of bits two and five are positive, a clockwise rotation is determined, which models righthandedness. From the theorems of extension, we develop the ideas to define the points, the geodesic lines, and an incident geometry over the inside and the outside surfaces of a hypercomplex sphere. We now define a geodesic line, which is constructed from the subgroup of perpendicular point pairs, over the hypercomplex number field G_{f}'64XG_{f}64. 6. THE GEODESIC LINE. A single point, P, on a spherical surface breaks the perfect symmetry of the sphere and determines a unique great circle. All of the points on this great circle are 90 degrees from the point P. A unit vector from the center of the sphere to this point is perpendicular to the plane of the great circle. The point is known as a pole point of the great circle, and it also determines another point diametrically opposite, its conjugate, P. Together the poles determine an axis of rotation, and a unique, equatorial plane through the center of the hypercomplex sphere. This plane determines a unique great circle, as illustrated in Figure 6.1. (29) Figure 6.1 Each point on the hypercomplex sphere determines a unique plane. In space, the point and the plane are dual elements.(30) The following theorem defines geodesic lines with respect to their pole (the point) and to their great circle (the plane). The point and plane duality here provide the basis for the creation of a geodesic line on a hypercomplex sphere. THEOREM 6.1. Let a geodesic line L exist, such that L is equal to one half of a great circle, and is represented uniquely by its pole, P, its midpoint point, M, and its terminal point, T. When M, T, P are orthogonal unitary base vectors, which define perpendicular points on a surface of the hypercomplex sphere and the asterisk indicates multiplication, then L = [ M,T,P e Gf'PnXGfPn]  (M*T) = P is called the geodesic line L with pole P; L is the pole geodesic line of P, such that P*(M*T) = P*(P) = P^{2} = I. (30) We consider the metric, Y = (±Pi/2) M*T, of the real variable M*T, as a function defining a geodesic line of 180 degrees, or Pi, incident to a great circle of 360 degrees. These concepts of an incident geometry are illustrated by the geodesic lines in Figure 6.2 that shows their handedness by defining a unique direction. Figure 6.2 We have met this construction before in vector analysis. It is similar to the cross product. Additional geodesic lines exist, which have special relationships of incidence with the first geodesic line defined, such as the geodesic line in figure 6.2 that is in the mirror. However, their definitions must wait for a future paper that reconstructs all the regular polytopes and proves theorem 6.1. (31) Now, the role of the observer is elaborated upon in order to help clarify the proof of theorem 5.2, which is presented next. 7. THE OBSERVER. Previously we demonstrated that the mirror image forms a semigroup, requiring its identity operator to be included in the algebra. The observer was introduced and defined with the identity operator, (++++++), again shown in its abbreviated form. The observer may change orientation with respect to an object. For example, one may move around behind the object, which is a change of 180 degrees. Therefore, the observer's operator changes to its conjugate, (     ). When the observer's operator, defining the observer's orientation, is included in the law of multiplication, the result is a description of the object as seen by the observer. With this idea in mind, the algebra is a natural consequence of the observers' viewpoint. The mirror image is defined on the inside of the hypercomplex sphere. An observer defined on the outside cannot see this tetrahedron. Therefore, the complex conjugate identity operator, (  +++), defines the observer on the inside of the hypercomplex sphere. In this manner, the lefthanded field is specified and all rotations of the lefthanded tetrahedron may be determined without the multiplication changing its field. Three negative numbers multiplied together obviously results in a negative number. In other analysis, the concept of absolute value is introduced to restrict the results to the positive field, but unlike other analysis, the choice of which field the observer is in determines the correct value in this analysis. Theorem 4.4 and Theorem 5.2 physically place an observer into the mathematics by defining an orientation of an object from the observer's perspective. In the proof of Theorem 5.2, we start with provisions b, c, d, and then the final provision e is proved together with a. Proof of Theorem 5.2, provision (b). The elements of the group HA and these semigroups obey axiom A1, and the rest of the group properties, when their identity operators are included in the law of multiplication. We prove this provision by demonstrating the existence of f, as defined by definition 4.5, for each of the four cases where f is respectfully one of the four identity operators, HA = (++++++), HB = (+++  ), HC = (     ), and HD = (  +++). These equations are valid as expressed by equation 4.6, (h_{1},h_{2 })f Þ h_{1}f,h_{2}f Þ g_{1}f,g_{2}f Þ (g_{1},g_{2 })f. when, we make the substitutions, in turn, for
h_{1},h_{2} e
H, using the elements of the alternate
group, Proof of provision (c). Each transformation of these semigroups into a group forms a homomorphism and a bijective isomorphism with the alternate group HA. The proof follows directly from definition 4.7 and equation 4.8, (h_{1},h_{2 })f Û h_{1}f,h_{2}f Û g_{1}f,g_{2}f Û (g_{1},g_{2 })f, after we make the substitution, a_{1},a_{2}
e HA for G and then
make the next substitutions, in turn, for H,
a_{1},a_{2} e HA,
b_{1},b_{2} e HB,
c_{1},c_{2} e HC, and
d_{1},d_{2} e
HD. The resulting four equations are valid, when the
multiplication by f is replaced,
in turn, by the corresponding identity
element, Proof of provision (d). The kernel identity subgroup of G_{f}64 is HA = (++++++), HB = (+++  ), HC = (     ), and HD = (  +++), the four identity operators, and when they are in composition with the alternate group, HA, they regenerate G_{f}64. We note (HA)f = G, such that HA(++++++) u HA(+++  ) u HA(     ) u HA(  +++) = G_{f}64, is valid by provision (c), just proved, and the laws of multiplication and/or addition provided by the laws of finite fields. We prove the first and last provisions together, with an understanding of the meaning of a transitive group or subgroup. A transitive group has the property of possessing an element, which replaces any given element by any other given element. (32) Axiom A1 provides closure and the meaning for relating the elements of a transitive group. Now using the provisions proved above. we demonstrate the existence of, such that (a) (HA u HB)f u (HA u HC)f u (HA u HD)f Û G_{f}64f and (e) (HC u HB) f u (HD u HB)f u (HC u HD)f Û G_{f}64f. In the case of (a), f is the identity, (++++++), and in the case of (e), f is the complex conjugate identity, (  +++), the mirror image inversion generator, i.e.; if (a) and (  +++) are multiplied together, the result is (e), and (e)*(  +++) = (a), which is all that is required to finish the proof of the theorem. Being triply transitive under addition regenerates the group, as both (a) and (e) indicate. Statements (a) and (e) are valid as a bijective isomorphism, with transformations being one to one in both directions. Both (a) and (e) are again valid, when f is equal to the conjugates, (     ) and (+++  ) respectfully. For P^{6}, the order of transitivity is six, as just proved. These groups are important in the definition of geodesic lines, which are then used to reconstruct the regular polytopes in a field of hypercomplex numbers, where they are all mapped to the outside surface of the hypercomplex sphere. A new extended field is constructed in this manner by the addition of the lefthanded array, which is sixdimensional, and the righthanded array, which is also sixdimensional. Both are then mapped to the outside surface, resulting in a twelvedimensional array that unifies chirality and invariance over a single surface of the unitary hypercomplex sphere. The following process of extension G_{f}'64XG_{f}64 ÞG_{f}(64+64) ÞG_{f} 128 is the field of geodesic lines, and in this process two additional
fields are generated. When extended by addition, we consider a field of
double numbers (P,Q) with the coma indicating addition. We determine if P
or Q is real or imaginary by evaluating specific bits in their array,
[(0,1,2,3,4,5),(0,1,2,3,4,5)].
If the products of bits 2 and 5 are
positive, the element is considered real and, if the products are
negative, the element is considered imaginary. We define a finite
quaternionic field by its four subfields of hypercomplex
numbers; (real, real) on the outside surface;
(imaginary, real) on the outside surface; (real,
imaginary) on the inside surface; and (imaginary,
imaginary) on the inside surface. Hypercomplex numbers represent
all four of these possible subfields modeled over a hypercomplex sphere,
with the two additional fields mapped to the inside surface. The complex
numbers only represent the fields of (real, imaginary), real, or imaginary
modeled over the Euclidean plain. The variations of subfields (P,Q) are
all defined as subgroups of the Abelian group
G_{f}'64XG_{f}64 of order p^{n},
and type (Z_{2},..,Z_{2}), where
Z_{2 }= ±1, 8. CONCLUSIONS AND QUESTIONS. The use of the identity element to introduce an observer into the mathematical structure of this analysis is the most important aspect of the paper. Half of the axioms introduced, A3, A5, A6, and A7, all state a geometric interpretation for an observer's viewpoint of an object and express this viewpoint in an algebraic fashion. Theorem 5.2 provides the basis to map the point field of G_{f}'64XG_{f}64 to the two surfaces of the hypercomplex sphere and gives validity to the algebra. The mathematics is significant because it is able to keep track of an object's orientation and the orientation of the observer viewing the object. The object's final orientation, as seen from the viewpoint of the observer, is described by the algebra after moving the object, the observer, or both. We accomplished the goal of constructing a cube, G_{f}'8XG_{f}8, geometrically and algebraically with a pair of chiral tetrahedrons over a hypercomplex spherical surface. By the combination of simple geometric forms, which create higher forms, the remaining polytopes may be constructed geometrically in a similar fashion. Using the ideas of a field and a group, these polytopes are constructed algebraically by the addition of various subgroups of G_{f}64. We now note that the group G_{f}64 is the master group of the regular polytopes. When the group is extended by multiplication, G_{f}'64XG_{f}64 defines geodesic lines. Sets of these geodesic lines are then used to reconstruct these polytopes on the same surface. The group of 64 hypercomplex numbers defines dual orthogonal subgroups. When these subgroups are mapped to a spherical tessellation of an icosahedron, 32 of these numbers are found on each side of the membrane. Thirty are found at the midpoints of the tessellated edges and two additional pole points define the observer's axis. The theorem of Lagrange is considered as a theorem of composition, and an Abelian group has this property, as we have just shown. The group G_{f}64 possesses this property and the property of decomposition. Various subgroups, into which G_{f}64 decomposes, are used to define the platonic solids. The first question is: What are these subgroups, including their identity operators? Define the righthanded tetrahedra, (there are five) the octahedra, (there are five) and the icosahedron on the outside surface. Then define the dual for each of the above polytopes on the inside surface of the hypercomplex sphere. A more difficult question is: How are all the perpendicular point pairs, (there are 128 pairs) determined from the 4096 possible permutations? The final question is: How are sets of these 128 geodesic lines defined in order to reconstruct the regular polytopes over the field of points, which are defined by the group G_{f}'64XG_{f}64 on the outside surface of the hypercomplex sphere? We present the questions as a challenge, too again stimulate research into hypercomplex numbers. The correct answer to these questions should follow the format presented in this paper. For example, T_{1}
(++++++)[(++++++),(++++),(++++),( + +),
In addition, there are four more tetrahedrons, T_{2}, T_{3}, T_{4}, and T_{5}.
T'_{1}(
 +++)[(  +++),(+  ++),(+++),(++  +),
In addition. there are four more tetrahedrons, T'_{2}, T'_{3}, T'_{4}, and T'_{5}. When H stands for the hexahedron or cube, we have H_{1} ( 
+++)[(++++++),(++++),(++++),(++),
In addition, there are four more hexahedra, H_{2}, H_{3}, H_{4}, and H_{5}. When O stands for the octahedron, we have O_{1} .... In addition, there are four more hexahedrons, H_{2}, H_{3}, H_{4}, and H_{5}. When O stands for the octahedron, we have ... 9. ACKNOWLEDGMENTS. I would like to thank Earl Halverson, of Billings, Montana, who taught complex numbers, by having the class imagine the existence of the imaginary axis on the backside of the blackboard. I thank Richard Crandall, at Reed College, Portland, Oregon, for his time, patience, and critical review, which turned my work into understandable articles. I thank Chris Radcliffe, the coauthor of Appendix A, and Michael Ryals for their helpful suggestions. Finally, I thank Welcome Lindsey for her applied expertise in technical writing. REFERENCES 1. A. Einstein, The Meaning Of Relativity, Dover Publications, Inc., New York, 1922, 10. 2. C. Reid, Hilbert, SpringerVerlag, New York, 1970, 247252. 3. D. Hilbert, Collected Papers, International Mathematical Congress, 1893; vol. 2, item 23. 4. R. Carmichael, Introduction to the Theory of Groups of Finite Order, Dover Publications, Inc., New York, 1937, 242261. 5. Ibid. 6. Ibid. 7. Ibid. 8. D. Rowe, Klein, Lie, and the "Erlanger Programm", 18301930 A Century of Geometry, L. Boi, D. Flament, & J. Salanskis (Eds.), SpringerVerlag, New York, 1992, 4362. 9. P. J. Ryan, Euclidean And NonEuclidian Geometry, An Analytical Approach, Cambridge University Press, New York, 1986, 12. 10. M. J. Crowe, A History Of Vector Analysis, Dover Publications, Inc., New York, 1967. 11. L. Boi, D. Flament, & J. Salanskis (Eds.), 18301930 A Century of Geometry, SpringerVerlag, New York, 1992. 12. Op. cit., Crowe, 155. 13. F. M. Falicov, Group Theory and Its Physical Applications, Univ. Chicago Press, Chicago, Midway Reprint, 1989, 119. 14. D. Hilbert and S.CohnVossen, Geometry And The Imagination, (Chelsea Pub. Co., New York, 1983), 193. 15. Ibid. 16. Op. cit., Ryan, 84123. 17. P. Yale, Geometry and Symmetry, Dover Publications, Inc., New York, 1968, 135. 18. Ibid. 19. Ibid. 20. S. Wagon, The BanachTarski Paradox, Cambridge University Press, New York, 1993, 1595. 21. Op. cit., Yale, 56. 22. Op. cit., Carmichael, 138158. This theorem is not stated in this reference, but as elsewhere in my work, I have used the ideas of others, modified to this paper's needs. 23. I. M. Yaglom, Felix Klein And Sophus Lie, Birkhauser, Boston, 1988, 1321. 24. H. Weyl, The Theory of Groups and Quantum Mechanics, New York, Dover Publications, Inc., 1950, 140. 25. Ibid. 26. Ibid. 27. Appendix A, computer program. 28. Op. cit., Falicov. 29. Op. cit., Ryan, 84123. 30. Ibid. 31. ... 32. Op. cit., Carmichael, 54.

