DOCSLIB.ORG

Quaternions and the Four-Square Theorem

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Quaternions and the Four-Square Theorem Quaternions and the four-square theorem Background on Hamilton's Quaternions We have the complex numbers C = fa + bi : a; b 2 Rg an their integral analogue, Z[i] = fa + bi : a; b 2 Rg; the Gaussian integers, and we can draw a subring diagram accordingly. C R Z[i] Z A higher dimensional, but analogous, scenario was discovered by the Irish mathematician Wm. Rowan Hamilton in 1843 whilst crossing Dublin's Broom Bridge on his way into town. Definition 1. The Hamilton Quaternions are given by H = fa + bi + cj + dk : a; b; c; d 2 Rg where i2 = j2 = k2 = −1 ij = k = −ji jk = i = −kj ki = j = −ik; and they are a ring. We would like these to have have an integer analogue, and one possibility is Z[i; j; k] = fa + bi + cj + dk : a; b; c; d 2 Zg: Note that sum, difference, or product of things in Z[i; j; k] return things in Z[i; j; k]. We could extend our subring lattice accordingly. H C R Z[i; j; k] Z[i] Z 1 Examples: We have 1 + i + j + k 2 Z[i; j; k] and clearly the sum (1 + i + j + k) + (1 + i + j + k) = 2 + 2i + 2j + 2k; and difference (1 + i + j + k) − (1 + i + j + k) = 0; are in Z[i; j; k], but a bit more work shows the product (1 + i + j + k)(1 + i + j + k) = 1 + i + j + k + i − 1 + ij + ik + j + ji − 1 + jk + k + ki + kj − 1 = −2 + 2i + 2j + 2k is also in Z[i; j; k]. So from our theorem yesterday, we know Z[i; j; k] is a subring of H. The point 1 + i + j + k can be thought of as the point one \unit out" in each dimension in 4 R . We can't visualize fully this (damn human brains), but it might help to think about it in three dimensions. Recall, the distance of point a + bi + cj + dk from the origin is just p p (a − 0)2 + (b − 0)2 + (c − 0)2 + (d − 0)2 = a2 + b2 + c2 + d2: Definition 2. We define a norm on Z[i; j; k] by norm(a + bi + cj + dk) = a2 + b2 + c2 + d2; noting that this is just the square of the distance of a point from the origin. This is multiplicative, that is norm(q1q2) = norm(q1)norm(q2) 2 Examples: We can use this norm to determine when a integer in Z[i; j; k] is prime. Since norm(−2 + 2i + 2j + 2k) = 16 we know it can be decomposed. On the other hand, norm(−2 + i + j + k) = 7; and so it can't be decomposed. More generally, for β 2 Z[i; j; k], we have • For q1; q2 2 Z[i; j; k], we have norm(βq1 − βq2) = norm(β(q1 − q2)) = norm(β)norm(q1 − q2) • This means multiplying Z[i; j; k] by β has the effect of stretching every distance by a factor of norm(β) (note, this is a real number value). • This also means all angles are unchanged. So in particular, βi; βj; βk are all still perpendicular, and just shifted away from the origin. • This means multiplication by β sends a \cube" in Z[i; j; k] gets sent to a \cube" in Z[i; j; k], possibly just stretching out the sides and rotating. 3 Division in the quaternions To begin, we recall the division algorithm in the integers. We would like something similar to exist in the quaternions. The Division Algorithm. For any a; b 2 Z there exists unique integers r and q with 0 ≤ r < b such that a = bq + r. Suppose α; β 2 Z[i; j; k], and we want to write α = βµ + ρ, where 0 ≤ ρ < β Then we would want to compute the remainder ρ = α − µβ which is the distance from α to the nearest \corner" in the multiplication by β grid. But if α is at the center of a cube, then 1 i j k α = µ + + + + β; 2 2 2 2 which may still be an element of Z[i; j; k]. And consequently, 1 i j k 1 1 1 1 norm(α − βµ) = norm β + + + = norm(β) + + + = norm(β): 2 2 2 2 4 4 4 4 Suppose we include all of the \center points" into the grid, this would be achieved by including 1 + i + j + k 2 into the quaternion integers. Definition 3. The most practical integer analogue inside H is the Hurwitz integers which are the set 1 + i + j + k 1 + i + j + k ; i; j; k = fa + b + ci + dj + ek : a; b; c; d; e 2 g: Z 2 2 Z The are a ring, clearly an additive group, and now we know they also have the division algorithm! 4 • An element in here is called a Hurwitz prime if it is not the product of two smaller ring elements. • Note that every Hurwitz integer can be expressed as a+bi+cj+dk where 2a; 2b; 2c; 2d 2 Z. H C h 1+i+j+k i R Z 2 i; j; k Z[i] Z Examples: Primality can still be checked using norms, for example 1 + i + j + k 7 i j k 49 1 1 1 52 norm 3 + = norm + + + = + + + = = 13; 2 2 2 2 2 4 4 4 4 4 so this is a Hurwitz prime! Using the quaternions to prove the four square theorem Definition 4. Any complex number a + bi 2 C has a conjugate a + bi = a − bi; and similarly, any a + bi + cj + dk 2 H has a conjugate a + bi + cj + dk = a − bi − cj − dk: The conjugate satisfies some properties, among them • r = r for r 2 R. • q1q2 = q2 q1. • q1q1 = norm(q1). Theorem 1. If p is an ordinary prime but not a Hurwitz prime then p = a2 + b2 + c2 + d2 where 2a; 2b; 2c; 2d 2 Z. 5 Proof. Suppose that p is an ordinary prime but not a Hurwitz prime, so p has a nontrivial Hurwitz integer factorization p = (a + bi + cj + dk)γ where 2a; 2b; 2c; 2d 2 Z and γ a Hurwitz integer. Then conjugating both sides p = p = (a + bi + cj + dk)γ = γ(a − bi − cj − dk): But now, p2 = pp = (a + bi + cj + dk)γγ(a − bi − cj − dk) = (a + bi + cj + dk)(a + bi + cj + dk)γγ = (a2 + b2 + c2 + d2)γγ: But since p is prime, it must follow that p = a2 + b2 + c2 + d2. Theorem 2. If p is an ordinary prime but not a Hurwitz prime then p = a2 + b2 + c2 + d2 where a; b; c; d 2 Z. Proof. If (a + bi + cj + dk) is a Hurwitz integer, then (a + bi + cj + dk) = ! + a0 + b0i + c0j + d0k where a0; b0; c0; d0 are even integers and ±1 ± i ± j ± k ! = : 2 Notice that norm(!) = 1, so in particular !! = 1. We know p = a2 + b2 + c2 + d2 where a; b; c; d are half integers from Theorem 1. But now p = (a + bi + cj + dk)(a + bi + cj + dk) = (a + bi + cj + dk)(a − bi − cj − dk) = (! + a0 + b0i + c0j + d0k)(! − a0 − b0i − c0j − d0k) = (! + a0 + b0i + c0j + d0k)!!(! − a0 − b0i − c0j − d0k) = (! + a0 + b0i + c0j + d0k)!(! + a0 + b0i + c0j + d0k)! But focus on the first component for a moment, (! + a0 + b0i + c0j + d0k)! = 1 + !(a0 + b0i + c0j + d0k) = A + Bi + Cj + Dk where A; B; C; D 2 Z. But consequently, p = (A + Bi + Cj + Dk)(A + Bi + Cj + Dk) = A2 + B2 + C2 + D2: 6 If every odd prime p is the sum of 4 squares, then our work is done, since a product of a sum of four squares is again a sum of four squares (a2 + b2 + c2 + d2)(e2 + f 2 + g2 + h2) = (l2 + m2 + s2 + t2): This was shown by Euler in 1748. Notice that was 100 years before Hamilton! Lemma 1. If p is an odd prime then there are integers m and l such that p divides 1 + m2 + l2. Proof. Let p = 2n + 1 where n 2 Z. Then for any m; l 2 f1; :::; ng, we have m + l < p and so m2 ≡ l2 mod p ) (m + l)(m − l) ≡ 0 mod p ) m = l: This means there are n + 1 incongruent choices for l2 mod p, and n + 1 incongruent choices of −1 − m2 mod p. But there are only 2n + 1 equivalence classes mod p, so for some choice of m; l we must have l2 ≡ −1 − m2 mod p; in other words, p j 1 + m2 + l2. Theorem 3. Every natural number is the sum of four squares. Proof. Suppose p is an odd prime, so p = 2n+1. Then Lemma 1 (a classical result of Lagrange) shows that p j 1 + l2 + m2 for some integers l and m. This means that p - m and p - l. But 1 + l2 + m2 = (1 + li + mj)(1 − li − mj): But now p must divide (1 + li + mj) or (1 − li − mj). But 1 i j 1 i j + + and − − p p p p p p are both not Hurwitz integers, and hence aren't Hurwitz primes. Therefore p is the sum of 4 squares. Now the claim follows from Euler's identity. 7.
Load more

