DOCSLIB.ORG

Dictionary of Algebra, Arithmetic, and Trigonometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Dictionary of Algebra, Arithmetic, and Trigonometry DICTIONARY OF ALGEBRA, ARITHMETIC, AND TRIGONOMETRY c 2001 by CRC Press LLC Comprehensive Dictionary of Mathematics Douglas N. Clark Editor-in-Chief Stan Gibilisco Editorial Advisor PUBLISHED VOLUMES Analysis, Calculus, and Differential Equations Douglas N. Clark Algebra, Arithmetic and Trigonometry Steven G. Krantz FORTHCOMING VOLUMES Classical & Theoretical Mathematics Catherine Cavagnaro and Will Haight Applied Mathematics for Engineers and Scientists Emma Previato The Comprehensive Dictionary of Mathematics Douglas N. Clark c 2001 by CRC Press LLC a Volume in the Comprehensive Dictionary of Mathematics DICTIONARY OF ALGEBRA, ARITHMETIC, AND TRIGONOMETRY Edited by Steven G. Krantz CRC Press Boca Raton London New York Washington, D.C. Library of Congress Cataloging-in-Publication Data Catalog record is available from the Library of Congress. This book contains information obtained from authentic and highly regarded sources. Reprinted material is quoted with permission, and sources are indicated. A wide variety of references are listed. Reasonable efforts have been made to publish reliable data and information, but the author and the publisher cannot assume responsibility for the validity of all materials or for the consequences of their use. Neither this book nor any part may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, microfilming, and recording, or by any information storage or retrieval system, without prior permission in writing from the publisher. All rights reserved. Authorization to photocopy items for internal or personal use, or the personal or internal use of specific clients, may be granted by CRC Press LLC, provided that $.50 per page photocopied is paid directly to Copyright Clearance Center, 222 Rosewood Drive, Danvers, MA 01923 USA. The fee code for users of the Transactional Reporting Service is ISBN 1-58488-052-X/01/$0.00+$.50. The fee is subject to change without notice. For organizations that have been granted a photocopy license by the CCC, a separate system of payment has been arranged. The consent of CRC Press LLC does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific permission must be obtained in writing from CRC Press LLC for such copying. Direct all inquiries to CRC Press LLC, 2000 N.W. Corporate Blvd., Boca Raton, Florida 33431. Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for identification and explanation, without intent to infringe. © 2001 by CRC Press LLC No claim to original U.S. Government works International Standard Book Number 1-58488-052-X Printed in the United States of America 1 2 3 4 5 6 7 8 9 0 Printed on acid-free paper PREFACE The second volume of the CRC Press Comprehensive Dictionary of Mathematics covers algebra, arithmetic and trigonometry broadly, with an overlap into differential geometry, algebraic geometry, topology and other related fields. The authorship is by well over 30 mathematicians, active in teaching and research, including the editor. Because it is a dictionary and not an encyclopedia, definitions are only occasionally accompanied by a discussion or example. In a dictionary of mathematics, the primary goal is to define each term rigorously. The derivation of a term is almost never attempted. The dictionary is written to be a useful reference for a readership that includes students, scientists, and engineers with a wide range of backgrounds, as well as specialists in areas of analysis and differential equations and mathematicians in related fields. Therefore, the definitions are intended to be accessible, as well as rigorous. To be sure, the degree of accessibility may depend upon the individual term, in a dictionary with terms ranging from Abelian cohomology to z intercept. Occasionally a term must be omitted because it is archaic. Care was taken when such circum- stances arose to ensure that the term was obsolete. An example of an archaic term deemed to be obsolete, and hence not included, is “right line”. This term was used throughout a turn-of-the-century analytic geometry textbook we needed to consult, but it was not defined there. Finally, reference to a contemporary English language dictionary yielded “straight line” as a synonym for “right line”. The authors are grateful to the series editor, Stanley Gibilisco, for dealing with our seemingly endless procedural questions and to Nora Konopka, for always acting efficiently and cheerfully with CRC Press liaison matters. Douglas N. Clark Editor-in-Chief c 2001 by CRC Press LLC CONTRIBUTORS Edward Aboufadel Neil K. Dickson Grand Valley State University University of Glasgow Allendale, Michigan Glasgow, United Kingdom Gerardo Aladro David E. Dobbs Florida International University University of Tennessee Miami, Florida Knoxville, Tennessee Mohammad Azarian Marcus Feldman University of Evansville Washington University Evansville. Indiana St. Louis, Missouri Susan Barton Stephen Humphries West Virginia Institute of Technology Brigham Young University Montgomery, West Virginia Provo, Utah Albert Boggess Shanyu Ji Texas A&M University University of Houston College Station, Texas Houston, Texas Robert Borrelli Kenneth D. Johnson Harvey Mudd College University of Georgia Claremont, California Athens, Georgia Stephen W. Brady Bao Qin Li Wichita State University Florida International University Wichita, Kansas Miami, Florida Der Chen Chang Robert E. MacRae Georgetown University University of Colorado Washington, D.C. Boulder, Colorado Stephen A. Chiappari Charles N. Moore Santa Clara University Kansas State University Santa Clara. California Manhattan, Kansas Joseph A. Cima Hossein Movahedi-Lankarani The University of North Carolina at Chapel Hill Pennsylvania State University Chapel Hill, North Carolina Altoona, Pennsylvania Courtney S. Coleman Shashikant B. Mulay Harvey Mudd College University of Tennessee Claremont, California Knoxville, Tennessee John B. Conway Judy Kenney Munshower University of Tennessee Avila College Knoxville, Tennessee Kansas City, Missouri c 2001 by CRC Press LLC Charles W. Neville Anthony D. Thomas CWN Research University of Wisconsin Berlin, Connecticut Platteville. Wisconsin Daniel E. Otero Michael Tsatsomeros Xavier University University of Regina Cincinnati, Ohio Regina, Saskatchewan,Canada Josef Paldus James S. Walker University of Waterloo University of Wisconsin at Eau Claire Waterloo, Ontario, Canada Eau Claire, Wisconsin Harold R. Parks C. Eugene Wayne Oregon State University Boston University Corvallis, Oregon Boston, Massachusetts Gunnar Stefansson Kehe Zhu Pennsylvania State University State University of New York at Albany Altoona, Pennsylvania Albany, New York c 2001 by CRC Press LLC its Galois group is an Abelian group. See Galois group. See also Abelian group. Abelian extension A Galois extension of a A field is called an Abelian extension if its Galois group is Abelian. See Galois extension. See also Abelian group. A-balanced mapping Let M be a right mod- ule over the ring A, and let N be a left module Abelian function A function f(z1,z2,z3, n over the same ring A. A mapping φ from M ×N ...,zn) meromorphic on C for which there ex- n to an Abelian group G is said to be A-balanced ist 2n vectors ωk ∈ C , k = 1, 2, 3,...,2n, if φ(x,·) is a group homomorphism from N to called period vectors, that are linearly indepen- G for each x ∈ M,ifφ(·,y)is a group homo- dent over R and are such that morphism from M to G for each y ∈ N, and + = if f (z ωk) f(z) φ(xa,y) = φ(x,ay) holds for k = 1, 2, 3,...,2n and z ∈ Cn. holds for all x ∈ M, y ∈ N, and a ∈ A. Abelian function field The set of Abelian A-B-bimodule An Abelian group G that is a functions on Cn corresponding to a given set of left module over the ring A and a right module period vectors forms a field called an Abelian over the ring B and satisfies the associative law function field. (ax)b = a(xb) for all a ∈ A, b ∈ B, and all x ∈ G. Abelian group Briefly, a commutative group. More completely, a set G, together with a binary Abelian cohomology The usual cohomology operation, usually denoted “+,” a unary opera- with coefficients in an Abelian group; used if tion usually denoted “−,” and a distinguished the context requires one to distinguish between element usually denoted “0” satisfying the fol- the usual cohomology and the more exotic non- lowing axioms: Abelian cohomology. See cohomology. (i.) a + (b + c) = (a + b) + c for all a,b,c ∈ G, Abelian differential of the first kind A holo- (ii.) a + 0 = a for all a ∈ G, morphic differential on a closed Riemann sur- (iii.) a + (−a) = 0 for all a ∈ G, face; that is, a differential of the form ω = (iv.) a + b = b + a for all a,b ∈ G. a(z)dz, where a(z) is a holomorphic function. The element 0 is called the identity, −a is called the inverse of a, axiom (i.) is called the Abelian differential of the second kind A associative axiom, and axiom (iv.) is called the meromorphic differential on a closed Riemann commutative axiom. surface, the singularities of which are all of order greater than or equal to 2; that is, a differential Abelian ideal An ideal in a Lie algebra which of the form ω = a(z)dz where a(z) is a mero- forms a commutative subalgebra. morphic function with only 0 residues. Abelian integral of the first kind An indef- Abelian differential of the third kind A inite integral W(p) = p a(z)dz on a closed p0 differential on a closed Riemann surface that is Riemann surface in which the function a(z) is not an Abelian differential of the first or sec- holomorphic (the differential ω(z) = a(z)dz ond kind; that is, a differential of the form ω = is said to be an Abelian differential of the first a(z)dz where a(z) is meromorphic and has at kind).
Load more

