DOCSLIB.ORG

Complex Vector Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Complex Vector Spaces 18.06.28: Complex vector spaces Lecturer: Barwick I worked so hard to understand it that it must be true. — James Richardson 18.06.28: Complex vector spaces From last time … I was alluding to a way to make complex multiplication easier to understand. The idea is this: for any 푧 = 푎 + 푏푖 ∈ C, you may consider the matrix 푎 −푏 푀 = ( ). 푧 푏 푎 On the newest problem set, you’ll show that addition of complex numbers is addition of these matrices, multiplication of complex numbers is multiplica- tion of these matrices (!), and one more thing … 18.06.28: Complex vector spaces Complex conjugation is the map 푧 푧 that carries 푧 = 푎 + 푏푖 to 푧 = 푎 − 푏푖. ⊺ You’ll see that 푀푧 = 푀푧. Complex conjugation can be used to extract the real and complex parts of your complex number: 2푎 = 푧 + 푧; 2푏푖 = 푧 − 푧. 18.06.28: Complex vector spaces Complex conjugation also gives you the length of the vector ~푣 ∈ R2 corre- sponding to 푧 ∈ C: ‖~푣‖2 = 푧푧. So 푧 = √푧푧 exp(푖휃) for some (and hence infinitely many) 휃 ∈ R. If 푧 ≠ 0, there is a unique such 휃 ∈ [0, 2휋); this is sometimes called the argument of 푧, but it’s annoying to write down a good formula. It’s better to think of it as an element of R/2휋Z. 18.06.28: Complex vector spaces One last general thing about the complex numbers, just because it’s so impor- tant. Theorem (“Fundamental theorem of algebra”). For any polynomial 푛 푖 푓(푧) = ∑ 훼푖푧 푖=0 with complex coefficients 훼푖 such that 훼푛 ≠ 0, there exist complex numbers 푤1,…, 푤푛 such that 푓(푧) = 훼푛(푧 − 푤1)(푧 − 푤2) ⋯ (푧 − 푤푛). This is actually a theorem of topology, not algebra, but there you go. 18.06.28: Complex vector spaces Here’s a cool example: 푓(푧) = 푧푛 − 1. Let’s find the roots! 18.06.28: Complex vector spaces The set C푛 is the set of column vectors 푧1 푧 푣 = ( 2 ) ⋮ 푧푛 with 푧푖 ∈ C. One can add such vectors componentwise, and one can multiply any such vector with a complex scalar. So this is the fundamental example of a complex vector space. 18.06.28: Complex vector spaces Note that R푛 ⊂ C푛. Now if 푣 ∈ C푛, then 푣 = 푣 if and only if 푣 ∈ R푛. 18.06.28: Complex vector spaces More generally, a complex vector subspace 푉 ⊆ C푛 is a subset such that: (1) for any 푣, 푤 ∈ 푉, one has 푣 + 푤 ∈ 푉; (2) for any 푣 ∈ 푉 and any 푧 ∈ C, one has 푧푣 ∈ 푉. 18.06.28: Complex vector spaces 푛 Vectors 푣1,…, 푣푘 span a vector subspace 푉 ⊆ C over C if and only if every vector 푤 ∈ 푉 can be written as a C-linear combination of the 푣푖, i.e., 푘 푤 = ∑ 푧푖푣푖, 푖=1 where each 푧푖 ∈ C. 18.06.28: Complex vector spaces Similarly, the vectors 푣1,…, 푣푘 are linearly independent over C if and only if any vanishing C-linear combination 푘 ∑ 푧푖푣푖 = 0 푖=1 is a trivial C-linear combination, so that 푧1 = ⋯ = 푧푘 = 0. A C-basis of 푉 is thus a collection of vectors of 푉 that is linearly independent over C and spans 푉 over C. 18.06.28: Complex vector spaces Let’s do an example to appreciate the distinction. Let’s think of C2, and let’s think of the complex line 푧 퐿 = {( ) ∈ C2 | 3푧 − 2푤 = 0} ⊂ C2. 푤 Now C2 ≅ R4, so that complex line is a real plane: { 푧1 } { | } { 푧2 | 3푧1 − 2푤1 = 0 } 퐿 = ( ) ∈ R4 | ⊂ R4. { | } { 푤1 3푧2 − 2푤2 = 0 } { 푤2 | } 18.06.28: Complex vector spaces 2 The single vector ( ) forms a C-basis of 퐿. 3 2푖 Another legit C-basis would be the single vector ( ). 3푖 The vectors 2 0 { } { 0 2 } ( ),( ) { } { 3 0 } { 0 3 } forms an R-basis of 퐿 over R. 18.06.28: Complex vector spaces Another example: consider the complex vector subspace 푊 ⊂ C2 spanned by 푖 ( ). 1 Here’s an important sentence to parse correctly: 푊 does not have a C-basis consisting of real vectors. 0 −1 1 0 A real basis for 푊 ⊂ R4 consists of ( ) and ( ) 1 0 0 1 18.06.28: Complex vector spaces Proposition. Any complex vector subspace 푊 ⊂ C푛 of complex dimension 푘 has an underlying real vector space of dimension 2푘. To see why, take a C-basis {푤1,…, 푤푘} of 푊. Now {푤1, 푖푤1,…, 푤푘, 푖푤푘} is an R-basis of 푊. 18.06.28: Complex vector spaces In the other direction, a real vector subspace 푉 ⊆ R푛 generates a complex 푛 vector subspace 푉C ⊆ C , called the complexification; this is the set of all C-linear combinations of elements of 푉: 푘 푛 푉C ≔ {푤 ∈ C | 푤 = ∑ 훼푖푣푖, for some 훼1,…, 훼푘 ∈ C, 푣1,…, 푣푘 ∈ 푉}. 푖=1 Note that not all complex vector subspaces of C푛 are themselves complexifi- 푖 cations; the complex vector subspace 푊 ⊂ C2 spanned by ( ) provides a 1 counterexample. (A complex vector space is a complexification if and only if it has a C-basis consisting of real vectors.) 18.06.28: Complex vector spaces Now, most importantly, we may speak of complex matrices (i.e., matrices with complex entries). All the algebra we’ve done with matrices over R works perfectly for matrices over C, without change. 18.06.28: Complex vector spaces However, the freedom to contemplate complex matrices offers us new hori- zons when it comes to questions about eigenspaces and diagonalization. Let’s contemplate the matrix 0 −1 퐴 = ( ). 1 0 2 The characteristic polynomial 푝퐴(푡) = 푡 + 1 doesn’t have any real roots, so there’s no hope of diagonalizing 퐴 over R. Over C, however, we find eigenvalues 푖, −푖. Let’s try to diagonalize 퐴. 18.06.28: Complex vector spaces 푖 1 Let’s begin with 퐿 = ker(푖퐼 − 퐴) = ker ( ). It’s dimension 1, and it’s 푖 −1 푖 1 spanned by the vector ( ). −푖 −푖 1 1 And 퐿 = ker ( ) is dimension 1 and spanned by ( ). −푖 −1 −푖 푖 18.06.28: Complex vector spaces Note that neither 퐿푖 nor 퐿−푖 is a complexification. However, we do have a basis 1 1 {( ),( )} of C2 consisting of eigenvectors of 퐴, and writing 푇 in −푖 푖 퐴 terms of this basis gives us the matrix 푖 0 ( ). 0 −푖 So 퐴 is not diagonalizable over R, but it is diagonalizable over C. 18.06.28: Complex vector spaces There’s one more new thing you can do with a complex matrices that doesn’t quite work for real matrices: you can conjugate their entries. Of particular import is the conjugate transpose: ⊺ 퐴∗ ≔ (퐴) = (퐴⊺). We’ll understand the significance of this operation next time..
Load more

