DOCSLIB.ORG

Gabriela Olteanu WEDDERBURN DECOMPOSITION of GROUP

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Gabriela Olteanu WEDDERBURN DECOMPOSITION of GROUP Gabriela Olteanu WEDDERBURN DECOMPOSITION OF GROUP ALGEBRAS AND APPLICATIONS Gabriela Olteanu Wedderburn Decomposition of Group Algebras and Applications EDITURA FUNDAT¸IEI PENTRU STUDII EUROPENE Cluj-Napoca 2008 Editura Fundat¸iei pentru Studii Europene Str. Emanuel de Martonne, Nr. 1 Cluj–Napoca, Romania Director: Ion Cuceu c 2008 Gabriela Olteanu Descrierea CIP a Bibliotecii Nat¸ionale a Romˆaniei OLTEANU, GABRIELA Wedderburn decomposition of group algebras and applications / Gabriela Olteanu. - Cluj-Napoca : Editura Fundat¸iei pentru Studii Europene, 2008 Bibliogr. Index ISBN 978-973-7677-98-3 519.6 To my family Contents Preface 1 Notation 13 1 Preliminaries 15 1.1 Number fields and orders . 15 1.2 Group algebras and representations . 20 1.3 Units . 26 1.4 Crossed products . 29 1.5 Brauer groups . 32 1.6 Local fields . 43 1.7 Simple algebras over local fields . 49 1.8 Simple algebras over number fields . 52 1.9 Schur groups . 57 2 Wedderburn decomposition of group algebras 63 2.1 Strongly monomial characters . 64 2.2 An algorithmic approach of the Brauer–Witt Theorem . 68 2.3 A theoretical algorithm . 75 3 Implementation: the GAP package wedderga 79 3.1 A working algorithm . 80 3.2 Examples . 86 4 Group algebras of Kleinian type 93 4.1 Schur algebras of Kleinian type . 96 4.2 Group algebras of Kleinian type . 100 4.3 Groups of units . 106 i ii CONTENTS 5 The Schur group of an abelian number field 113 5.1 Factor set calculations . 114 5.2 Local index computations . 123 5.3 Examples and applications . 130 6 Cyclic cyclotomic algebras 133 6.1 Ring isomorphism of cyclic cyclotomic algebras . 133 6.2 The subgroup generated by cyclic cyclotomic algebras ............. 138 Conclusions and perspectives 151 Bibliography 153 Index 163 Preface Group rings are algebraic structures that have attracted the attention of many mathe- maticians since they combine properties of both groups and rings and have applications in many areas of Mathematics. Their study often requires techniques from Representa- tion Theory, Group Theory, Ring Theory and Number Theory and, in some cases, the use of properties of central simple algebras or local methods. By the Maschke Theo- rem, if G is a finite group and F is a field of characteristic not dividing the order of the group G, then the group algebra FG is semisimple artinian. In this case, the structure of FG is quite easy, but the explicit computation of the Wedderburn decomposition of the group algebra knowing the group G and the field F is not always an easy prob- lem. On the other hand, the explicit knowledge of the Wedderburn decomposition has applications to different problems. The Wedderburn decomposition of a semisimple group algebra FG is the decom- position of FG as a direct sum of simple algebras, that is, minimal two-sided ideals. Our main motivation for the study of the Wedderburn decomposition of group algebras is given by its applications. The main applications that we are interested in are the study of the groups of units of group rings with coefficients of arithmetic type and of the Schur groups of abelian number fields. Other applications of the Wedderburn decomposition that, even if not extensively studied in this book we have had in mind during its preparation, are the study of the automorphism group of group algebras, of the Isomorphism Problem for group algebras and of the error correcting codes with ideal structure in a finite group algebra, known as group codes. We start by presenting with more details the first application, which is the com- putation of units of group rings relying on the Wedderburn decomposition of group algebras. It is well known that the integral group ring ZG is a Z-order in the rational group algebra QG and it has been shown that a good knowledge and understanding of QG is an essential tool for the study of U(ZG). For example, some results of E. Jespers and G. Leal and of J. Ritter and S.K. Sehgal [JL, RitS2] show that, under some 1 2 PREFACE hypotheses, the Bass cyclic units and the bicyclic units (see Section 1.3. for definitions) generate a subgroup of finite index in U(ZG). These hypotheses are usually expressed in terms of the Wedderburn decomposition of the rational group algebra QG. Their theorems were later used by E. Jespers, G. Leal and C. Polcino Milies [JLPo] to char- acterize the groups G that are a semidirect product of a cyclic normal subgroup and a subgroup of order 2 such that the Bass cyclic units and the bicyclic units generate a subgroup of finite index in U(ZG). This latter characterization also had as starting point the computation of the Wedderburn decomposition of QG for these groups. As a consequence of a result of B. Hartley and P.F. Pickel [HP], if the finite group G is neither abelian nor isomorphic to Q8 × A, for Q8 the quaternion group with 8 elements and A an elementary abelian 2-group, then U(ZG) contains a non-abelian free group. The finite groups for which U(ZG) has a non-abelian free subgroup of finite index were characterized by E. Jespers [Jes]. Furthermore, the finite groups such that U(ZG) has a subgroup of finite index which is a direct product of free groups were classified by E. Jespers, G. Leal and A.´ del R´ıoin a series of articles [JLdR, JL, LdR]. In order to obtain the classification, they used the characterization of these groups in terms of the Wedderburn components of the corresponding rational group algebra. Furthermore, for every such group G, M. Ruiz and A.´ del R´ıoexplicitly constructed a subgroup of U(ZG) that had the desired structure and minimal index among the ones that are products of free groups [dRR]. Again, a fundamental step in the used arguments is based on the knowledge of the Wedderburn decomposition of the rational group algebra. The use of the methods of Kleinian groups in the study of the groups of units was started by M. Ruiz [Rui], A. Pita, A.´ del R´ıo and M. Ruiz [PdRR] and led to the notion of algebra of Kleinian type and of finite group of Kleinian type. The classification of the finite groups of Kleinian type has been done by E. Jespers, A. Pita, A.´ del R´ıo and P. Zalesski, by using again useful information on the Wedderburn components of the corresponding rational group algebras [JPdRRZ]. One of the first applications of the present book is a generalization of these results, obtaining a classification of the group algebras of Kleinian type of finite groups over number fields [OdR3]. This is explained in detail in Chapter 4 of the present book, dedicated to the applications of the Wedderburn decomposition to the study of the group algebras of Kleinian type. Another important application is to the study of the automorphism group of a semisimple group algebra. The automorphism group of a semisimple algebra can be computed by using the automorphism groups of the simple components of its Wedder- burn decomposition. By the Skolem–Noether Theorem, the automorphism group of PREFACE 3 every simple component S can be determined by using the automorphism group of the center of S and the group of inner automorphisms of S. These ideas were developed by S. Coelho, E. Jespers, C. Polcino Milies, A. Herman, A. Olivieri, A.´ del R´ıoand J.J. Sim´onin a series of articles [CJP, Her3, OdRS2], where the automorphism group of group algebras of finite groups with rational coefficients is studied. The same type of considerations shows that the Isomorphism Problem for semisimple group algebras can be reduced to the computation of the Wedderburn decomposition of such algebras and to the study of the existence of isomorphisms between the simple components. On the other hand, the knowledge of the Wedderburn decomposition of a group algebra FG allows one to compute explicitly all two-sided ideals of FG. This has direct applications to the study of error correcting codes, in the case when F is a finite field, since the majority of the most used codes in practice are ideals of group rings. For example, this is the case of cyclic codes, which are exactly the ideals of the group algebras of cyclic groups [PH]. In the last years, some authors have investigated families of group codes having in mind the applications to Coding Theory (see for the example the survey [KS]). The problem of computing the Wedderburn decomposition of a group algebra FG naturally leads to the problem of computing the primitive central idempotents of FG. The classical method used to do this starts by calculating the primitive central idempo- tents e(χ) of CG associated to the irreducible characters of G, for which there is a well known formula, and continues by summing up all the primitive central idempotents of the form e(σ ◦ χ) with σ ∈ Gal(F (χ)/F ) (see for example Proposition 1.24, Section 1.2). An alternative method to compute the primitive central idempotents of QG, for G a finite nilpotent group, that does not use the character table of G has been intro- duced by E. Jespers, G. Leal and A. Paques [JLPa]. A. Olivieri, A.´ del R´ıoand J.J. Sim´on[OdRS1] pointed out that this method relies on the fact that nilpotent groups are monomial and, using a theorem of Shoda [Sho], they gave an alternative presentation. In this way, the method that shows how to produce the primitive central idempotents of QG, for G a finite monomial group, depends on certain pairs of subgroups (H, K) of G and it was simplified in [OdRS1].
Load more