Recommended publications
  • Prof. Dr. Eric Jespers Science Faculty Mathematics Department Bachelor Paper II
    Prof. Dr. Eric Jespers Science faculty Mathematics department Bachelor paper II 1 Voorwoord Dit is mijn tweede paper als eindproject van de bachelor in de wiskunde aan de Vrije Universiteit Brussel. In dit werk bestuderen wij eindige groepen G die minimaal niet nilpotent zijn in de volgende betekenis, elke echt deelgroep van G is nilpotent maar G zelf is dit niet. W. R. Scott bewees in [?] dat zulke groepen oplosbaar zijn en een product zijn van twee deelgroepen P en Q, waarbij P een cyclische Sylow p-deelgroep is en Q een normale Sylow q-deelgroep is; met p en q verschillende priemgetallen. Het hoofddoel van dit werk is om een volledig en gedetailleerd bewijs te geven. Als toepassing bestuderen wij eindige groepen die minimaal niet Abels zijn. Dit project is verwezenlijkt tijdens mijn Erasmusstudies aan de Universiteit van Granada en werd via teleclassing verdedigd aan de Universiteit van Murcia, waar mijn mijn pro- motor op sabbatical verbleef. Om lokale wiskundigen de kans te geven mijn verdediging bij te wonen is dit project in het Engles geschreven. Contents 1 Introduction This is my second paper to obtain the Bachelor of Mathematics at the University of Brussels. The subject are finite groups G that are minimal not nilpotent in the following meaning. Each proper subgroup of G is nilpotent but G itself is not. W.R. Scott proved in [?] that those groups are solvable and a product of two subgroups P and Q, with P a cyclic Sylow p-subgroup and G a normal Sylow q-subgroup, where p and q are distinct primes.
    [Show full text]
  • An Alternative Existence Proof of the Geometry of Ivanov–Shpectorov for O'nan's Sporadic Group
    Innovations in Incidence Geometry Volume 15 (2017), Pages 73–121 ISSN 1781-6475 An alternative existence proof of the geometry of Ivanov–Shpectorov for O’Nan’s sporadic group Francis Buekenhout Thomas Connor In honor of J. A. Thas’s 70th birthday Abstract We provide an existence proof of the Ivanov–Shpectorov rank 5 diagram geometry together with its boolean lattice of parabolic subgroups and es- tablish the structure of hyperlines. Keywords: incidence geometry, diagram geometry, Buekenhout diagrams, O’Nan’s spo- radic group MSC 2010: 51E24, 20D08, 20B99 1 Introduction We start essentially but not exclusively from: • Leemans [26] giving the complete partially ordered set ΛO′N of conjugacy classes of subgroups of the O’Nan group O′N. This includes 581 classes and provides a structure name common for all subgroups in a given class; • the Ivanov–Shpectorov [24] rank 5 diagram geometry for the group O′N, especially its diagram ∆ as in Figure 1; ′ • the rank 3 diagram geometry ΓCo for O N due to Connor [15]; • detailed data on the diagram geometries for the groups M11 and J1 [13, 6, 27]. 74 F. Buekenhout • T. Connor 4 1 5 0 1 3 P h 1 1 1 2 Figure 1: The diagram ∆IvSh of the geometry ΓIvSh Our results are the following: • we get the Connor geometry ΓCo as a truncation of the Ivanov–Shpectorov geometry ΓIvSh (see Theorem 7.1); • using the paper of Ivanov and Shpectorov [24], we establish the full struc- ture of the boolean lattice LIvSh of their geometry as in Figure 17 (See Section 8); • conversely, within ΛO′N we prove the existence and uniqueness up to fu- ′ sion in Aut(O N) of a boolean lattice isomorphic to LIvSh.
    [Show full text]
  • [Math.NA] 10 Jan 2001 Plctoso H Dmoetmti Ler Odsrt O Discrete to Algebra [9]– Matrix Theory
    Idempotent Interval Analysis and Optimization Problems ∗ G. L. Litvinov ([email protected]) International Sophus Lie Centre A. N. Sobolevski˘ı([email protected]) M. V. Lomonosov Moscow State University Abstract. Many problems in optimization theory are strongly nonlinear in the traditional sense but possess a hidden linear structure over suitable idempotent semirings. After an overview of ‘Idempotent Mathematics’ with an emphasis on matrix theory, interval analysis over idempotent semirings is developed. The theory is applied to construction of exact interval solutions to the interval discrete sta- tionary Bellman equation. Solution of an interval system is typically NP -hard in the traditional interval linear algebra; in the idempotent case it is polynomial. A generalization to the case of positive semirings is outlined. Keywords: Idempotent Mathematics, Interval Analysis, idempotent semiring, dis- crete optimization, interval discrete Bellman equation MSC codes: 65G10, 16Y60, 06F05, 08A70, 65K10 Introduction Many problems in the optimization theory and other fields of mathe- matics are nonlinear in the traditional sense but appear to be linear over semirings with idempotent addition.1 This approach is developed systematically as Idempotent Analysis or Idempotent Mathematics (see, e.g., [1]–[8]). In this paper we present an idempotent version of Interval Analysis (its classical version is presented, e.g., in [9]–[12]) and discuss applications of the idempotent matrix algebra to discrete optimization theory. The idempotent interval analysis appears to be best suited for treat- ing problems with order-preserving transformations of input data. It gives exact interval solutions to optimization problems with interval un- arXiv:math/0101080v1 [math.NA] 10 Jan 2001 certainties without any conditions of smallness on uncertainty intervals.
    [Show full text]
  • A Characterization of Mathieu Groups by Their Orders and Character Degree Graphs
    ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS { N. 38{2017 (671{678) 671 A CHARACTERIZATION OF MATHIEU GROUPS BY THEIR ORDERS AND CHARACTER DEGREE GRAPHS Shitian Liu∗ School of Mathematical Science Soochow University Suzhou, Jiangsu, 251125, P. R. China and School of Mathematics and Statics Sichuan University of Science and Engineering Zigong Sichuan, 643000, China [email protected] and [email protected] Xianhua Li School of Mathematical Science Soochow University Suzhou, Jiangsu, 251125, P. R. China Abstract. Let G be a finite group. The character degree graph Γ(G) of G is the graph whose vertices are the prime divisors of character degrees of G and two vertices p and q are joined by an edge if pq divides some character degree of G. Let Ln(q) be the projective special linear group of degree n over finite field of order q. Xu et al. proved that the Mathieu groups are characterized by the order and one irreducible character 2 degree. Recently Khosravi et al. have proven that the simple groups L2(p ), and L2(p) where p 2 f7; 8; 11; 13; 17; 19g are characterizable by the degree graphs and their orders. In this paper, we give a new characterization of Mathieu groups by using the character degree graphs and their orders. Keywords: Character degree graph, Mathieu group, simple group, character degree. 1. Introduction All groups in this note are finite. Let G be a finite group and let Irr(G) be the set of irreducible characters of G. Denote by cd(G) = fχ(1) : χ 2 Irr(G)g, the set of character degrees of G.
    [Show full text]
  • The Theory of Finite Groups: an Introduction (Universitext)
    Universitext Editorial Board (North America): S. Axler F.W. Gehring K.A. Ribet Springer New York Berlin Heidelberg Hong Kong London Milan Paris Tokyo This page intentionally left blank Hans Kurzweil Bernd Stellmacher The Theory of Finite Groups An Introduction Hans Kurzweil Bernd Stellmacher Institute of Mathematics Mathematiches Seminar Kiel University of Erlangen-Nuremburg Christian-Albrechts-Universität 1 Bismarckstrasse 1 /2 Ludewig-Meyn Strasse 4 Erlangen 91054 Kiel D-24098 Germany Germany [email protected] [email protected] Editorial Board (North America): S. Axler F.W. Gehring Mathematics Department Mathematics Department San Francisco State University East Hall San Francisco, CA 94132 University of Michigan USA Ann Arbor, MI 48109-1109 [email protected] USA [email protected] K.A. Ribet Mathematics Department University of California, Berkeley Berkeley, CA 94720-3840 USA [email protected] Mathematics Subject Classification (2000): 20-01, 20DXX Library of Congress Cataloging-in-Publication Data Kurzweil, Hans, 1942– The theory of finite groups: an introduction / Hans Kurzweil, Bernd Stellmacher. p. cm. — (Universitext) Includes bibliographical references and index. ISBN 0-387-40510-0 (alk. paper) 1. Finite groups. I. Stellmacher, B. (Bernd) II. Title. QA177.K87 2004 512´.2—dc21 2003054313 ISBN 0-387-40510-0 Printed on acid-free paper. © 2004 Springer-Verlag New York, Inc. All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag New York, Inc., 175 Fifth Avenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis.
    [Show full text]
  • Copyrighted Material
    INDEX Abel, Niels Henrik, 234 algebraic manipulation, of integrand, finding by numerical methods, 367 abscissa, Web-H1 412 and improper integrals, 473 absolute convergence, 556, 557 alternating current, 324 as a line integral, 981 ratio test for, 558, 559 alternating harmonic series, 554 parametric curves, 369, 610 absolute error, 46 alternating series, 553–556 polar curve, 632 Euler’s Method, 501 alternating series test, 553, 560, 585 from vector viewpoint, 760, 761 absolute extrema amplitude arc length parametrization, 761, 762 Extreme-Value Theorem, 205 alternating current, 324 finding, 763, 764 finding on closed and bounded sets, simple harmonic motion, 124, properties, 765, 766 876–879 Web-P5 arccosine, 57 finding on finite closed intervals, 205, sin x and cos x, A21, Web-D7 Archimedean spiral, 626, 629 206 analytic geometry, 213, Web-F3 Archimedes, 253, 255 finding on infinite intervals, 206, 207 Anderson, Paul, 376 palimpsest, 255 functions with one relative extrema, angle(s), A1–A2, Web-A1–Web-A2 arcsecant 57 208, 209 finding from trigonometric functions, arcsine, 57 on open intervals, 207, 208 Web-A10 arctangent, 57 absolute extremum, 204, 872 of inclination, A7, Web-A10 area absolute maximum, 204, 872 between planes, 719, 720 antiderivative method, 256, 257 absolute minimum, 204, 872 polar, 618 calculated as double integral, 906, 907 absolute minimum values, 872 rectangular coordinate system, computing exact value of, 279 absolute value, Web-G1 A3–A4, Web-A3–Web-A4 definition, 277 and square roots, Web-G1, Web-B2 standard position,
    [Show full text]
  • How to Learn Trigonometry Intuitively | Betterexplained 9/26/15, 12:19 AM
    How To Learn Trigonometry Intuitively | BetterExplained 9/26/15, 12:19 AM (/) How To Learn Trigonometry Intuitively by Kalid Azad · 101 comments Tweet 73 Trig mnemonics like SOH-CAH-TOA (http://mathworld.wolfram.com/SOHCAHTOA.html) focus on computations, not concepts: TOA explains the tangent about as well as x2 + y2 = r2 describes a circle. Sure, if you’re a math robot, an equation is enough. The rest of us, with organic brains half- dedicated to vision processing, seem to enjoy imagery. And “TOA” evokes the stunning beauty of an abstract ratio. I think you deserve better, and here’s what made trig click for me. Visualize a dome, a wall, and a ceiling Trig functions are percentages to the three shapes http://betterexplained.com/articles/intuitive-trigonometry/ Page 1 of 48 How To Learn Trigonometry Intuitively | BetterExplained 9/26/15, 12:19 AM Motivation: Trig Is Anatomy Imagine Bob The Alien visits Earth to study our species. Without new words, humans are hard to describe: “There’s a sphere at the top, which gets scratched occasionally” or “Two elongated cylinders appear to provide locomotion”. After creating specific terms for anatomy, Bob might jot down typical body proportions (http://en.wikipedia.org/wiki/Body_proportions): The armspan (fingertip to fingertip) is approximately the height A head is 5 eye-widths wide Adults are 8 head-heights tall http://betterexplained.com/articles/intuitive-trigonometry/ Page 2 of 48 How To Learn Trigonometry Intuitively | BetterExplained 9/26/15, 12:19 AM (http://en.wikipedia.org/wiki/Vitruvian_Man) How is this helpful? Well, when Bob finds a jacket, he can pick it up, stretch out the arms, and estimate the owner’s height.
    [Show full text]
  • Algebraic Division by Zero Implemented As Quasigeometric Multiplication by Infinity in Real and Complex Multispatial Hyperspaces
    Available online at www.worldscientificnews.com WSN 92(2) (2018) 171-197 EISSN 2392-2192 Algebraic division by zero implemented as quasigeometric multiplication by infinity in real and complex multispatial hyperspaces Jakub Czajko Science/Mathematics Education Department, Southern University and A&M College, Baton Rouge, LA 70813, USA E-mail address: [email protected] ABSTRACT An unrestricted division by zero implemented as an algebraic multiplication by infinity is feasible within a multispatial hyperspace comprising several quasigeometric spaces. Keywords: Division by zero, infinity, multispatiality, multispatial uncertainty principle 1. INTRODUCTION Numbers used to be identified with their values. Yet complex numbers have two distinct single-number values: modulus/length and angle/phase, which can vary independently of each other. Since values are attributes of the algebraic entities called numbers, we need yet another way to define these entities and establish a basis that specifies their attributes. In an operational sense a number can be defined as the outcome of an algebraic operation. We must know the space where the numbers reside and the basis in which they are represented. Since division is inverse of multiplication, then reciprocal/contragradient basis can be used to represent inverse numbers for division [1]. Note that dual space, as conjugate space [2] is a space of functionals defined on elements of the primary space [3-5]. Although dual geometries are identical as sets, their geometrical structures are different [6] for duality can ( Received 18 December 2017; Accepted 03 January 2018; Date of Publication 04 January 2018 ) World Scientific News 92(2) (2018) 171-197 form anti-isomorphism or inverse isomorphism [7].
    [Show full text]
  • Mathematics Tables
    MATHEMATICS TABLES Department of Applied Mathematics Naval Postgraduate School TABLE OF CONTENTS Derivatives and Differentials.............................................. 1 Integrals of Elementary Forms............................................ 2 Integrals Involving au + b ................................................ 3 Integrals Involving u2 a2 ............................................... 4 Integrals Involving √u±2 a2, a> 0 ....................................... 4 Integrals Involving √a2 ± u2, a> 0 ....................................... 5 Integrals Involving Trigonometric− Functions .............................. 6 Integrals Involving Exponential Functions ................................ 7 Miscellaneous Integrals ................................................... 7 Wallis’ Formulas ................................................... ...... 8 Gamma Function ................................................... ..... 8 Laplace Transforms ................................................... 9 Probability and Statistics ............................................... 11 Discrete Probability Functions .......................................... 12 Standard Normal CDF and Table ....................................... 12 Continuous Probability Functions ....................................... 13 Fourier Series ................................................... ........ 13 Separation of Variables .................................................. 15 Bessel Functions ................................................... ..... 16 Legendre
    [Show full text]
  • F1.3YE2 Revision Notes on Group Theory 1 Introduction 2 Binary
    F1.3YE2 Revision Notes on Group Theory 1 Introduction By a group we mean a set together with some algebraic operation (such as addition or multiplication of numbers) that satisfies certain rules. There are many examples of groups in Mathematics, so it makes sense to understand their general theory, rather than try to reprove things every time we come across a new example. Common examples of groups include the set of integers together with addition, the set of nonzero real numbers together with multiplication, the set of invertible n n matrices together with matrix multiplication. × 2 Binary Operations The formal definition of a group uses the notion of a binary operation.A binary operation on a set A is a map A A A, written (a; b) a b. Examples include most of the∗ standard arithmetic operations× ! on the real or7! complex∗ numbers, such as addition (a + b), multiplication (a b), subtraction (a b). Other examples of binary operations (on suitably defined sets)× are exponentiation− ab (on the set of positive reals, for example), composition of functions, matrix addition and multiplication, subtraction, vector addition, vector procuct of 3-dimensional vectors, and so on. Definition A binary operation on a set A is commutative if a b = b a a; b A. ∗ ∗ ∗ 8 2 Addition and multiplication of numbers is commutative, as is addition of matri- ces or vectors, union and intersection of sets, etc. Subtraction of numbers is not commutative, nor is matrix multiplication. Definition A binary operation on a set A is associative if a (b c) = (a b) c a; b; c A.
    [Show full text]
  • Polytopes Derived from Sporadic Simple Groups
    Volume 5, Number 2, Pages 106{118 ISSN 1715-0868 POLYTOPES DERIVED FROM SPORADIC SIMPLE GROUPS MICHAEL I. HARTLEY AND ALEXANDER HULPKE Abstract. In this article, certain of the sporadic simple groups are analysed, and the polytopes having these groups as automorphism groups are characterised. The sporadic groups considered include all with or- der less than 4030387201, that is, all up to and including the order of the Held group. Four of these simple groups yield no polytopes, and the highest ranked polytopes are four rank 5 polytopes each from the Higman-Sims group, and the Mathieu group M24. 1. Introduction The finite simple groups are the building blocks of finite group theory. Most fall into a few infinite families of groups, but there are 26 (or 27 if 2 0 the Tits group F4(2) is counted also) which these infinite families do not include. These sporadic simple groups range in size from the Mathieu group 53 M11 of order 7920, to the Monster group M of order approximately 8×10 . One key to the study of these groups is identifying some geometric structure on which they act. This provides intuitive insight into the structure of the group. Abstract regular polytopes are combinatorial structures that have their roots deep in geometry, and so potentially also lend themselves to this purpose. Furthermore, if a polytope is found that has a sporadic group as its automorphism group, this gives (in theory) a presentation of the sporadic group over some generating involutions. In [6], a simple algorithm was given to find all polytopes acted on by a given abstract group.
    [Show full text]
  • Finite Simple Groups Which Projectively Embed in an Exceptional Lie Group Are Classified!
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 36, Number 1, January 1999, Pages 75{93 S 0273-0979(99)00771-5 FINITE SIMPLE GROUPS WHICH PROJECTIVELY EMBED IN AN EXCEPTIONAL LIE GROUP ARE CLASSIFIED! ROBERT L. GRIESS JR. AND A. J. E. RYBA Abstract. Since finite simple groups are the building blocks of finite groups, it is natural to ask about their occurrence “in nature”. In this article, we consider their occurrence in algebraic groups and moreover discuss the general theory of finite subgroups of algebraic groups. 0. Introduction Group character theory classifies embeddings of finite groups into classical groups. No general theory classifies embeddings into the exceptional complex al- gebraic group, i.e., one of G2(C), F4(C), E6(C), E7(C), E8(C). For exceptional groups, special methods seem necessary. Since the early 80s, there have been ef- forts to determine which central extensions of finite simple groups embed in an exceptional group. For short, we call this work a study of projective embeddings of finite simple groups into exceptional groups. Table PE on page 84 contains a summary. The classification program for finite subgroups of complex algebraic groups involves both existence of embeddings and their classification up to conjugacy. We have just classified embeddings of Sz(8) into E8(C) (there are three, up to E8(C)- conjugacy), thus settling the existence question for projective embeddings of finite simple groups into exceptional algebraic groups. The conjugacy part of the program is only partially resolved. The finite subgroups of the smallest simple algebraic group PSL(2; C)(upto conjugacy) constitute the famous list: cyclic, dihedral, Alt4, Sym4, Alt5.
    [Show full text]