Recommended publications
  • Math 651 Homework 1 - Algebras and Groups Due 2/22/2013
    Math 651 Homework 1 - Algebras and Groups Due 2/22/2013 1) Consider the Lie Group SU(2), the group of 2 × 2 complex matrices A T with A A = I and det(A) = 1. The underlying set is z −w jzj2 + jwj2 = 1 (1) w z with the standard S3 topology. The usual basis for su(2) is 0 i 0 −1 i 0 X = Y = Z = (2) i 0 1 0 0 −i (which are each i times the Pauli matrices: X = iσx, etc.). a) Show this is the algebra of purely imaginary quaternions, under the commutator bracket. b) Extend X to a left-invariant field and Y to a right-invariant field, and show by computation that the Lie bracket between them is zero. c) Extending X, Y , Z to global left-invariant vector fields, give SU(2) the metric g(X; X) = g(Y; Y ) = g(Z; Z) = 1 and all other inner products zero. Show this is a bi-invariant metric. d) Pick > 0 and set g(X; X) = 2, leaving g(Y; Y ) = g(Z; Z) = 1. Show this is left-invariant but not bi-invariant. p 2) The realification of an n × n complex matrix A + −1B is its assignment it to the 2n × 2n matrix A −B (3) BA Any n × n quaternionic matrix can be written A + Bk where A and B are complex matrices. Its complexification is the 2n × 2n complex matrix A −B (4) B A a) Show that the realification of complex matrices and complexifica- tion of quaternionic matrices are algebra homomorphisms.
    [Show full text]
  • CLIFFORD ALGEBRAS and THEIR REPRESENTATIONS Introduction
    CLIFFORD ALGEBRAS AND THEIR REPRESENTATIONS Andrzej Trautman, Uniwersytet Warszawski, Warszawa, Poland Article accepted for publication in the Encyclopedia of Mathematical Physics c 2005 Elsevier Science Ltd ! Introduction Introductory and historical remarks Clifford (1878) introduced his ‘geometric algebras’ as a generalization of Grassmann alge- bras, complex numbers and quaternions. Lipschitz (1886) was the first to define groups constructed from ‘Clifford numbers’ and use them to represent rotations in a Euclidean ´ space. E. Cartan discovered representations of the Lie algebras son(C) and son(R), n > 2, that do not lift to representations of the orthogonal groups. In physics, Clifford algebras and spinors appear for the first time in Pauli’s nonrelativistic theory of the ‘magnetic elec- tron’. Dirac (1928), in his work on the relativistic wave equation of the electron, introduced matrices that provide a representation of the Clifford algebra of Minkowski space. Brauer and Weyl (1935) connected the Clifford and Dirac ideas with Cartan’s spinorial represen- tations of Lie algebras; they found, in any number of dimensions, the spinorial, projective representations of the orthogonal groups. Clifford algebras and spinors are implicit in Euclid’s solution of the Pythagorean equation x2 y2 + z2 = 0 which is equivalent to − y x z p = 2 p q (1) −z y + x q ! " ! " # $ so that x = q2 p2, y = p2 + q2, z = 2pq. If the numbers appearing in (1) are real, then − this equation can be interpreted as providing a representation of a vector (x, y, z) R3, null ∈ with respect to a quadratic form of signature (1, 2), as the ‘square’ of a spinor (p, q) R2.
    [Show full text]
  • Niobrara County School District #1 Curriculum Guide
    NIOBRARA COUNTY SCHOOL DISTRICT #1 CURRICULUM GUIDE th SUBJECT: Math Algebra II TIMELINE: 4 quarter Domain: Student Friendly Level of Resource Academic Standard: Learning Objective Thinking Correlation/Exemplar Vocabulary [Assessment] [Mathematical Practices] Domain: Perform operations on matrices and use matrices in applications. Standards: N-VM.6.Use matrices to I can represent and Application Pearson Alg. II Textbook: Matrix represent and manipulated data, e.g., manipulate data to represent --Lesson 12-2 p. 772 (Matrices) to represent payoffs or incidence data. M --Concept Byte 12-2 p. relationships in a network. 780 Data --Lesson 12-5 p. 801 [Assessment]: --Concept Byte 12-2 p. 780 [Mathematical Practices]: Niobrara County School District #1, Fall 2012 Page 1 NIOBRARA COUNTY SCHOOL DISTRICT #1 CURRICULUM GUIDE th SUBJECT: Math Algebra II TIMELINE: 4 quarter Domain: Student Friendly Level of Resource Academic Standard: Learning Objective Thinking Correlation/Exemplar Vocabulary [Assessment] [Mathematical Practices] Domain: Perform operations on matrices and use matrices in applications. Standards: N-VM.7. Multiply matrices I can multiply matrices by Application Pearson Alg. II Textbook: Scalars by scalars to produce new matrices, scalars to produce new --Lesson 12-2 p. 772 e.g., as when all of the payoffs in a matrices. M --Lesson 12-5 p. 801 game are doubled. [Assessment]: [Mathematical Practices]: Domain: Perform operations on matrices and use matrices in applications. Standards:N-VM.8.Add, subtract and I can perform operations on Knowledge Pearson Alg. II Common Matrix multiply matrices of appropriate matrices and reiterate the Core Textbook: Dimensions dimensions. limitations on matrix --Lesson 12-1p. 764 [Assessment]: dimensions.
    [Show full text]
  • Complex Eigenvalues
    Quantitative Understanding in Biology Module III: Linear Difference Equations Lecture II: Complex Eigenvalues Introduction In the previous section, we considered the generalized two- variable system of linear difference equations, and showed that the eigenvalues of these systems are given by the equation… ± 2 4 = 1,2 2 √ − …where b = (a11 + a22), c=(a22 ∙ a11 – a12 ∙ a21), and ai,j are the elements of the 2 x 2 matrix that define the linear system. Inspecting this relation shows that it is possible for the eigenvalues of such a system to be complex numbers. Because our plants and seeds model was our first look at these systems, it was carefully constructed to avoid this complication [exercise: can you show that http://www.xkcd.org/179 this model cannot produce complex eigenvalues]. However, many systems of biological interest do have complex eigenvalues, so it is important that we understand how to deal with and interpret them. We’ll begin with a review of the basic algebra of complex numbers, and then consider their meaning as eigenvalues of dynamical systems. A Review of Complex Numbers You may recall that complex numbers can be represented with the notation a+bi, where a is the real part of the complex number, and b is the imaginary part. The symbol i denotes 1 (recall i2 = -1, i3 = -i and i4 = +1). Hence, complex numbers can be thought of as points on a complex plane, which has real √− and imaginary axes. In some disciplines, such as electrical engineering, you may see 1 represented by the symbol j. √− This geometric model of a complex number suggests an alternate, but equivalent, representation.
    [Show full text]
  • On the Complexification of the Classical Geometries And
    On the complexication of the classical geometries and exceptional numb ers April Intro duction The classical groups On R Spn R and GLn C app ear as the isometry groups of sp ecial geome tries on a real vector space In fact the orthogonal group On R represents the linear isomorphisms of arealvector space V of dimension nleaving invariant a p ositive denite and symmetric bilinear form g on V The symplectic group Spn R represents the isometry group of a real vector space of dimension n leaving invariant a nondegenerate skewsymmetric bilinear form on V Finally GLn C represents the linear isomorphisms of a real vector space V of dimension nleaving invariant a complex structure on V ie an endomorphism J V V satisfying J These three geometries On R Spn R and GLn C in GLn Rintersect even pairwise in the unitary group Un C Considering now the relativeversions of these geometries on a real manifold of dimension n leads to the notions of a Riemannian manifold an almostsymplectic manifold and an almostcomplex manifold A symplectic manifold however is an almostsymplectic manifold X ie X is a manifold and is a nondegenerate form on X so that the form is closed Similarly an almostcomplex manifold X J is called complex if the torsion tensor N J vanishes These three geometries intersect in the notion of a Kahler manifold In view of the imp ortance of the complexication of the real Lie groupsfor instance in the structure theory and representation theory of semisimple real Lie groupswe consider here the question on the underlying geometrical
    [Show full text]
  • Patterns of Maximally Entangled States Within the Algebra of Biquaternions
    J. Phys. Commun. 4 (2020) 055018 https://doi.org/10.1088/2399-6528/ab9506 PAPER Patterns of maximally entangled states within the algebra of OPEN ACCESS biquaternions RECEIVED 21 March 2020 Lidia Obojska REVISED 16 May 2020 Siedlce University of Natural Sciences and Humanities, ul. 3 Maja 54, 08-110 Siedlce, Poland ACCEPTED FOR PUBLICATION E-mail: [email protected] 20 May 2020 Keywords: bipartite entanglement, biquaternions, density matrix, mereology PUBLISHED 28 May 2020 Original content from this Abstract work may be used under This paper proposes a description of maximally entangled bipartite states within the algebra of the terms of the Creative Commons Attribution 4.0 biquaternions–Ä . We assume that a bipartite entanglement is created in a process of splitting licence. one particle into a pair of two indiscernible, yet not identical particles. As a result, we describe an Any further distribution of this work must maintain entangled correlation by the use of a division relation and obtain twelve forms of biquaternions, attribution to the author(s) and the title of representing pure maximally entangled states. Additionally, we obtain other patterns, describing the work, journal citation mixed entangled states. Finally, we show that there are no other maximally entangled states in Ä and DOI. than those presented in this work. 1. Introduction In 1935, Einstein, Podolski and Rosen described a strange phenomenon, in which in its pure state, one particle behaves like a pair of two indistinguishable, yet not identical, particles [1]. This phenomenon, called by Einstein ’a spooky action at a distance’, has been investigated by many authors, who tried to explain this strange correlation [2–9].
    [Show full text]
  • Majorana Spinors
    MAJORANA SPINORS JOSE´ FIGUEROA-O'FARRILL Contents 1. Complex, real and quaternionic representations 2 2. Some basis-dependent formulae 5 3. Clifford algebras and their spinors 6 4. Complex Clifford algebras and the Majorana condition 10 5. Examples 13 One dimension 13 Two dimensions 13 Three dimensions 14 Four dimensions 14 Six dimensions 15 Ten dimensions 16 Eleven dimensions 16 Twelve dimensions 16 ...and back! 16 Summary 19 References 19 These notes arose as an attempt to conceptualise the `symplectic Majorana{Weyl condition' in 5+1 dimensions; but have turned into a general discussion of spinors. Spinors play a crucial role in supersymmetry. Part of their versatility is that they come in many guises: `Dirac', `Majorana', `Weyl', `Majorana{Weyl', `symplectic Majorana', `symplectic Majorana{Weyl', and their `pseudo' counterparts. The tra- ditional physics approach to this topic is a mixed bag of tricks using disparate aspects of representation theory of finite groups. In these notes we will attempt to provide a uniform treatment based on the classification of Clifford algebras, a work dating back to the early 60s and all but ignored by the theoretical physics com- munity. Recent developments in superstring theory have made us re-examine the conditions for the existence of different kinds of spinors in spacetimes of arbitrary signature, and we believe that a discussion of this more uniform approach is timely and could be useful to the student meeting this topic for the first time or to the practitioner who has difficulty remembering the answer to questions like \when do symplectic Majorana{Weyl spinors exist?" The notes are organised as follows.
    [Show full text]
  • COMPLEX EIGENVALUES Math 21B, O. Knill
    COMPLEX EIGENVALUES Math 21b, O. Knill NOTATION. Complex numbers are written as z = x + iy = r exp(iφ) = r cos(φ) + ir sin(φ). The real number r = z is called the absolute value of z, the value φ isjthej argument and denoted by arg(z). Complex numbers contain the real numbers z = x+i0 as a subset. One writes Re(z) = x and Im(z) = y if z = x + iy. ARITHMETIC. Complex numbers are added like vectors: x + iy + u + iv = (x + u) + i(y + v) and multiplied as z w = (x + iy)(u + iv) = xu yv + i(yu xv). If z = 0, one can divide 1=z = 1=(x + iy) = (x iy)=(x2 + y2). ∗ − − 6 − ABSOLUTE VALUE AND ARGUMENT. The absolute value z = x2 + y2 satisfies zw = z w . The argument satisfies arg(zw) = arg(z) + arg(w). These are direct jconsequencesj of the polarj represenj j jtationj j z = p r exp(iφ); w = s exp(i ); zw = rs exp(i(φ + )). x GEOMETRIC INTERPRETATION. If z = x + iy is written as a vector , then multiplication with an y other complex number w is a dilation-rotation: a scaling by w and a rotation by arg(w). j j THE DE MOIVRE FORMULA. zn = exp(inφ) = cos(nφ) + i sin(nφ) = (cos(φ) + i sin(φ))n follows directly from z = exp(iφ) but it is magic: it leads for example to formulas like cos(3φ) = cos(φ)3 3 cos(φ) sin2(φ) which would be more difficult to come by using geometrical or power series arguments.
    [Show full text]
  • Complex Numbers Sigma-Complex3-2009-1 in This Unit We Describe Formally What Is Meant by a Complex Number
    Complex numbers sigma-complex3-2009-1 In this unit we describe formally what is meant by a complex number. First let us revisit the solution of a quadratic equation. Example Use the formula for solving a quadratic equation to solve x2 10x +29=0. − Solution Using the formula b √b2 4ac x = − ± − 2a with a =1, b = 10 and c = 29, we find − 10 p( 10)2 4(1)(29) x = ± − − 2 10 √100 116 x = ± − 2 10 √ 16 x = ± − 2 Now using i we can find the square root of 16 as 4i, and then write down the two solutions of the equation. − 10 4 i x = ± =5 2 i 2 ± The solutions are x = 5+2i and x =5-2i. Real and imaginary parts We have found that the solutions of the equation x2 10x +29=0 are x =5 2i. The solutions are known as complex numbers. A complex number− such as 5+2i is made up± of two parts, a real part 5, and an imaginary part 2. The imaginary part is the multiple of i. It is common practice to use the letter z to stand for a complex number and write z = a + b i where a is the real part and b is the imaginary part. Key Point If z is a complex number then we write z = a + b i where i = √ 1 − where a is the real part and b is the imaginary part. www.mathcentre.ac.uk 1 c mathcentre 2009 Example State the real and imaginary parts of 3+4i.
    [Show full text]
  • Maxwell's Equations
    Maxwell’s equations Daniel Henry Gottlieb August 1, 2004 Abstract We express Maxwell’s equations as a single equation, first using the divergence of a special type of matrix field to obtain the four current, and then the divergence of a special matrix to obtain the Electromagnetic field. These two equations give rise to a remarkable dual set of equations in which the operators become the matrices and the vectors become the fields. The decoupling of the equations into the wave equation is very simple and natural. The divergence of the stress energy tensor gives the Lorentz Law in a very natural way. We compare this approach to the related descriptions of Maxwell’s equations by biquaternions and Clifford algebras. 1 Introduction Maxwell’s equations have been expressed in many forms in the century and a half since their dis- covery. The original equations were 16 in number. The vector forms, written below, consist of 4 equations. The differential form versions consists of two equations; see [Misner, Thorne and Wheeler(1973); see equations 4.10, 4.11]. See also [Steven Parrott(1987) page 98 -100 ] The ap- plication of quaternions, and their complexification, the biquaternions, results in a version of one equation. William E. Baylis (1999) equation 3.8, is an example. In this work, we obtain one Maxwell equation, (10), representing the electromagnetic field as a matrix and the divergence as a vector multiplying the field matrix. But we also obtain a remarkable dual formulation of Maxwell’s equation, (15), wherein the operator is now the matrix and the field is now the vector.
    [Show full text]
  • 5 Spinor Calculus
    5 Spinor Calculus 5.1 From triads and Euler angles to spinors. A heuristic introduction. As mentioned already in Section 3.4.3, it is an obvious idea to enrich the Pauli algebra formalism by introducing the complex vector space V(2; C) on which the matrices operate. The two-component complex vectors are traditionally called spinors28. We wish to show that they give rise to a wide range of applications. In fact we shall introduce the spinor concept as a natural answer to a problem that arises in the context of rotational motion. In Section 3 we have considered rotations as operations performed on a vector space. Whereas this approach enabled us to give a group-theoretical definition of the magnetic field, a vector is not an appropriate construct to account for the rotation of an orientable object. The simplest mathematical model suitable for this purpose is a Cartesian (orthogonal) three-frame, briefly, a triad. The problem is to consider two triads with coinciding origins, and the rotation of the object frame is described with respect to the space frame. The triads are represented in terms of their respective unit vectors: the space frame as Σs(x^1; x^2; x^3) and the object frame as Σc(e^1; e^2; e^3). Here c stands for “corpus,” since o for “object” seems ambiguous. We choose the frames to be right-handed. These orientable objects are not pointlike, and their parametrization offers novel problems. In this sense we may refer to triads as “higher objects,” by contrast to points which are “lower objects.” The thought that comes most easily to mind is to consider the nine direction cosines e^i · x^k but this is impractical, because of the six relations connecting these parameters.
    [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]