Recommended publications
  • Ring (Mathematics) 1 Ring (Mathematics)
    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
    [Show full text]
  • Zaneville Testimonial Excerpts and Reminisces
    Greetings Dean & Mrs. “Jim” Fonseca, Barbara & Abe Osofsky, Surender Jain, Pramod Kanwar, Sergio López-Permouth, Dinh Van Huynh& other members of the Ohio Ring “Gang,” conference speakers & guests, Molly & I are deeply grateful you for your warm and hospitable welcome. Flying out of Newark New Jersey is always an iffy proposition due to the heavy air traffic--predictably we were detained there for several hours, and arrived late. Probably not coincidently, Barbara & Abe Osofsky, Christian Clomp, and José Luis Gómez Pardo were on the same plane! So we were happy to see Nguyen Viet Dung, Dinh Van Huynh, and Pramod Kanwar at the Columbus airport. Pramod drove us to the Comfort Inn in Zanesville, while Dinh drove Barbara and Abe, and José Luis & Christian went with Nguyen. We were hungry when we arrived in Zanesville at the Comfort Inn, Surender and Dinh pointed to nearby restaurants So, accompanied by Barbara & Abe Osofsky and Peter Vámos, we had an eleventh hour snack at Steak and Shake. (Since Jose Luis had to speak first at the conference, he wouldn’t join us.) Molly & I were so pleased Steak and Shake’s 50’s décor and music that we returned the next morning for breakfast. I remember hearing“You Are So Beautiful,” “Isn’t this Romantic,” and other nostalgia-inducing songs. Rashly, I tried to sing a line from those two at the Banquet, but fell way short of Joe Cocker’s rendition of the former. (Cocker’s is free to hear on You Tube on the Web.) Zanesville We also enjoyed other aspects of Zanesville and its long history.
    [Show full text]
  • Scientific Workplace· • Mathematical Word Processing • LATEX Typesetting Scientific Word· • Computer Algebra
    Scientific WorkPlace· • Mathematical Word Processing • LATEX Typesetting Scientific Word· • Computer Algebra (-l +lr,:znt:,-1 + 2r) ,..,_' '"""""Ke~r~UrN- r o~ r PooiliorK 1.931'J1 Po6'lf ·1.:1l26!.1 Pod:iDnZ 3.881()2 UfW'IICI(JI)( -2.801~ ""'"""U!NecteoZ l!l!iS'11 v~ 0.7815399 Animated plots ln spherical coordln1tes > To make an anlm.ted plot In spherical coordinates 1. Type an expression In thr.. variables . 2 WMh the Insertion poilt In the expression, choose Plot 3D The next exampfe shows a sphere that grows ftom radius 1 to .. Plot 3D Animated + Spherical The Gold Standard for Mathematical Publishing Scientific WorkPlace and Scientific Word Version 5.5 make writing, sharing, and doing mathematics easier. You compose and edit your documents directly on the screen, without having to think in a programming language. A click of a button allows you to typeset your documents in LAT£X. You choose to print with or without LATEX typesetting, or publish on the web. Scientific WorkPlace and Scientific Word enable both professionals and support staff to produce stunning books and articles. Also, the integrated computer algebra system in Scientific WorkPlace enables you to solve and plot equations, animate 20 and 30 plots, rotate, move, and fly through 3D plots, create 3D implicit plots, and more. MuPAD' Pro MuPAD Pro is an integrated and open mathematical problem­ solving environment for symbolic and numeric computing. Visit our website for details. cK.ichan SOFTWARE , I NC. Visit our website for free trial versions of all our products. www.mackichan.com/notices • Email: info@mac kichan.com • Toll free: 877-724-9673 It@\ A I M S \W ELEGRONIC EDITORIAL BOARD http://www.math.psu.edu/era/ Managing Editors: This electronic-only journal publishes research announcements (up to about 10 Keith Burns journal pages) of significant advances in all branches of mathematics.
    [Show full text]
  • Joseph Wedderburn
    Joseph Wedderburn Joseph Wedderburn Maclagan Henry (1882-1948) 02 februarie 1882 Născut Forfar , Angus , Scoţia 09 octombrie 1948 (cu vârsta 66) Decedat Princeton, New Jersey , Statele Unite ale Americii Reşedinţă Statele Unite ale Americii Cetăţenie American Naţionalitate Scoţian Domenii Matematician Instituţii Universitatea Princeton Alma Mater Universitatea din Edinburgh De doctorat George Chrystal Merrill Flood Doctoranzi Nathan Jacobson Ernst Snapper Cunoscut pentru Artin-Wedderburn teorema premii MacDougall-Brisbane Medalia de aur notabile Joseph Henry Maclagan Wedderburn (02 februarie 1882 Forfar, Angus , Scoţia - 9 octombrie 1948, Princeton, New Jersey ) a fost un matematician scoţian, care a predat la Universitatea Princeton pentru cea mai mare din cariera sa. Algebrist de prestigiu , el a dovedit că orice corp finit este comutativ , şi o parte a teoremei Artin-Wedderburn referitoare la algebre. De asemenea, el a lucrat in teoria grupurilor si algebra matricilor . Viaţa si opera Joseph Wedderburn a fost al zecelea din cei 14 copii ai medicului Alexander Wedderburn şi ai Ogilvie Anne. În 1898, el a intrat la Universitatea din Edinburgh . In 1903, el a publicat primele trei lucrari, a lucrat ca asistent la Laboratorul de Fizică a Universităţii, şi a obţinut o diplomă MA cu onoruri deosebite în matematică. A studiat apoi timp scurt la Universitatea din Leipzig şi Universitatea din Berlin, unde s-a întâlnit cu algebriştii Frobenius şi Schur. O Bursa Carnegie i-a permis să-şi petreacă anul universitar 1904-1905 la Universitatea din Chicago, unde a lucrat cu Oswald Veblen , EH Moore , şi cel mai important, Leonard Dickson , care avea să devină cel mai important algebrist american al acelor timpuri.
    [Show full text]
  • Non-Desarguian Geometries and the Foundations of Geometry from David Hilbert to Ruth Moufang
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Historia Mathematica 31 (2004) 320–336 www.elsevier.com/locate/hm Non-Desarguian geometries and the foundations of geometry from David Hilbert to Ruth Moufang Cinzia Cerroni Dipartimento di Matematica ed Applicazioni, Università degli Studi di Palermo, Palermo, Italy Available online 19 November 2003 Abstract In this work, we study the development of non-Desarguian geometry from David Hilbert to Ruth Moufang. We will see that a geometric model became a complicated interrelation between algebra and geometry. 2003 Elsevier Inc. All rights reserved. Sommario In questo articolo analizziamo lo sviluppo della geometria non-Desarguesiana, da David Hilbert a Ruth Moufang. Come vedremo, da un iniziale modello geometrico si arriverà ad una sottile interrelazione tra proprietà algebriche e proprietà geometriche di queste geometrie. 2003 Elsevier Inc. All rights reserved. MSC: 01A70; 01A60; 51A35; 05B35; 17D05 Keywords: David Hilbert; Forest Ray Moulton; Joseph H.M. Wedderburn; Oswald Veblen; Max Dehn; Ruth Moufang; Non-Desarguesian geometry; Quasifield; Alternative ring 1. Introduction In 1899, David Hilbert published the Grundlagen der Geometrie, a book that opened up research in the foundations of geometry. In fact, the Grundlagen took the axiomatic method both as a culmination of geometry and as the beginning of a new phase of research. In that new phase, the links between the postulates were not seen as the cold expression of their logical relations or interdependence, but as the creation of new geometries having equal importance at the research level. For example, the independence E-mail address: [email protected].
    [Show full text]
  • Noether's Contribution to the Rise of the Structural Approach in Algebra
    Noether’s Contribution to the Rise of the Structural Approach in Algebra Leo Corry ‚ Tel Aviv University To appear in: Proving It Her Way. Emmy Noether, a Life in Mathematics. Edited by David Rowe and Mechthild Koreuber. Springer (2020). Contents Introduction...................................................................................................1 What is that thing called “structural algebra”? ....................................................3 What is, then, that thing called „classical algebra“: ..............................................4 Dedekind’s Ideals............................................................................................7 Polynomials and Factorization ........................................................................ 10 From p-adic numbers to abstract fields ............................................................ 12 Noether’s Abstract Rings................................................................................ 13 Other works in Algebra in the early 20th Century .............................................. 17 Concluding Remarks ...................................................................................... 19 References................................................................................................... 20 Introduction The centrality of the notion of a mathematical structure was a prominent motif in mathematical discourse throughout the twentieth century. A representative instance of this appears in a well- known article of 1979 by Jean Dieudonné (1906-1922),
    [Show full text]
  • A Historical Perspective of the Theory of Isotopisms
    Article A Historical Perspective of the Theory of Isotopisms Raúl M. Falcón 1,* , Óscar J. Falcón 2 and Juan Núñez 2 1 Department Applied Mathematics I, University of Sevilla, 41004 Seville, Spain 2 Department Geometry and Topology, University of Sevilla, 41004 Seville, Spain; [email protected] (Ó.J.F.); [email protected] (J.N.) * Correspondence: [email protected]; Tel.: +34-954-550-158 Received: 23 May 2018; Accepted: 31 July 2018; Published: 3 August 2018 Abstract: In the middle of the twentieth century, Albert and Bruck introduced the theory of isotopisms of non-associative algebras and quasigroups as a generalization of the classical theory of isomorphisms in order to study and classify such structures according to more general symmetries. Since then, a wide range of applications have arisen in the literature concerning the classification and enumeration of different algebraic and combinatorial structures according to their isotopism classes. In spite of that, there does not exist any contribution dealing with the origin and development of such a theory. This paper is a first approach in this regard. Keywords: isotopism; classification; non-associative algebra; quasigroup; Latin square MSC: 17B40; 16D70; 17B60; 05B15 1. Introduction In Mathematics, the most usual criterion for determining symmetries within any given algebraic or combinatorial structure is based on the study of its automorphism group, that is, on the set of isomorphisms from the object under consideration to itself so that all its defining properties are preserved. Any such an automorphism is indeed considered as a symmetry of the structure in question. In particular, if two mathematical objects of the same type (that is, sharing exactly the same defining properties) are isomorphic, then their corresponding automorphism groups are also isomorphic, and, hence, they are actually considered to have the same kind of symmetries.
    [Show full text]
  • Emil Artin – Mathematiker Von Weltruf
    Karin Reich Emil Artin – Mathematiker von Weltruf aus: Rainer Nicolaysen (Hg.) Das Hauptgebäude der Universität Hamburg als Gedächtnisort Mit sieben Porträts in der NS-Zeit vertriebener Wissenschaftlerinnen und Wissenschaftler S. 141–170 Hamburg University Press Verlag der Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky Impressum Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen National- bibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar. Die Online-Version dieser Publikation ist auf den Verlagswebseiten frei verfügbar (open access). Die Deutsche Nationalbibliothek hat die Netzpublikation archiviert. Diese ist dauerhaft auf dem Archivserver der Deutschen Nationalbibliothek verfügbar. Open access über die folgenden Webseiten: Hamburg University Press – http://hup.sub.uni-hamburg.de/purl/HamburgUP_Nicolaysen_Hauptgebaeude Archivserver der Deutschen Nationalbibliothek – http://deposit.d-nb.de ISBN 978-3-937816-84-5 (Printversion) © 2011 Hamburg University Press, Verlag der Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky, Deutschland Produktion: Elbe-Werkstätten GmbH, Hamburg, Deutschland http://www.ew-gmbh.de [Covergestaltung: Benjamin Guzinski, Hamburg Abbildung auf dem Cover: UHH/Schell] Abbildungsnachweis: Abb. 1, 2, 3, 5 Tom Artin, Sparkill/New York, USA Abb. 4 Museum für Kunst und Gewerbe Hamburg (Estate of Natascha A. Brunswick) Abb. 6 Staatsarchiv Hamburg Abb. 7 Robert
    [Show full text]
  • EVERY FINITE DIVISION RING IS a FIELD 1. Introduction in This Report
    EVERY FINITE DIVISION RING IS A FIELD PETER PHELAN 1. Introduction In this report, we refer to R as a ring with multiplicative identity e. The proof presented by Daniel Matthews blends together an interesting mix of ingredients, group theory, linear algebra and complex numbers to arrive at a rather surprising result. As Daniel pointed out, what makes this result so unexpected is that it establishes a connection between the number of elements in a division ring and its multiplication being commutative. Originally proven by Joseph Wedderburn in 1905, it is often referred to as Wedderburn's theorem or Wedderburn's little theorem. 2. Wedderburn's Theorem Wedderburn's theorem states that every finite division ring is a field. This is equivalent to the statement that every finite division ring is commutative, a point made clear by the following presentation of the well known definitions. Definition 2.1. A ring is a set R equipped with the binary operations + and · such that (R; +) is an abelian group and (R; ·) is a monoid where multiplication is distributive with respect to addition. Definition 2.2. A division ring is a non-trivial ring R where every element has a multiplicative inverse. Definition 2.3. A field is a non-trivial division ring R where multiplication is required to be commutative. Before proceeding with the proof, we should recall some preliminary group the- ory. Suppose R is a division ring and r 2 R. Definition 2.4. The centraliser of r is the set Cr(R) = fx 2 R j xr = rxg. Definition 2.5.
    [Show full text]
  • Basic Algebra
    Prof. D. P.Patil, Department of Mathematics, Indian Institute of Science, Bangalore May-July 2003 Basic Algebra 6. Homomorphisms of rings Ferdinand Georg Frobenius† Joseph Henry Maclagen Wedderburn†† (1849-1917) (1882-1948) X 6.1. Let X be a set ane let P(X) be the power set ring of X. The map e : P(X) → (K2) , that assigns every subset A ⊆ X to its characteristic funktion eA (which maps x → 1ifx ∈ A and x → 0ifx/∈ A), is an isomorphism of rings of the ring P(X) onto the X–fold direct product of K2. A permutation σ of X induces the permutation σ of P(X) with σ (A) := σ (A) ={σ(x) : x ∈ A} for A ∈ P(X).Forσ ∈ S(X), σ ∈ Aut P(X), and the map σ → σ is an isomorphism of groups from the group S(X) onto Aut P(X). 6.2. Let ϕ : A → A be a homomorphism of rings. For a ring B denote B (ϕ) : Hom(B, A) → Hom(B, A ) and B (ϕ) : Hom(A ,B) → Hom(A, B) the cannonical maps (on the sets of ring homomorphisms) with τ → ϕτ resp. σ → σϕ. a). ϕ is injective if and only if B (ϕ) is injective for all rings B. (Hint : Construct the ring Z × (Kern ϕ) and consider the ring homomorphism Z × (Kern ϕ) → A defined by (n, a) → n · 1A + a and (n, a) → n · 1A.) b). If ϕ is surjective, then B (ϕ) is injective for all rings B. (Remark : The converse does not hold: For every ring B, B (Z → Q) is injective, but the inclusion Z → Q is not surjective.) 6.3.
    [Show full text]
  • Idempotents in Group Algebras and Applications to Units
    Vrije Universiteit Brussel - Faculty of Science and Bio-engineering Sciences Group representations: idempotents in group algebras and applications to units Graduation thesis submitted in fulfillment of the requirements for the degree of Doctor in Sciences Author: Promotor: Inneke Van Gelder Prof. Dr. Eric Jespers Copromotor: Prof. Dr. Gabriela Olteanu march 2015 ACKNOWLEDGMENTS Ik zou graag iedereen willen bedanken die, elk op zijn manier, heeft bijgedragen tot de realisatie van deze doctoraatsthesis. Eerst en vooral zou ik graag mijn promotor Eric Jespers willen bedanken. Hij heeft zijn enthousiasme voor groepsringen op mij overgedragen door zijn interessante cursussen en boeiende lezingen. Door zijn ruime kennissenkring kwam ik in contact met verschillende vriendelijke wiskundigen waar ik veel van heb kunnen leren. I owe a very special thank you to my copromotor Gabriela Olteanu. I would like to thank her for her hospitality during my stays in Romania, for her support, both professional and personal. Thanks for the nice cooperations and the very careful proofreading of our joint works. Also my gratitude is expressed to my co-authors Andreas B¨achle, Mauricio Caicedo, Angel´ del R´ıo,Florian Eisele and Ann Kiefer for the pleasant and enriching collaborations. Thanks to Allen Herman and Alexander Konovalov for the very interesting discussions about GAP and wedderga. Vervolgens zou ik ook graag mijn collega's Andreas, Ann, Mauricio en Sara willen bedanken voor het nalezen van en hun kritische opmerkingen op een eerste versie van mijn doctoraatsthesis. Graag zou ik alle collega's van de Vrije Universiteit Brussel, en in het bijzonder Philippe, Sara, Ann, Karen en Timmy, willen bedanken voor de fijne lunches, ontspannende koffiepauzes, toffe babbels, filmavonden, wiskundige nevenactiviteiten en zoveel meer! Verder ben ik ook dank verschuldigd aan het Fonds voor Wetenschappelijk Onderzoek om mij gedurende vier jaar financieel te ondersteunen.
    [Show full text]
  • Notices of the American Mathematical Society ISSN 0002-9920
    Notices of the American Mathematical Society ISSN 0002-9920 springer.com New and Noteworthy from Springer Lie Sphere How Does One Cut a Triangle? Random Curves nd of the American Mathematical Society Geometry 2 A. Soifer, University of Colorado, Colorado Journeys of a Mathematician EDITION November 2007 Volume 54, Number 10 With Applications Springs, CO, USA N. I. Koblitz , University of Washington, Seattle, to Submanifolds This title demonstrates how diff erent areas WA, USA T. E. Cecil , College of the Holy Cross, of mathematics can be juxtaposed in the These autobiographical memoirs of Neal Worcester, MA, USA solution of any given problem by presenting Koblitz, coinventor of one of the two most an interesting problem, “How does one cut a This book begins with Lie’s construction of the popular forms of encryption and digital triangle?”. By providing analytical proofs and space of spheres, including the fundamental signature, cover many topics besides his own counterexamples, he proves that research is notions of oriented contact, parabolic pencils personal career in mathematics and a collection of mathematical ideas developed of spheres and Lie sphere transformation. The cryptography - travels to the Soviet Union, throughout the course of history. Latin America, Vietnam and elsewhere, link with Euclidean submanifold theory is established via the Legendre map, providing a I very warmly recommend the book and political activism, and academic controversies framework for the study of submanifolds, hope the readers will have pleasure in thinking relating to math education, the C. P. Snow especially those characterized by restrictions about the unsolved problems and will nd new two-culture problem, and mistreatment of on their curvature spheres.
    [Show full text]