DOCSLIB.ORG

¿Octonions? a Non-Associative Geometric Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
¿Octonions? a Non-Associative Geometric Algebra >Octonions? A non-associative geometric algebra Benjamin Prather Florida State University Department of Mathematics October 19, 2017 Scalar Product Spaces >Octonions? Prather Let K be a field with 1 6= −1 Let V be a vector space over K. Scalar Product Spaces Let h·; ·i : V × V ! K. Clifford Algebras Composistion Definition Algebras Hurwitz' Theorem V is a scalar product space if: Summary Symmetry hx; yi = hy; xi Linearity hax; yi = a hx; yi hx + y; zi = hx; zi + hy; zi for all x; y; z 2 V and a; b 2 K Scalar Product Spaces >Octonions? Prather Scalar Product Let N(x) = − hx; xi be a modulus on V . Spaces Clifford Algebras N(x + y) = − hx; xi − 2 hx; yi − hy; yi Composistion Algebras hx; yi = (N(x) + N(y) − N(x + y))=2 Hurwitz' Theorem 2 Summary N(ax) = − hax; axi = a N(x) hx; yi can be recovered from N(x). N(x) is homogeneous of degree 2. Thus hx; yi is a quadratic form. Scalar Product Spaces >Octonions? Prather Scalar Product Spaces Clifford Algebras (James Joseph) Sylvester's Rigidity Theorem: (1852) Composistion Algebras A scalar product space V over R, by an Hurwitz' Theorem appropriate change of basis, can be made Summary diagonal, with each term in {−1; 0; 1g. Further, the count of each sign is an invariant of V . Scalar Product Spaces >Octonions? Prather Scalar Product Spaces The signature of V ,(p; n; z), is the number of Clifford Algebras 1's, −1's and 0's in such a basis. Composistion Algebras Hurwitz' Theorem The proof uses a modified Gram-Shmidt process Summary to find an orthogonal basis. Any change of basis preserving orthogonality preserves the signs of the resulting basis. This basis is then scaled by 1=pjN(x)j. Scalar Product Spaces >Octonions? Prather Scalar Product This can be generalized to any field K. Spaces Let a ∼ b if a = k2b for some k 2 K. Clifford Algebras Composistion This forms an equivalence relation. Algebras Hurwitz' Theorem Summary The signature of V over K is then unique, up to an ordering of equivalence classes. A standard basis for V is an orthogonal basis ordered by signature. Scalar Product Spaces >Octonions? Prather Scalar Product Spaces Clifford Algebras Over Q the signature is a multi-set of products of finite Composistion subsets of prime numbers, plus −1. Algebras Hurwitz' Theorem Summary Any other q 2 Q can be put in reduced form then multiplied by the square of its denominator to get a number of this form. Scalar Product Spaces >Octonions? Prather Scalar Product Spaces Clifford Algebras For any finite field there are exactly 3 classes. Composistion Algebras Over F5, for example, −1 ∼ 1 so we need another Hurwitz' Theorem element for the third class. The choices are ±2. Summary Thus the signature uses {−1; 2; 0g. For quadratically closed fields, like C, the signature is entirely 1's and 0's. Scalar Product Spaces >Octonions? Prather Scalar Product Spaces A scalar product space is degenerate if Clifford Algebras its signature contains 0s. Composistion Algebras Hurwitz' Theorem x 2 V is degenerate if hx; yi = 0 for all y 2 V . Summary V is degenerate iff it contains a degenerate vector. Scaler product spaces will be assumed to be non-degenerate, unless stated otherwise. Inner Product Spaces >Octonions? Prather Scalar Product Spaces V is an inner product space if additionally: Clifford Algebras Positive definite Composistion Algebras N(x) ≥ 0 Hurwitz' Theorem N(x) = 0 iff x = 0 Summary In particular this restricts K to ordered fields. Note: If K is a subset of C symmetry is typically replaced by conjugate symmetry. This forces N(x) 2 R. Clifford Algebras >Octonions? Prather Scalar Product Spaces Let V , N(x) be a scalar product space. Clifford Algebras Let T (V ) be the tensor space over V . Composistion Algebras 2 Hurwitz' Theorem Let I be the ideal hx + N(x)i, Summary for all x 2 V . William Then the Clifford algebra over V is Kingdon Cl(V ; N) = T (V )=I Clifford Clifford Algebras >Octonions? Prather Scalar Product This shows Clifford algebras are initial, or the freest, Spaces among algebras containing V with x 2 = −N(x). Clifford Algebras Composistion Thus they satisfy a universal property. Algebras Hurwitz' Theorem Summary Further, if N(x) = 0 for all x this reduces to the exterior algebra over V . Scalar product spaces over R relate to geometry. Thus if V is over R or C these are geometric algebras. Clifford Algebras >Octonions? Prather Scalar Product Spaces Let ei be a standard basis for V . Clifford Algebras Let E be an ordered subset of basis vectors. Composistion Algebras Since I removes all squares of V , Hurwitz' Theorem Q E ei forms a basis for Cl(V ; N) Summary Let the product over the empty set be identified with 1. Thus dim(Cl(V )) = 2d , where d = dim(V ). Clifford Algebras >Octonions? Prather Scalar Product Spaces By construction: 2 Clifford Algebras ei = hei ; ei i = −N(ei ). Composistion Algebras Hurwitz' Theorem Since this basis is orthogonal: Summary hei ; ej i = 0 for i 6= j, and ei ej = −ej ei . Since Clifford algebras are associative, this uniquely defines the product. Clifford Algebras >Octonions? Prather Consider a vector space over Q with 2 2 2 Scalar Product N(ae + be + ce ) = a − 2b − 3c . Spaces 1 2 3 2 2 2 Clifford Algebras Thus e1 = −1, e2 = 2 and e3 = 3. Composistion Algebras Hurwitz' Theorem Let p = e1e2 + e2e3 and q = e2 + e1e2e3. Summary pq = e1e2e2 + e2e3e2 + e1e2e1e2e3 + e2e3e1e2e3 = 2e1 − e2e2e3 − e1e1e2e2e3 + e2e1e3e3e2 = 2e1 − 2e3 + 2e3 + 3e2e1e2 = 2e1 − 3e1e2e2 = 2e1 − 6e1 = −4e1 Clifford Algebras >Octonions? Prather Scalar Product Spaces Let Clp;n denote the geometric algebra with Clifford Algebras signature (p; n; 0). Let Cl represent Cl . Composistion n 0;n Algebras Hurwitz' Theorem Cl1 = C, Cl2 = H Summary − ∼ − ∼ Cl1;0 = C = R ⊕ R, Cl2;0 = Cl1;1 = H = M2(R). The algebras in second line, and all larger Clifford algebras have zero divisors. Clifford Analysis >Octonions? Prather Cl3;1 and Cl1;3 are used to create algebras over Scalar Product Spaces Minkowski space-time. Cl0;3 is sometimes used, Clifford Algebras with the scalar treated as a time-coordinate. Composistion Algebras Hurwitz' Theorem Physicists like to use differential operators. Summary This motivates active research in Clifford analysis. Clifford analysis gives us well behaved differential forms on the underlying space. One difficulty in Clifford analysis is the lack of the composition property. Unital Algebras >Octonions? Prather Definition Scalar Product Spaces A unital algebra A is a vector space with: Clifford Algebras bilinear product A × A ! A Composistion Algebras (x + y)z = xz + yz Hurwitz' Theorem x(y + z) = xy + xz Summary (ax)(by) = (ab)(xy) Multiplicative identity 1 2 A 1x = x1 = x For all x; y; z 2 A and a; b 2 K. In particular, associativity is not required. a 2 K is associated with a1 in A, in particular 1. Composition Algebras >Octonions? Prather Definition Scalar Product Spaces A composition algebra is a unital algebra A that is a Clifford Algebras scalar product space with: Composistion Multiplicative modulus Algebras Hurwitz' Theorem N(xy) = N(x)N(y) Summary Clifford algebras only give N(xy) ≤ CN(x)N(y). C, H, C−, and H− do have this property. Any associative algebra over a scalar product space will be a Clifford algebra. Can we get more by relaxing associativity? Hurwitz' Theorem >Octonions? Prather Hurwitz Theorem (1923) Scalar Product Spaces The only positive definite composition algebras Clifford Algebras Composistion over R are R, C, H and O. Algebras Hurwitz' Theorem Yes! We get precisely the octonions, O. Summary This can be generalized as follows: A non-degenerate composition algebra over any field (1 6= −1) must have dimension 1,2,4 or 8. − − − Adolf Over R this adds only C , H and O . Hurwitz Hurwitz' Theorem >Octonions? Prather Scalar Product We will follow the proof of Conway. Spaces Clifford Algebras Composistion The identities on the next slide Algebras follow from the definitions. Hurwitz' Theorem Summary Conway exhibits 2 line proofs of each from the prior, using non-degeneracy John H. for the last two. Conway (i.e. hx; ti = hy; ti for all t iff x = y) Hurwitz' Theorem >Octonions? Prather Scalar Product Spaces Let x = 2 hx; 1i − x. Clifford Algebras (Scaling) hxy; xzi = N(x) hy; zi and Composistion Algebras hxy; zyi = hx; zi N(y) Hurwitz' Theorem (Exchange) hxy; uzi = 2 hx; ui hy; zi − hxz; uyi Summary (Braid) hxy; zi = hy; xzi = hx; zyi (Biconjugation) x = x (Product Conjugation) xy = y x Hurwitz' Theorem >Octonions? Prather Now, if A contains a proper Scalar Product Spaces unital sub-algebra, H, we Clifford Algebras construct a Cayley-Dickson Composistion double, H + iH, within A. Algebras Hurwitz' Theorem Summary Let H be a proper unital Arthur Cayley and sub-algebra of A. Leonard Eugene Dickson Let i be a unit vector of A orthogonal to H. Let a, b, c, d and t be typical elements of H. Hurwitz' Theorem >Octonions? Prather Inner-product doubling: Scalar Product Spaces ha + ib; c + idi = ha; ci + N(i) hb; di Clifford Algebras Composistion ha; idi = ad; i = hib; ci = i; cb = 0 Algebras Hurwitz' Theorem hib; idi = N(i) hb; di Summary Conjugation doubling: (so ib = −ib = −b i = bi) a + ib = a − ib ib = 2 hib; 1i − ib = −ib Hurwitz' Theorem >Octonions? Prather Product doubling: Scalar Product Spaces (a + ib)(c + id) = (ac − N(i)db) + i(cb + ad) Clifford Algebras Composistion ha · id; ti = hid; ati = 0 − hit; adi = ht; i · adi Algebras Hurwitz' Theorem hib · c; ti = hib; tci = bi; tc = 0 − bc; ti Summary = bc · i; t = hi · cb; ti hib · id; ti = − hib; t · idi = 0 + hi · id; tbi = − hid; i · tbi = −N(i) hd; tbi = N(i) −db; t Hurwitz' Theorem >Octonions? Prather Theorem (Lemma 1) Scalar Product Spaces K = J + iJ is a composition algebra iff Clifford Algebras J is an associative composition algebra.
Load more

Recommended publications
  • Janko's Sporadic Simple Groups
    Janko’s Sporadic Simple Groups: a bit of history Algebra, Geometry and Computation CARMA, Workshop on Mathematics and Computation Terry Gagen and Don Taylor The University of Sydney 20 June 2015 Fifty years ago: the discovery In January 1965, a surprising announcement was communicated to the international mathematical community. Zvonimir Janko, working as a Research Fellow at the Institute of Advanced Study within the Australian National University had constructed a new sporadic simple group. Before 1965 only five sporadic simple groups were known. They had been discovered almost exactly one hundred years prior (1861 and 1873) by Émile Mathieu but the proof of their simplicity was only obtained in 1900 by G. A. Miller. Finite simple groups: earliest examples É The cyclic groups Zp of prime order and the alternating groups Alt(n) of even permutations of n 5 items were the earliest simple groups to be studied (Gauss,≥ Euler, Abel, etc.) É Evariste Galois knew about PSL(2,p) and wrote about them in his letter to Chevalier in 1832 on the night before the duel. É Camille Jordan (Traité des substitutions et des équations algébriques,1870) wrote about linear groups defined over finite fields of prime order and determined their composition factors. The ‘groupes abéliens’ of Jordan are now called symplectic groups and his ‘groupes hypoabéliens’ are orthogonal groups in characteristic 2. É Émile Mathieu introduced the five groups M11, M12, M22, M23 and M24 in 1861 and 1873. The classical groups, G2 and E6 É In his PhD thesis Leonard Eugene Dickson extended Jordan’s work to linear groups over all finite fields and included the unitary groups.
    [Show full text]
  • Center and Composition Conditions for Abel Equation
    Center and Comp osition conditions for Ab el Equation Thesis for the degree of Do ctor of Philosophy by Michael Blinov Under the Sup ervision of professor Yosef Yomdin Department of Theoretical Mathematics The Weizmann Institute of Science Submitted to the Feinb erg Graduate Scho ol of the Weizmann Institute of Science Rehovot Israel June Acknowledgments I would like to thank my advisor Professor Yosef Yomdin for his great sup ervision constant supp ort and encouragement for guiding and stimulat ing my mathematical work I should also mention that my trips to scien tic meetings were supp orted from Y Yomdins Minerva Science Foundation grant I am grateful to JP Francoise F Pakovich E Shulman S Yakovenko and V Katsnelson for interesting discussions I thank Carla Scapinello Uruguay Jonatan Gutman Israel Michael Kiermaier Germany and Oleg Lavrovsky Canada for their results obtained during summer pro jects that I sup ervised I am also grateful to my mother for her patience supp ort and lo ve I wish to thank my mathematical teacher V Sap ozhnikov who gave the initial push to my mathematical research Finally I wish to thank the following for their friendship and in some cases love Lili Eugene Bom Elad Younghee Ira Rimma Yulia Felix Eduard Lena Dima Oksana Olga Alex and many more Abstract We consider the real vector eld f x y gx y on the real plane IR This vector eld describ es the dynamical system x f x y y g x y A classical CenterFo cus problem whichwas stated byHPoincare in s is nd conditions on f g under which all tra jectories
    [Show full text]
  • A History of Mathematics in America Before 1900.Pdf
    THE BOOK WAS DRENCHED 00 S< OU_1 60514 > CD CO THE CARUS MATHEMATICAL MONOGRAPHS Published by THE MATHEMATICAL ASSOCIATION OF AMERICA Publication Committee GILBERT AMES BLISS DAVID RAYMOND CURTISS AUBREY JOHN KEMPNER HERBERT ELLSWORTH SLAUGHT CARUS MATHEMATICAL MONOGRAPHS are an expression of THEthe desire of Mrs. Mary Hegeler Carus, and of her son, Dr. Edward H. Carus, to contribute to the dissemination of mathe- matical knowledge by making accessible at nominal cost a series of expository presenta- tions of the best thoughts and keenest re- searches in pure and applied mathematics. The publication of these monographs was made possible by a notable gift to the Mathematical Association of America by Mrs. Carus as sole trustee of the Edward C. Hegeler Trust Fund. The expositions of mathematical subjects which the monographs will contain are to be set forth in a manner comprehensible not only to teach- ers and students specializing in mathematics, but also to scientific workers in other fields, and especially to the wide circle of thoughtful people who, having a moderate acquaintance with elementary mathematics, wish to extend their knowledge without prolonged and critical study of the mathematical journals and trea- tises. The scope of this series includes also historical and biographical monographs. The Carus Mathematical Monographs NUMBER FIVE A HISTORY OF MATHEMATICS IN AMERICA BEFORE 1900 By DAVID EUGENE SMITH Professor Emeritus of Mathematics Teacliers College, Columbia University and JEKUTHIEL GINSBURG Professor of Mathematics in Yeshiva College New York and Editor of "Scripta Mathematica" Published by THE MATHEMATICAL ASSOCIATION OF AMERICA with the cooperation of THE OPEN COURT PUBLISHING COMPANY CHICAGO, ILLINOIS THE OPEN COURT COMPANY Copyright 1934 by THE MATHEMATICAL ASSOCIATION OF AMKRICA Published March, 1934 Composed, Printed and Bound by tClfe QlolUgUt* $Jrr George Banta Publishing Company Menasha, Wisconsin, U.
    [Show full text]
  • Arxiv:1711.00219V2 [Math.OA] 9 Aug 2019 R,Fe Rbblt,Glbr Coefficients
    CUMULANTS, SPREADABILITY AND THE CAMPBELL-BAKER-HAUSDORFF SERIES TAKAHIRO HASEBE AND FRANZ LEHNER Abstract. We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and M¨obius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno’s theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients. Contents 1. Introduction 2 2. Ordered set partitions 4 2.1. Set partitions 4 2.2. Ordered set partitions 5 2.3. Incidence algebras and multiplicative functions 8 2.4. Special functions in the poset of ordered set partitions 10 3. A generalized notion of independence related to spreadability systems 11 3.1. Notation and terminology 11 3.2. Spreadability systems 13 3.3. Examples from natural products of linear maps 14 3.4. E-independence 15 3.5.
    [Show full text]
  • Leonard Eugene Dickson
    LEONARD EUGENE DICKSON Leonard Eugene Dickson (January 22, 1874 – January 17, 1954) was a towering mathematician and inspiring teacher. He directed fifty-three doctoral dissertations, including those of 15 women. He wrote 270 papers and 18 books. His original research contributions made him a leading figure in the development of modern algebra, with significant contributions to number theory, finite linear groups, finite fields, and linear associative algebras. Under the direction of Eliakim Moore, Dickson received the first doctorate in mathematics awarded by the University of Chicago (1896). Moore considered Dickson to be the most thoroughly prepared mathematics student he ever had. Dickson spent some time in Europe studying with Sophus Lie in Leipzig and Camille Jordan in Paris. Upon his return to the United States, he taught at the University of California in Berkeley. He had an appointment with the University of Texas in 1899, but at the urging of Moore in 1900 he accepted a professorship at the University of Chicago, where he stayed until 1939. The most famous of Dickson’s books are Linear Groups with an Expansion of the Galois Field Theory (1901) and his three-volume History of the Theory of Numbers (1919 – 1923). The former was hailed as a milestone in the development of modern algebra. The latter runs to some 1600 pages, presenting in minute detail, a nearly complete guide to the subject from Pythagoras (or before 500 BCE) to about 1915. It is still considered the standard reference for everything that happened in number theory during that period. It remains the only source where one can find information as to who did what in various number theory topics.
    [Show full text]
  • Dynatomic Polynomials, Necklace Operators, and Universal Relations for Dynamical Units
    DYNATOMIC POLYNOMIALS, NECKLACE OPERATORS, AND UNIVERSAL RELATIONS FOR DYNAMICAL UNITS JOHN R. DOYLE, PAUL FILI, AND TREVOR HYDE 1. INTRODUCTION Let f(x) 2 K[x] be a polynomial with coefficients in a field K. For an integer k ≥ 0, we denote by f k(x) the k-fold iterated composition of f with itself. The dth dynatomic polynomial Φf;d(x) 2 K[x] of f is defined by the product Y d=e µ(e) Φf;d(x) := (f (x) − x) ; ejd where µ is the standard number-theoretic Möbius function on N. We refer the reader to [12, §4.1] for background on dynatomic polynomials. For generic f(x), the dth dynatomic polyno- mial Φf;d(x) vanishes at precisely the periodic points of f with primitive period d. In this paper we consider the polynomial equation Φf;d(x) = 1 and show that it often has f-preperiodic solu- tions determined by arithmetic properties of d, independent of f. Moreover, these f-preperiodic solutions are detected by cyclotomic factors of the dth necklace polynomial: 1 X M (x) = µ(e)xd=e 2 [x]: d d Q ejd Our results extend earlier work of Morton and Silverman [8], but our techniques are quite dif- ferent and apply more broadly. We begin by recalling some notation and terminology. The cocore of a positive integer d is d=d0 where d0 is the largest squarefree factor of d. If m ≥ 0 and n ≥ 1, then the (m; n)th generalized dynatomic polynomial Φf;m;n(x) of f(x) is defined by Φf;0;n(x) := Φf;n(x) and m Φf;n(f (x)) Φf;m;n(x) := m−1 Φf;n(f (x)) for m ≥ 1.
    [Show full text]
  • DICKSON's HISTORY OP the THEORY of NUMBERS. History Of
    1919.] DICKSON ON THEOKY OF NUMBERS. 125 DICKSON'S HISTORY OP THE THEORY OF NUMBERS. History of the Theory of Numbers. By LEONARD EUGENE DICKSON. Volume I. Carnegie Institution of Washington, 1919. 486 pp. IN these days when "pure" science is looked upon with impatience, or at best with good-humored indulgence, the appearance of such a book as this will be greeted with joy by those of us who still believe in mathematics for mathematics' sake, as we do in art for art's sake or for music for the sake of music. For those who can see no use or importance in any studies in mathematics which do not smack of the machine shop or of the artillery field it may be worth while to glance through the index of authors in this volume and note the frequent appearance of names of men whose work in the "practical applications" of mathematics would almost qualify them for a place on the faculty of our most advanced educational institutions. One of the most assiduous students of the theory of numbers was Euler, whose work otherwise was of sufficient importance to attract the notice of a king of Prussia. The devotee of this peculiar branch of science can reassure himself that he is in very good company when he reads the list of authors cited in connection with the famous theorems of Fermât and Wilson in Chapter III; Cauchy, Cayley, d'Alembert, Dedekind, Euler, Gauss, Jacobi, Kron- ecker, Lagrange, Laplace, Legendre, Leibniz, Steiner, Syl­ vester, Von Staudt and a host of others, great and small, living and dead, to the number of over two hundred, who have found these absolutely "useless" theorems worthy of their most serious attention.
    [Show full text]
  • Finding Octonion Algebras in Associative Algebras John R
    proceedings of the american mathematical society Volume 104, Number 4, December 1988 FINDING OCTONION ALGEBRAS IN ASSOCIATIVE ALGEBRAS JOHN R. FAULKNER (Communicated by Donald S. Passman) ABSTRACT. An embedding of octonion algebras in central simple degree three associative algebras is given. Using standard operations on trace 0 elements of a simple 9-dimensional associa- tive algebra (such as 3 x 3 matrices) over a field of characteristic not 3 containing a primitive cube root of 1, we obtain in the Theorem the somewhat surprising embedding of an octonion algebra in an associative algebra. One clue to this em- bedding is that the Tits construction in [4] applied to F © cf (cf split octonion) or to F3 (3 x 3 matrices) gives the same 27-dimensional exceptional Jordan algebra, suggesting that F © (f is related to F3. A similar embedding of the 27-dimensional exceptional Jordan algebra JF as trace 0 elements in the degree 4 special Jordan algebra J4 of 4 x 4 hermitian quaternionic matrices was previously known (see [1 and 2]). In this case, a relation between F ® fí and ^4 was suggested by the Cayley-Dickson process in [1] which applied to F © f or to %\ gives the same 56-dimensional structurable algebra. Our approach is to show that the set An of trace 0 elements of a separable degree 3 alternative algebra A carries a nondegenerate quadratic form S permitting composition S(x * y) — S(x)S(y), from which it follows that an isotope of (An,* ) is a unital composition algebra. If A has dimension 9, then Aq has dimension 8, and the composition algebra must be octonion.
    [Show full text]
  • M\" Obius Polynomials
    M¨obiusPolynomials Will Murray∗ California State University, Long Beach Long Beach, CA 98040-1001 [email protected] December 11, 2013 What do bracelets, juggling patterns, and irreducible polynomials over finite fields have in common? We can count all of them using the same techniques. In this paper, we identify a set of polynomials that unify all the counting problems above. Despite their wide application, they have not received an explicit name in the literature. We will christen them M¨obiuspolynomials and explore some of their properties. We will highlight the role that M¨obiuspolynomials have played in the contexts above and then use them to extend a classic combinatorial proof from Fermat's little theorem to Euler's totient theorem. In the first section below, we will define our polynomials and derive some key facts about them. After a brief digression to enjoy the graphs of our polynomials in the complex plane, we will see that Mn(x) gives the number of aperiodic bracelets of length n that can be built using x possible types of gems. An immediate corollary will be that Mn(x) ≡ 0 (mod n) for all x 2 Z. In three subsequent sections, we will apply our polynomials to count juggling patterns, to count irreducible polynomials over finite fields, and to prove Euler's totient theorem. 1 Definition and properties To construct our polynomial, we first recall the M¨obius µ function defined on a e1 er positive integer n = p1 ··· pr , where the pi are distinct primes: arXiv:1312.3848v1 [math.CO] 13 Dec 2013 µ(1) := 1 ( (−1)r if all e = 1 e1 er i µ (n = p1 ··· pr ) := 0 if any ei > 1 ∗I thank Art Benjamin and Robert Mena for suggesting this investigation and many useful subsequent thoughts.
    [Show full text]
  • The “Wide Influence” of Leonard Eugene Dickson
    COMMUNICATION The “Wide Influence” of Leonard Eugene Dickson Della Dumbaugh and Amy Shell-Gellasch Communicated by Stephen Kennedy ABSTRACT. Saunders Mac Lane has referred to “the noteworthy student. The lives of wide influence” exerted by Leonard Dickson on the these three students combine with mathematical community through his 67 PhD students. contemporary issues in hiring and This paper considers the careers of three of these diversity in education to suggest students—A. Adrian Albert, Ko-Chuen Yang, and Mina that the time is ripe to expand our Rees—in order to give shape to our understanding of understanding of success beyond this wide influence. Somewhat surprisingly, this in- traditional measures. It seems fluence extends to contemporary issues in academia. unlikely that Leonard Dickson had an intentional diversity agenda for his research program at the Introduction University of Chicago. Yet this This paper raises the question: How do we, as a mathe- contemporary theme of diversity Leonard Dickson matical community, define and measure success? Leonard adds a new dimension to our un- produced 67 PhD Dickson produced sixty-seven PhD students over a for- derstanding of Dickson as a role students over a ty-year career and provides many examples of successful model/mentor. forty-year career. students. We explore the careers of just three of these students: A. Adrian Albert, Ko-Chuen Yang, and Mina Rees. A. Adrian Albert (1905–1972) Albert made important advances in our understanding of When Albert arrived at Chicago in 1922, the theory of algebra and promoted collaboration essential to a flour- algebras was among Dickson’s main research interests.
    [Show full text]
  • Menger Algebras of $ N $-Place Functions
    MENGER ALGEBRAS OF n-PLACE FUNCTIONS WIESLAW A. DUDEK AND VALENTIN S. TROKHIMENKO Abstract. It is a survey of the main results on abstract characterizations of algebras of n-place functions obtained in the last 40 years. A special attention is paid to those algebras of n-place functions which are strongly connected with groups and semigroups, and to algebras of functions closed with respect natural relations defined on their domains. Dedicated to Professor K.P. Shum’s 70th birthday 1. Introduction Every group is known to be isomorphic to some group of set substitutions, and every semigroup is isomorphic to some semigroup of set transformations. It ac- counts for the fact that the group theory (consequently, the semigroup theory) can be considered as an abstract study about the groups of substitutions (consequently, the semigroups substitutions). Such approach to these theories is explained, first of all, by their applications in geometry, functional analysis, quantum mechanics, etc. Although the group theory and the semigroup theory deal in particular only with the functions of one argument, the wider, but not less important class of func- tions remains without their attention – the functions of many arguments (in other words – the class of multiplace functions). Multiplace functions are known to have various applications not only in mathematics itself (for example, in mathematical analysis), but are also widely used in the theory of many-valued logics, cybernetics and general systems theory. Various natural operations are considered on the sets of multiplace functions. The main operation is the superposition, i.e., the opera- tion which as a result of substitution of some functions into other instead of their arguments gives a new function.
    [Show full text]
  • The Arithmetic of Quaternion Algebras
    The arithmetic of quaternion algebras John Voight [email protected] June 18, 2014 Preface Goal In the response to receiving the 1996 Steele Prize for Lifetime Achievement [Ste96], Shimura describes a lecture given by Eichler: [T]he fact that Eichler started with quaternion algebras determined his course thereafter, which was vastly successful. In a lecture he gave in Tokyo he drew a hexagon on the blackboard and called its vertices clock- wise as follows: automorphic forms, modular forms, quadratic forms, quaternion algebras, Riemann surfaces, and algebraic functions. This book is an attempt to fill in the hexagon sketched by Eichler and to augment it further with the vertices and edges that represent the work of many algebraists, geometers, and number theorists in the last 50 years. Quaternion algebras sit prominently at the intersection of many mathematical subjects. They capture essential features of noncommutative ring theory, number the- ory, K-theory, group theory, geometric topology, Lie theory, functions of a complex variable, spectral theory of Riemannian manifolds, arithmetic geometry, representa- tion theory, the Langlands program—and the list goes on. Quaternion algebras are especially fruitful to study because they often reflect some of the general aspects of these subjects, while at the same time they remain amenable to concrete argumenta- tion. With this in mind, we have two goals in writing this text. First, we hope to in- troduce a large subset of the above topics to graduate students interested in algebra, geometry, and number theory. We assume that students have been exposed to some algebraic number theory (e.g., quadratic fields), commutative algebra (e.g., module theory, localization, and tensor products), as well as the basics of linear algebra, topology, and complex analysis.
    [Show full text]