On Perfect Hypercomplex Algebra

Total Page:16

File Type:pdf, Size:1020Kb

On Perfect Hypercomplex Algebra 1 On Perfect Hypercomplex Algebra Daizhan Cheng, Zhengping Ji Abstract—The set of associative and commutative hypercom- STP of matrices is a generalization of conventional ma- plex numbers, called the perfect hypercomplex algebra (PHA) is trix product. It is a powerful tool to deal with multi-linear investigated. Necessary and sufficient conditions for an algebra to mappings. In [5], STP was used to investigate finite algebra be a PHA via semi-tensor product(STP) of matrices are reviewed. R F The zero set is defined for non-invertible hypercomplex numbers extensions of . (in fact, the extensions of any with in a given PHA, and a characteristic function is proposed for Char(F )=0 have been discussed there.) In [6], STP was calculating zero set. Then PHA of different dimensions are con- used to investigate general Boolean-type algebras. A key issue sidered. First, 2-dimensional PHAs are considered as examples to in these approaches is to define a matrix, called product matrix 3 calculate their zero sets etc. Second, all the -dimensional PHAs of a certain algebra. Using STP, associativity, commutativity, are obtained and the corresponding zero sets are investigated. Third, 4-dimensional or even higher dimensional PHAs are and some other properties of a finite algebra extension can be also considered. Finally, matrices over pre-assigned PHA, called verified via its product matrix. perfect hypercomplex matrices (PHMs) are considered. Their In this paper, this STP approach is used to investigate properties are also investigated. PHA and PHM. For PHA, first the formulas for verifying Index Terms—Perfect hypercomplex algebra (PHA), perfect whether an HA is associative and commutative are reviewed. hypercomplex matrix (PHM), zero-set, semi-tensor product (STP) Then the zero set is defined as the set of non-invertible of matrices. numbers. A characteristic function is proposed to calculate (or characterize) the zero set. Then the PHA of dimensions 2, 3, I. INTRODUCTION or 4 are constructed separately. Even higher dimensional cases Hypercomplex number (HN) are generalization of complex are also discussed. Their zero-sets, which are of measure zero, numbers (C). A class of HN with pre-assigned addition and are calculated. Analytic functions and some other properties product form a special vector space over R, called a hypercom- of PHAs are then discussed. plex algebra (HA). HAs have various applications including As for PHMs, their invertibility and some further properties signal and image processing [10], dealing with differential are investigated. The Lie-group and Lie algebra over a pre- assigned PHA, say, , are also defined as general linear operators [2], [?], designing neural networks [9], etc. A group, GL(n, ) and general linear algebra, gl(n, ) are It was proved by Weierstrass that the only finite field A A extension of real numbers (R) is complex numbers (C) [8]. investigated. Certain properties are revealed. HA can be considered as an extension of real numbers (R) The rest of this paper is organized as follows: to finite dimensional algebras. We call such extension finite Before ending this section, we give a list of notations: arXiv:2105.03205v1 [math.RA] 7 May 2021 algebra extension of real numbers. 1) H: Set of PHAs, as finite algebra extensions over R. 2) : set of m n dimensional matrices, with all In this paper we consider only a particular kind of finite al- Am×n × R entries in algebra . gebra extensions of , which are commutative and associative. A Hence, throughout this paper the following is assumed: 3) ⋉: STP of matrices. 4) Col(A) : the set of columns (rows) of A; Coli(A) Assumption 1: H is the set of PHAs, that is, the set of (Row (A)): the i-th column (row) of A. R i finite dimensional algebras over which are commutative and i 5) δ : The i-th column of identity matrix Ik. associative. k In addition to complex numbers, hyperbolic numbers, dual II. PRELIMINARIES numbers, and Tessarine quaternion are also PHA. A. Semi-tensor Product of Matrices This work is supported partly by the National Natural Science Foundation Since STP is a fundamental tool in this approach, this of China (NSFC) under Grants 62073315, 61074114, and 61273013. section will give a brief survey for STP. We refer to [4] for Key Laboratory of Systems and Control, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing 100190, P. R. China more details. STP is a generalization of conventional matrix (e-mail: [email protected], [email protected]). product, defined as follows: 2 Definition 2.1: Let A R and B R , t = Definition 2.5: Let = (V, ) be a k-dimensional vector ∈ m×n ∈ p×q A ∗ lcm(n,p) be the least common multiple of n and p. Then space with e = i , i , , i as a set of basis. Denote { 1 2 ··· k} the STP of A and B, denoted by A ⋉ B, is defined by k i i = cs i , i,j =1, 2, , k. (8) ⋉ i ∗ j i,j s ··· A B := A It/n B It/P , (1) s=1 ⊗ ⊗ X where is Kronecker product. Then the product matrix of is defined as ⊗ A It is easy to see that STP is a generalization of conventional c1 c1 c1 c1 1,1 1,2 ··· 1,k ··· k,k matrix product. That is, when n = p, the STP is degenerated to 2 2 2 2 c1,1 c1,2 c1,k ck,k P := ··· ··· . (9) the conventional matrix product, i.e.,, A ⋉ B = AB. Because A .. .. . of this, in most cases the symbol ⋉ is omitted. ck ck ck ck 1,1 1,2 ··· 1,k ··· k,k One of the most important advantages of STP is that STP keeps most important properties of conventional matrix k Assume x = xiij , is expressed in a column vector form product available, including association, distribution, etc. In j=1 as x = (x , x ,P , x )T . Similarly, y = (y ,y , ,y )T . the following we introduce some additional properties of STP, 1 2 ··· k 1 2 ··· k Then which will be used in the sequel. Theorem 2.6: In vector form two product of two hypercom- Define a swap matrix W[m,n] mn×mn as follows: ∈M plex numbers x, y is computable via following formula. ∈ A W := I δ1 , I δ2 , , I δm, . [m,n] n ⊗ m n ⊗ m ··· n ⊗ m ∈ Lmn×mn (2) x y = PAxy. (10) Proposition 2.2: Let x Rm and y Rn be two column ∗ ∈ ∈ vectors. Then Using formula (10) and the properties of STP yields the following results, which are fundamental for our further in- ⋉ ⋉ W[m,n]x y = y x. (3) vestigation. Theorem 2.7: The following proposition “swaps” a vector with a matrix: Proposition 2.3: Let x Rt be a column vector, and A be (i) is commutative, if and only if, ∈ A an arbitrary matrix. Then P I W =0. (11) A k − [k,k] ⋉ ⋉ x A = (It A) x. (4) (ii) is associative, if and only if, ⊗ A Throughout this paper the default matrix product is assumed 2 PA = PA (Ik PA) . (12) to be STP, and the symbol ⋉ is omitted if there is no possible ⊗ confusion. III. HYPERCOMPLEX NUMBERS A. Perfect Hypercomplex Algebra on R B. Matrix Expression of an Algebra Definition 3.1: [11] A number p is called a hypercomplex R We are only interested in algebras over . number, if it can be expressed in the form Definition 2.4: [7] p = p + p i + + p i , (13) (i) An algebra over R is a pair, denoted by = (V, ), 0 1 1 ··· n n A ∗ where V be a real vector space, and : V V V , where p R, i = 0, 1, ,n, i , i = 1, 2, ,n are called ∗ × → i ∈ ··· i ··· satisfies hyperimaginary units. (ax + by) z = ax z + by z, Remark 3.2: A hypercomplex number may belong to dif- ∗ ∗ ∗ x (ay + bz)= ax y + bx z, x,y,z V, a,b R. ferent algebras, depending on their product structure matrices. ∗ ∗ ∗ ∈ ∈ A hypercomplex algebra, denoted by , is an algebra over R (5) A with basis e = i0 := 1, i1, , in . (ii) An algebra = (V, ) is said to be commutative, if { ··· } A ∗ Proposition 3.3: Assume x y = y x, x, y V. (6) ∗ ∗ ∈ = p0 + p1i1 + + pnin p0,p1, ,pn R . A { ··· | ··· ∈ } (iii) An algebra = (V, ) is said to be associative, if A ∗ Then its product matrix (x y) z = x (y z), x,y,z V. (7) P := [M ,M , ,M ], ∗ ∗ ∗ ∗ ∈ A 0 1 ··· n 3 where M R , i = 0, 1, ,n, satisfies the The ξ(x , x , , x ) is called the characteristic function i ∈ (n+1)×(n+1) ··· 0 1 ··· n following condition. of . A (i) Example 3.8: Consider C = R(i). Calculating right hand side of (17) for PC, we have M0 = In+1 (14) 2 2 xi(x1, x2)= x + x . is an identity matrix. 1 2 (ii) Hence, ξ(x1, x2)=0, if and only if, x1 = x2 =0. It follows that PC is jointly non-singular. Col (M )= δj+1 , j =1, 2, , n. (15) 1 j n+1 ··· Summarizing above arguments, we have the following re- Definition 3.4: A hypercomplex algebra is called a PHA, sult. A denoted by H, if it is commutative and associative. Proposition 3.9: Let be a finite dimensional algebra over A ∈ A Example 3.5: Consider C. It is easy to calculate that its R. Then is a field, if and only if, A product structure matrix is (i) is commutative, that is, (11) holds; A 1 0 0 1 (ii) is associative, that is, (12) holds; PC = .
Recommended publications
  • Characterizations of Several Split Regular Functions on Split Quaternion in Clifford Analysis
    East Asian Math. J. Vol. 33 (2017), No. 3, pp. 309{315 http://dx.doi.org/10.7858/eamj.2017.023 CHARACTERIZATIONS OF SEVERAL SPLIT REGULAR FUNCTIONS ON SPLIT QUATERNION IN CLIFFORD ANALYSIS Han Ul Kang, Jeong Young Cho, and Kwang Ho Shon* Abstract. In this paper, we investigate the regularities of the hyper- complex valued functions of the split quaternion variables. We define several differential operators for the split qunaternionic function. We re- search several left split regular functions for each differential operators. We also investigate split harmonic functions. And we find the correspond- ing Cauchy-Riemann system and the corresponding Cauchy theorem for each regular functions on the split quaternion field. 1. Introduction The non-commutative four dimensional real field of the hypercomplex num- bers with some properties is called a split quaternion (skew) field S. Naser [12] described the notation and the properties of regular functions by using the differential operator D in the hypercomplex number system. And Naser [12] investigated conjugate harmonic functions of quaternion variables. In 2011, Koriyama et al. [9] researched properties of regular functions in quater- nion field. In 2013, Jung et al. [1] have studied the hyperholomorphic functions of dual quaternion variables. And Jung and Shon [2] have shown hyperholo- morphy of hypercomplex functions on dual ternary number system. Kim et al. [8] have investigated regularities of ternary number valued functions in Clif- ford analysis. Kang and Shon [3] have developed several differential operators for quaternionic functions. And Kang et al. [4] researched some properties of quaternionic regular functions. Kim and Shon [5, 6] obtained properties of hyperholomorphic functions and hypermeromorphic functions in each hyper- compelx number system.
    [Show full text]
  • On Hypercomplex Number Systems*
    ON HYPERCOMPLEX NUMBER SYSTEMS* (FIRST PAPER) BY HENRY TABER Introduction. The method invented by Benjamin Peirce t for treating the problem to determine all hypereomplex number systems (or algebras) in a given number of units depends chiefly, first, upon the classification of hypereomplex number sys- tems into idempotent number systems, containing one or more idempotent num- bers, \ and non-idempotent number systems containing no idempotent number ; and, second, upon the regularizaron of idempotent number systems, that is, the classification of each of the units of such a system with respect to one of the idempotent numbers of the system. For the purpose of such classification and regularizaron the following theorems are required : Theorem I.§ In any given hypereomplex number system there is an idem- potent number (that is, a number I + 0 such that I2 = I), or every number of the system is nilpotent. || Theorem H.*rj In any hypereomplex number system containing an idem- potent number I, the units ex, e2, ■■ -, en can be so selected that, with reference ♦Presented to the Society February 27, 1904. Received for publication February 27, 1904, and September 6, 1904. t American Journal of Mathematics, vol. 4 (1881), p. 97. This work, entitled Linear Associative Algebra, was published in lithograph in 1870. For an estimate of Peirce's work and for its relation to the work of Study, Scheffers, and others, see articles by H. E. Hawkes in the American Journal of Mathematics, vol. 24 (1902), p. 87, and these Transactions, vol. 3 (1902), p. 312. The latter paper is referred to below when reference is made to Hawkes' work.
    [Show full text]
  • Truly Hypercomplex Numbers
    TRULY HYPERCOMPLEX NUMBERS: UNIFICATION OF NUMBERS AND VECTORS Redouane BOUHENNACHE (pronounce Redwan Boohennash) Independent Exploration Geophysical Engineer / Geophysicist 14, rue du 1er Novembre, Beni-Guecha Centre, 43019 Wilaya de Mila, Algeria E-mail: [email protected] First written: 21 July 2014 Revised: 17 May 2015 Abstract Since the beginning of the quest of hypercomplex numbers in the late eighteenth century, many hypercomplex number systems have been proposed but none of them succeeded in extending the concept of complex numbers to higher dimensions. This paper provides a definitive solution to this problem by defining the truly hypercomplex numbers of dimension N ≥ 3. The secret lies in the definition of the multiplicative law and its properties. This law is based on spherical and hyperspherical coordinates. These numbers which I call spherical and hyperspherical hypercomplex numbers define Abelian groups over addition and multiplication. Nevertheless, the multiplicative law generally does not distribute over addition, thus the set of these numbers equipped with addition and multiplication does not form a mathematical field. However, such numbers are expected to have a tremendous utility in mathematics and in science in general. Keywords Hypercomplex numbers; Spherical; Hyperspherical; Unification of numbers and vectors Note This paper (or say preprint or e-print) has been submitted, under the title “Spherical and Hyperspherical Hypercomplex Numbers: Merging Numbers and Vectors into Just One Mathematical Entity”, to the following journals: Bulletin of Mathematical Sciences on 08 August 2014, Hypercomplex Numbers in Geometry and Physics (HNGP) on 13 August 2014 and has been accepted for publication on 29 April 2015 in issue No.
    [Show full text]
  • Coset Group Construction of Multidimensional Number Systems
    Symmetry 2014, 6, 578-588; doi:10.3390/sym6030578 OPEN ACCESS symmetry ISSN 2073-8994 www.mdpi.com/journal/symmetry Article Coset Group Construction of Multidimensional Number Systems Horia I. Petrache Department of Physics, Indiana University Purdue University Indianapolis, Indianapolis, IN 46202, USA; E-Mail: [email protected]; Tel.: +1-317-278-6521; Fax: +1-317-274-2393 Received: 16 June 2014 / Accepted: 7 July 2014 / Published: 11 July 2014 Abstract: Extensions of real numbers in more than two dimensions, in particular quaternions and octonions, are finding applications in physics due to the fact that they naturally capture symmetries of physical systems. However, in the conventional mathematical construction of complex and multicomplex numbers multiplication rules are postulated instead of being derived from a general principle. A more transparent and systematic approach is proposed here based on the concept of coset product from group theory. It is shown that extensions of real numbers in two or more dimensions follow naturally from the closure property of finite coset groups adding insight into the utility of multidimensional number systems in describing symmetries in nature. Keywords: complex numbers; quaternions; representations 1. Introduction While the utility of the familiar complex numbers in physics and applied sciences is not questionable, one important question still stands: where do they come from? What are complex numbers fundamentally? This question becomes even more important considering that complex numbers in more than two dimensions such as quaternions and octonions are gaining renewed interest in physics. This manuscript demonstrates that multidimensional numbers systems are representations of small group symmetries. Although measurements in the laboratory produce real numbers, complex numbers in two dimensions are essential elements of mathematical descriptions of physical systems.
    [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]
  • Geodesics in Hypercomplex Number Systems. Application to Commutative Quaternions
    Dipartimento Energia GEODESICS IN HYPERCOMPLEX NUMBER SYSTEMS. APPLICATION TO COMMUTATIVE QUATERNIONS FRANCESCO CATONI, PAOLO ZAMPETTI ENEA - Dipartimento Energia Centro Ricerche Casaccia, Roma ROBERTO CANNATA ENEA - Funzione Centrals INFO Centro Ricerche Casaccia, Roma LUCIANA BORDONI ENEA - Funzione Centrals Studi Centro Ricerche Casaccia, Roma R eCE#VSQ J foreign SALES PROHIBITED RT/EFtG/97/11 ENTE PER LE NUOVE TECNOLOGIE, L'ENERGIA E L'AMBIENTE Dipartimento Energia GEODESICS IN HYPERCOMPLEX NUMBER SYSTEMS. APPLICATION TO COMMUTATIVE QUATERNIONS FRANCESCO CATONI, PAOLO ZAMPETTI ENEA - Dipartimento Energia Centro Ricerche Casaccia, Roma ROBERTO CANNATA ENEA - Funzione Centrale INFO Centro Ricerche Casaccia, Roma LUCIANA GORDON! ENEA - Funzione Centrale Studi Centro Ricerche Casaccia, Roma RT/ERG/97/11 Testo pervenuto nel giugno 1997 I contenuti tecnico-scientifici del rapporti tecnici dell'ENEA rispecchiano I'opinione degli autori e non necessariamente quella dell'Ente. DISCLAIMER Portions of this document may be illegible electronic image products. Images are produced from the best available original document. RIASSUNTO Geodetiche nei sistemi di numeri ipercomplessi. Appli­ cations ai quaternion! commutativi Alle funzioni di variabili ipercomplesse sono associati dei campi fisici. Seguendo le idee che hanno condotto Einstein alia formulazione della Relativita Generale, si intende verificare la possibility di descrivere il moto di un corpo in un campo gravitazionale, mediante le geodetiche negli spazi ’’deformati ” da trasformazioni funzionali di variabili ipercomplesse che introducono nuove simmetrie dello spazio. II presente lavoro rappresenta la fase preliminare di questo studio pin ampio. Come prima applicazione viene studiato il sistema particolare di numeri, chiamato ”quaternion! commutativi ”, che possono essere considerati come composizione dei sistemi bidimensionali dei numeri complessi e dei numeri iperbolici.
    [Show full text]
  • Algebraic Foundations of Split Hypercomplex Nonlinear Adaptive
    Mathematical Methods in the Research Article Applied Sciences Received XXXX (www.interscience.wiley.com) DOI: 10.1002/sim.0000 MOS subject classification: 60G35; 15A66 Algebraic foundations of split hypercomplex nonlinear adaptive filtering E. Hitzer∗ A split hypercomplex learning algorithm for the training of nonlinear finite impulse response adaptive filters for the processing of hypercomplex signals of any dimension is proposed. The derivation strictly takes into account the laws of hypercomplex algebra and hypercomplex calculus, some of which have been neglected in existing learning approaches (e.g. for quaternions). Already in the case of quaternions we can predict improvements in performance of hypercomplex processes. The convergence of the proposed algorithms is rigorously analyzed. Copyright c 2011 John Wiley & Sons, Ltd. Keywords: Quaternionic adaptive filtering, Hypercomplex adaptive filtering, Nonlinear adaptive filtering, Hypercomplex Multilayer Perceptron, Clifford geometric algebra 1. Introduction Split quaternion nonlinear adaptive filtering has recently been treated by [23], who showed its superior performance for Saito’s Chaotic Signal and for wind forecasting. The quaternionic methods constitute a generalization of complex valued adaptive filters, treated in detail in [19]. A method of quaternionic least mean square algorithm for adaptive quaternionic has previously been developed in [22]. Additionally, [24] successfully proposes the usage of local analytic fully quaternionic functions in the Quaternion Nonlinear Gradient Descent (QNGD). Yet the unconditioned use of analytic fully quaternionic activation functions in neural networks faces problems with poles due to the Liouville theorem [3]. The quaternion algebra of Hamilton is a special case of the higher dimensional Clifford algebras [10]. The problem with poles in nonlinear analytic functions does not generally occur for hypercomplex activation functions in Clifford algebras, where the Dirac and the Cauchy-Riemann operators are not elliptic [21], as shown, e.g., for hyperbolic numbers in [17].
    [Show full text]
  • Hypercomplex Number in Three Dimensional Spaces. Abdelkarim Assoul
    Hypercomplex number in three dimensional spaces. Abdelkarim Assoul To cite this version: Abdelkarim Assoul. Hypercomplex number in three dimensional spaces.. 2016. hal-01686021v2 HAL Id: hal-01686021 https://hal.archives-ouvertes.fr/hal-01686021v2 Preprint submitted on 4 Dec 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Copyright Hypercomplex number in three dimensional spaces Article: written by Assoul AbdelKarim Secondry School Maths teacher Summary Any point of the real line is the real number image and any point of the R² plane is the complex number image. Is any point of space R3 a number image, if this number exists is it unique and what is its figure and properties? In this article we are going to build an algebra in a commutative field R and demonstrate that this one is isomorphic to R so that at the end this lead to the existence of this number its uniqueness also its figure and properties. The succession of this work wille be the elaboration of this theory so that it will be usefull in applied mathematics,theoretical and physics quantum and espeially using this hypercomplex number for calculating the amplitude and the substitution of the (bit) by the (qubit) in order to have a faster and powerful quantum computer which has also much more capacity.
    [Show full text]
  • Solomon Lefschetz
    NATIONAL ACADEMY OF SCIENCES S O L O M O N L EFSCHETZ 1884—1972 A Biographical Memoir by PHILLIP GRIFFITHS, DONALD SPENCER, AND GEORGE W HITEHEAD Any opinions expressed in this memoir are those of the author(s) and do not necessarily reflect the views of the National Academy of Sciences. Biographical Memoir COPYRIGHT 1992 NATIONAL ACADEMY OF SCIENCES WASHINGTON D.C. SOLOMON LEFSCHETZ September 3, 1884-October 5, 1972 BY PHILLIP GRIFFITHS, DONALD SPENCER, AND GEORGE WHITEHEAD1 OLOMON LEFSCHETZ was a towering figure in the math- Sematical world owing not only to his original contribu- tions but also to his personal influence. He contributed to at least three mathematical fields, and his work reflects throughout deep geometrical intuition and insight. As man and mathematician, his approach to problems, both in life and in mathematics, was often breathtakingly original and creative. PERSONAL AND PROFESSIONAL HISTORY Solomon Lefschetz was born in Moscow on September 3, 1884. He was a son of Alexander Lefschetz, an importer, and his wife, Vera, Turkish citizens. Soon after his birth, his parents left Russia and took him to Paris, where he grew up with five brothers and one sister and received all of his schooling. French was his native language, but he learned Russian and other languages with remarkable fa- cility. From 1902 to 1905, he studied at the Ecole Centrale des Arts et Manufactures, graduating in 1905 with the de- gree of mechanical engineer, the third youngest in a class of 220. His reasons for entering that institution were com- plicated, for as he said, he had been "mathematics mad" since he had his first contact with geometry at thirteen.
    [Show full text]
  • (Communicated by W. BURNSIDE. ) the Object of This Paper Is in the First Place to Set the Theory of Hypercomplex Numbers on a Ra
    HYPERCOMPLEX NUMBERS. 77 ON HYPERCOMPLEX NUMBERS By J. H. MACLAGAN WEDDERBURN. (Communicated by W. BURNSIDE. ) [Received July 7th, 1907.—Read November 14th, 1907.] INDEX OF TERMS. Pago Algebra . ... 79 A + B 79 A^B 80 AB 80 Complex 79 Composition series ... ... ... ... ... ... ... ... 83 Difference algebra 82 Difference series ... ... ... ... ... ... ... ... 83 Direct product 99 Direct sum ... ... ... ... ... ... ... ... ... 84 Idempotent ... ... ... ... ... ... ... ... ... 90 Identical equation ... ... ... ... ... ... ... ... 101 Index 87 Integral sub-algebra ... ... ... ... ... ... 84 Invariant... ... ... ... ... ... ... ... ... ... 81 Matric algebra ... ... ... ... ... ... ... ... ... 98 Modular sub-algebra ... ... ... ... ... ... ... ... 112 Modulus 84 Nilpotent 87 Order 79 Potent Algebra 89 Primitive ... ... ... ... ... ... ... 91 Principal idempotent element... ... ... ... ... 92 Quadrate algebra ... ... ... ... -. • ... ... ... 98 Reduced equation ... ... ... ... ... ... ... ... 101 Reducible 84 Reduction series ... ... ... ••• ••• ••• ... ••• 86 Semi-invariant ... ... ... ... ... ... ... ... ... 113 Semi-simple ... ... ... ... ... ••• ••• ••• ... 94 Simple 81 Supplement ... ... ... ... ... ... -. ... 79 Zero algebra 88 THE object of this paper is in the first place to set the theory of hypercomplex numbers on a rational basis. The methods usually employed in treating the parts of the subject here taken up are, as a 78 MR. J, H. MACLAGAN WEDDERBURN [NOV. 14, rule, dependent on the theory of the characteristic equation, and are for this reason often valid only for a particular field or class of fields. Such, for instance, are the methods used by Cartan in his fundamental and far-reaching memoir, Sur les groupes bilineaires et les systemes com- plexes. It is true that the methods there used are often capable of generalisation to any field ; but I do not think that this is by any means always the case. My object throughout has been to develop a treatment analogous to "that Tvhich has been so successful in the theory of finite groups.
    [Show full text]
  • The Magic of Complex Numbers
    1 The Magic of Complex Numbers The notion of complex number is intimately related to the Fundamental Theorem of Algebra and is therefore at the very foundation of mathematical analysis. The development of complex algebra, however, has been far from straightforward.1 The human idea of ‘number’ has evolved together with human society. The natural numbers (1, 2,...∈ N) are straightforward to accept, and they have been used for counting in many cultures, irrespective of the actual base of the number system used. At a later stage, for sharing, people introduced fractions in order to answer a simple problem such as ‘if we catch U fish, I 2 U 3 U will have two parts 5 and you will have three parts 5 of the whole catch’. The acceptance of negative numbers and zero has been motivated by the emergence of economy, for dealing with profit and loss. It is rather√ impressive that ancient civilisations were aware of the need for irra- tional numbers such as 2 in the case of the Babylonians [77] and π in the case of the ancient Greeks.2 The concept of a new ‘number’ often came from the need to solve a specific practical problem. For instance, in the above example of sharing U number of fish caught, we need to solve for 2U = 5 and hence to introduce fractions, whereas to solve x2 = 2 (diagonal of a square) irrational numbers needed to be introduced. Complex numbers came from the necessity to solve equations such as x2 =−1. 1A classic reference which provides a comprehensive account of the development of numbers is Number: The Language of Science by Tobias Dantzig [57].
    [Show full text]
  • List of Numbers
    List of numbers This is a list of articles aboutnumbers (not about numerals). Contents Rational numbers Natural numbers Powers of ten (scientific notation) Integers Notable integers Named numbers Prime numbers Highly composite numbers Perfect numbers Cardinal numbers Small numbers English names for powers of 10 SI prefixes for powers of 10 Fractional numbers Irrational and suspected irrational numbers Algebraic numbers Transcendental numbers Suspected transcendentals Numbers not known with high precision Hypercomplex numbers Algebraic complex numbers Other hypercomplex numbers Transfinite numbers Numbers representing measured quantities Numbers representing physical quantities Numbers without specific values See also Notes Further reading External links Rational numbers A rational number is any number that can be expressed as the quotient or fraction p/q of two integers, a numerator p and a non-zero denominator q.[1] Since q may be equal to 1, every integer is a rational number. The set of all rational numbers, often referred to as "the rationals", the field of rationals or the field of rational numbers is usually denoted by a boldface Q (or blackboard bold , Unicode ℚ);[2] it was thus denoted in 1895 byGiuseppe Peano after quoziente, Italian for "quotient". Natural numbers Natural numbers are those used for counting (as in "there are six (6) coins on the table") and ordering (as in "this is the third (3rd) largest city in the country"). In common language, words used for counting are "cardinal numbers" and words used for ordering are
    [Show full text]