Recommended publications
  • Arxiv:1001.0240V1 [Math.RA]
    Fundamental representations and algebraic properties of biquaternions or complexified quaternions Stephen J. Sangwine∗ School of Computer Science and Electronic Engineering, University of Essex, Wivenhoe Park, Colchester, CO4 3SQ, United Kingdom. Email: [email protected] Todd A. Ell† 5620 Oak View Court, Savage, MN 55378-4695, USA. Email: [email protected] Nicolas Le Bihan GIPSA-Lab D´epartement Images et Signal 961 Rue de la Houille Blanche, Domaine Universitaire BP 46, 38402 Saint Martin d’H`eres cedex, France. Email: [email protected] October 22, 2018 Abstract The fundamental properties of biquaternions (complexified quaternions) are presented including several different representations, some of them new, and definitions of fundamental operations such as the scalar and vector parts, conjugates, semi-norms, polar forms, and inner and outer products. The notation is consistent throughout, even between representations, providing a clear account of the many ways in which the component parts of a biquaternion may be manipulated algebraically. 1 Introduction It is typical of quaternion formulae that, though they be difficult to find, once found they are immediately verifiable. J. L. Synge (1972) [43, p34] arXiv:1001.0240v1 [math.RA] 1 Jan 2010 The quaternions are relatively well-known but the quaternions with complex components (complexified quaternions, or biquaternions1) are less so. This paper aims to set out the fundamental definitions of biquaternions and some elementary results, which, although elementary, are often not trivial. The emphasis in this paper is on the biquaternions as an applied algebra – that is, a tool for the manipulation ∗This paper was started in 2005 at the Laboratoire des Images et des Signaux (now part of the GIPSA-Lab), Grenoble, France with financial support from the Royal Academy of Engineering of the United Kingdom and the Centre National de la Recherche Scientifique (CNRS).
    [Show full text]
  • Solving Cubic Polynomials
    Solving Cubic Polynomials 1.1 The general solution to the quadratic equation There are four steps to finding the zeroes of a quadratic polynomial. 1. First divide by the leading term, making the polynomial monic. a 2. Then, given x2 + a x + a , substitute x = y − 1 to obtain an equation without the linear term. 1 0 2 (This is the \depressed" equation.) 3. Solve then for y as a square root. (Remember to use both signs of the square root.) a 4. Once this is done, recover x using the fact that x = y − 1 . 2 For example, let's solve 2x2 + 7x − 15 = 0: First, we divide both sides by 2 to create an equation with leading term equal to one: 7 15 x2 + x − = 0: 2 2 a 7 Then replace x by x = y − 1 = y − to obtain: 2 4 169 y2 = 16 Solve for y: 13 13 y = or − 4 4 Then, solving back for x, we have 3 x = or − 5: 2 This method is equivalent to \completing the square" and is the steps taken in developing the much- memorized quadratic formula. For example, if the original equation is our \high school quadratic" ax2 + bx + c = 0 then the first step creates the equation b c x2 + x + = 0: a a b We then write x = y − and obtain, after simplifying, 2a b2 − 4ac y2 − = 0 4a2 so that p b2 − 4ac y = ± 2a and so p b b2 − 4ac x = − ± : 2a 2a 1 The solutions to this quadratic depend heavily on the value of b2 − 4ac.
    [Show full text]
  • Introduction Into Quaternions for Spacecraft Attitude Representation
    Introduction into quaternions for spacecraft attitude representation Dipl. -Ing. Karsten Groÿekatthöfer, Dr. -Ing. Zizung Yoon Technical University of Berlin Department of Astronautics and Aeronautics Berlin, Germany May 31, 2012 Abstract The purpose of this paper is to provide a straight-forward and practical introduction to quaternion operation and calculation for rigid-body attitude representation. Therefore the basic quaternion denition as well as transformation rules and conversion rules to or from other attitude representation parameters are summarized. The quaternion computation rules are supported by practical examples to make each step comprehensible. 1 Introduction Quaternions are widely used as attitude represenation parameter of rigid bodies such as space- crafts. This is due to the fact that quaternion inherently come along with some advantages such as no singularity and computationally less intense compared to other attitude parameters such as Euler angles or a direction cosine matrix. Mainly, quaternions are used to • Parameterize a spacecraft's attitude with respect to reference coordinate system, • Propagate the attitude from one moment to the next by integrating the spacecraft equa- tions of motion, • Perform a coordinate transformation: e.g. calculate a vector in body xed frame from a (by measurement) known vector in inertial frame. However, dierent references use several notations and rules to represent and handle attitude in terms of quaternions, which might be confusing for newcomers [5], [4]. Therefore this article gives a straight-forward and clearly notated introduction into the subject of quaternions for attitude representation. The attitude of a spacecraft is its rotational orientation in space relative to a dened reference coordinate system.
    [Show full text]
  • Hypercomplex Numbers
    Hypercomplex numbers Johanna R¨am¨o Queen Mary, University of London [email protected] We have gradually expanded the set of numbers we use: first from finger counting to the whole set of positive integers, then to positive rationals, ir- rational reals, negatives and finally to complex numbers. It has not always been easy to accept new numbers. Negative numbers were rejected for cen- turies, and complex numbers, the square roots of negative numbers, were considered impossible. Complex numbers behave like ordinary numbers. You can add, subtract, multiply and divide them, and on top of that, do some nice things which you cannot do with real numbers. Complex numbers are now accepted, and have many important applications in mathematics and physics. Scientists could not live without complex numbers. What if we take the next step? What comes after the complex numbers? Is there a bigger set of numbers that has the same nice properties as the real numbers and the complex numbers? The answer is yes. In fact, there are two (and only two) bigger number systems that resemble real and complex numbers, and their discovery has been almost as dramatic as the discovery of complex numbers was. 1 Complex numbers Complex numbers where discovered in the 15th century when Italian math- ematicians tried to find a general solution to the cubic equation x3 + ax2 + bx + c = 0: At that time, mathematicians did not publish their results but kept them secret. They made their living by challenging each other to public contests of 1 problem solving in which the winner got money and fame.
    [Show full text]
  • Split Quaternions and Spacelike Constant Slope Surfaces in Minkowski 3- Space
    Split Quaternions and Spacelike Constant Slope Surfaces in Minkowski 3- Space Murat Babaarslan and Yusuf Yayli Abstract. A spacelike surface in the Minkowski 3-space is called a constant slope surface if its position vector makes a constant angle with the normal at each point on the surface. These surfaces completely classified in [J. Math. Anal. Appl. 385 (1) (2012) 208-220]. In this study, we give some relations between split quaternions and spacelike constant slope surfaces in Minkowski 3-space. We show that spacelike constant slope surfaces can be reparametrized by using rotation matrices corresponding to unit timelike quaternions with the spacelike vector parts and homothetic motions. Subsequently we give some examples to illustrate our main results. Mathematics Subject Classification (2010). Primary 53A05; Secondary 53A17, 53A35. Key words: Spacelike constant slope surface, split quaternion, homothetic motion. 1. Introduction Quaternions were discovered by Sir William Rowan Hamilton as an extension to the complex number in 1843. The most important property of quaternions is that every unit quaternion represents a rotation and this plays a special role in the study of rotations in three- dimensional spaces. Also quaternions are an efficient way understanding many aspects of physics and kinematics. Many physical laws in classical, relativistic and quantum mechanics can be written nicely using them. Today they are used especially in the area of computer vision, computer graphics, animations, aerospace applications, flight simulators, navigation systems and to solve optimization problems involving the estimation of rigid body transformations. Ozdemir and Ergin [9] showed that a unit timelike quaternion represents a rotation in Minkowski 3-space.
    [Show full text]
  • Multidisciplinary Design Project Engineering Dictionary Version 0.0.2
    Multidisciplinary Design Project Engineering Dictionary Version 0.0.2 February 15, 2006 . DRAFT Cambridge-MIT Institute Multidisciplinary Design Project This Dictionary/Glossary of Engineering terms has been compiled to compliment the work developed as part of the Multi-disciplinary Design Project (MDP), which is a programme to develop teaching material and kits to aid the running of mechtronics projects in Universities and Schools. The project is being carried out with support from the Cambridge-MIT Institute undergraduate teaching programe. For more information about the project please visit the MDP website at http://www-mdp.eng.cam.ac.uk or contact Dr. Peter Long Prof. Alex Slocum Cambridge University Engineering Department Massachusetts Institute of Technology Trumpington Street, 77 Massachusetts Ave. Cambridge. Cambridge MA 02139-4307 CB2 1PZ. USA e-mail: [email protected] e-mail: [email protected] tel: +44 (0) 1223 332779 tel: +1 617 253 0012 For information about the CMI initiative please see Cambridge-MIT Institute website :- http://www.cambridge-mit.org CMI CMI, University of Cambridge Massachusetts Institute of Technology 10 Miller’s Yard, 77 Massachusetts Ave. Mill Lane, Cambridge MA 02139-4307 Cambridge. CB2 1RQ. USA tel: +44 (0) 1223 327207 tel. +1 617 253 7732 fax: +44 (0) 1223 765891 fax. +1 617 258 8539 . DRAFT 2 CMI-MDP Programme 1 Introduction This dictionary/glossary has not been developed as a definative work but as a useful reference book for engi- neering students to search when looking for the meaning of a word/phrase. It has been compiled from a number of existing glossaries together with a number of local additions.
    [Show full text]
  • Quaternion Algebra and Calculus
    Quaternion Algebra and Calculus David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA. Created: March 2, 1999 Last Modified: August 18, 2010 Contents 1 Quaternion Algebra 2 2 Relationship of Quaternions to Rotations3 3 Quaternion Calculus 5 4 Spherical Linear Interpolation6 5 Spherical Cubic Interpolation7 6 Spline Interpolation of Quaternions8 1 This document provides a mathematical summary of quaternion algebra and calculus and how they relate to rotations and interpolation of rotations. The ideas are based on the article [1]. 1 Quaternion Algebra A quaternion is given by q = w + xi + yj + zk where w, x, y, and z are real numbers. Define qn = wn + xni + ynj + znk (n = 0; 1). Addition and subtraction of quaternions is defined by q0 ± q1 = (w0 + x0i + y0j + z0k) ± (w1 + x1i + y1j + z1k) (1) = (w0 ± w1) + (x0 ± x1)i + (y0 ± y1)j + (z0 ± z1)k: Multiplication for the primitive elements i, j, and k is defined by i2 = j2 = k2 = −1, ij = −ji = k, jk = −kj = i, and ki = −ik = j. Multiplication of quaternions is defined by q0q1 = (w0 + x0i + y0j + z0k)(w1 + x1i + y1j + z1k) = (w0w1 − x0x1 − y0y1 − z0z1)+ (w0x1 + x0w1 + y0z1 − z0y1)i+ (2) (w0y1 − x0z1 + y0w1 + z0x1)j+ (w0z1 + x0y1 − y0x1 + z0w1)k: Multiplication is not commutative in that the products q0q1 and q1q0 are not necessarily equal.
    [Show full text]
  • 1 Review of Inner Products 2 the Approximation Problem and Its Solution Via Orthogonality
    Approximation in inner product spaces, and Fourier approximation Math 272, Spring 2018 Any typographical or other corrections about these notes are welcome. 1 Review of inner products An inner product space is a vector space V together with a choice of inner product. Recall that an inner product must be bilinear, symmetric, and positive definite. Since it is positive definite, the quantity h~u;~ui is never negative, and is never 0 unless ~v = ~0. Therefore its square root is well-defined; we define the norm of a vector ~u 2 V to be k~uk = ph~u;~ui: Observe that the norm of a vector is a nonnegative number, and the only vector with norm 0 is the zero vector ~0 itself. In an inner product space, we call two vectors ~u;~v orthogonal if h~u;~vi = 0. We will also write ~u ? ~v as a shorthand to mean that ~u;~v are orthogonal. Because an inner product must be bilinear and symmetry, we also obtain the following expression for the squared norm of a sum of two vectors, which is analogous the to law of cosines in plane geometry. k~u + ~vk2 = h~u + ~v; ~u + ~vi = h~u + ~v; ~ui + h~u + ~v;~vi = h~u;~ui + h~v; ~ui + h~u;~vi + h~v;~vi = k~uk2 + k~vk2 + 2 h~u;~vi : In particular, this gives the following version of the Pythagorean theorem for inner product spaces. Pythagorean theorem for inner products If ~u;~v are orthogonal vectors in an inner product space, then k~u + ~vk2 = k~uk2 + k~vk2: Proof.
    [Show full text]
  • A Tutorial on Euler Angles and Quaternions
    A Tutorial on Euler Angles and Quaternions Moti Ben-Ari Department of Science Teaching Weizmann Institute of Science http://www.weizmann.ac.il/sci-tea/benari/ Version 2.0.1 c 2014–17 by Moti Ben-Ari. This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/ by-sa/3.0/ or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Chapter 1 Introduction You sitting in an airplane at night, watching a movie displayed on the screen attached to the seat in front of you. The airplane gently banks to the left. You may feel the slight acceleration, but you won’t see any change in the position of the movie screen. Both you and the screen are in the same frame of reference, so unless you stand up or make another move, the position and orientation of the screen relative to your position and orientation won’t change. The same is not true with respect to your position and orientation relative to the frame of reference of the earth. The airplane is moving forward at a very high speed and the bank changes your orientation with respect to the earth. The transformation of coordinates (position and orientation) from one frame of reference is a fundamental operation in several areas: flight control of aircraft and rockets, move- ment of manipulators in robotics, and computer graphics. This tutorial introduces the mathematics of rotations using two formalisms: (1) Euler angles are the angles of rotation of a three-dimensional coordinate frame.
    [Show full text]
  • Inner Product Spaces
    CHAPTER 6 Woman teaching geometry, from a fourteenth-century edition of Euclid’s geometry book. Inner Product Spaces In making the definition of a vector space, we generalized the linear structure (addition and scalar multiplication) of R2 and R3. We ignored other important features, such as the notions of length and angle. These ideas are embedded in the concept we now investigate, inner products. Our standing assumptions are as follows: 6.1 Notation F, V F denotes R or C. V denotes a vector space over F. LEARNING OBJECTIVES FOR THIS CHAPTER Cauchy–Schwarz Inequality Gram–Schmidt Procedure linear functionals on inner product spaces calculating minimum distance to a subspace Linear Algebra Done Right, third edition, by Sheldon Axler 164 CHAPTER 6 Inner Product Spaces 6.A Inner Products and Norms Inner Products To motivate the concept of inner prod- 2 3 x1 , x 2 uct, think of vectors in R and R as x arrows with initial point at the origin. x R2 R3 H L The length of a vector in or is called the norm of x, denoted x . 2 k k Thus for x .x1; x2/ R , we have The length of this vector x is p D2 2 2 x x1 x2 . p 2 2 x1 x2 . k k D C 3 C Similarly, if x .x1; x2; x3/ R , p 2D 2 2 2 then x x1 x2 x3 . k k D C C Even though we cannot draw pictures in higher dimensions, the gener- n n alization to R is obvious: we define the norm of x .x1; : : : ; xn/ R D 2 by p 2 2 x x1 xn : k k D C C The norm is not linear on Rn.
    [Show full text]
  • Classification of Left Octonion Modules
    Classification of left octonion modules Qinghai Huo, Yong Li, Guangbin Ren Abstract It is natural to study octonion Hilbert spaces as the recently swift development of the theory of quaternion Hilbert spaces. In order to do this, it is important to study first its algebraic structure, namely, octonion modules. In this article, we provide complete classification of left octonion modules. In contrast to the quaternionic setting, we encounter some new phenomena. That is, a submodule generated by one element m may be the whole module and may be not in the form Om. This motivates us to introduce some new notions such as associative elements, conjugate associative elements, cyclic elements. We can characterize octonion modules in terms of these notions. It turns out that octonions admit two distinct structures of octonion modules, and moreover, the direct sum of their several copies exhaust all octonion modules with finite dimensions. Keywords: Octonion module; associative element; cyclic element; Cℓ7-module. AMS Subject Classifications: 17A05 Contents 1 introduction 1 2 Preliminaries 3 2.1 The algebra of the octonions O .............................. 3 2.2 Universal Clifford algebra . ... 4 3 O-modules 6 4 The structure of left O-moudles 10 4.1 Finite dimensional O-modules............................... 10 4.2 Structure of general left O-modules............................ 13 4.3 Cyclic elements in left O-module ............................. 15 arXiv:1911.08282v2 [math.RA] 21 Nov 2019 1 introduction The theory of quaternion Hilbert spaces brings the classical theory of functional analysis into the non-commutative realm (see [10, 16, 17, 20, 21]). It arises some new notions such as spherical spectrum, which has potential applications in quantum mechanics (see [4, 6]).
    [Show full text]
  • Hypercomplex Numbers and Their Matrix Representations
    Hypercomplex numbers and their matrix representations A short guide for engineers and scientists Herbert E. M¨uller http://herbert-mueller.info/ Abstract Hypercomplex numbers are composite numbers that sometimes allow to simplify computations. In this article, the multiplication table, matrix represen- tation and useful formulas are compiled for eight hypercomplex number systems. 1 Contents 1 Introduction 3 2 Hypercomplex numbers 3 2.1 History and basic properties . 3 2.2 Matrix representations . 4 2.3 Scalar product . 5 2.4 Writing a matrix in a hypercomplex basis . 6 2.5 Interesting formulas . 6 2.6 Real Clifford algebras . 8 ∼ 2.7 Real numbers Cl0;0(R) = R ......................... 10 3 Hypercomplex numbers with 1 generator 10 ∼ 3.1 Bireal numbers Cl1;0(R) = R ⊕ R ...................... 10 ∼ 3.2 Complex numbers Cl0;1(R) = C ....................... 11 4 Hypercomplex numbers with 2 generators 12 ∼ ∼ 4.1 Cockle quaternions Cl2;0(R) = Cl1;1(R) = R(2) . 12 ∼ 4.2 Hamilton quaternions Cl0;2(R) = H ..................... 13 5 Hypercomplex numbers with 3 generators 15 ∼ ∼ 5.1 Hamilton biquaternions Cl3;0(R) = Cl1;2(R) = C(2) . 15 ∼ 5.2 Anonymous-3 Cl2;1(R) = R(2) ⊕ R(2) . 17 ∼ 5.3 Clifford biquaternions Cl0;3 = H ⊕ H .................... 19 6 Hypercomplex numbers with 4 generators 20 ∼ ∼ ∼ 6.1 Space-Time Algebra Cl4;0(R) = Cl1;3(R) = Cl0;4(R) = H(2) . 20 ∼ ∼ 6.2 Anonymous-4 Cl3;1(R) = Cl2;2(R) = R(4) . 21 References 24 A Octave and Matlab demonstration programs 25 A.1 Cockle Quaternions . 25 A.2 Hamilton Bi-Quaternions .
    [Show full text]