Group Theory

Total Page:16

File Type:pdf, Size:1020Kb

Group Theory Group Theory J.S. Milne Version 3.11 March 28, 2011 S3 Â1 2 3à r D 2 3 1 Â1 2 3à f D 1 3 2 The first version of these notes was written for a first-year grad- uate algebra course. As in most such courses, the notes concen- trated on abstract groups and, in particular, on finite groups. However, it is not as abstract groups that most mathematicians encounter groups, but rather as algebraic groups, topological groups, or Lie groups, and it is not just the groups themselves that are of interest, but also their linear representations. It is my intention (one day) to expand the notes to take account of this, and to produce a volume that, while still modest in size (c200 pages), will provide a more comprehensive introduction to group theory for beginning graduate students in mathemat- ics, physics, and related fields. BibTeX information @misc{milneGT, author={Milne, James S.}, title={Group Theory (v3.11)}, year={2011}, note={Available at www.jmilne.org/math/}, pages={135} } Please send comments and corrections to me at the address on my website www.jmilne.org/math/. v2.01 (August 21, 1996). First version on the web; 57 pages. v2.11 (August 29, 2003). Fixed many minor errors; numbering unchanged; 85 pages. v3.00 (September 1, 2007). Revised and expanded; 121 pages. v3.01 (May 17, 2008). Minor fixes and changes; 124 pages. v3.02 (September 21, 2009). Minor fixes; changed TeX styles; 127 pages. v3.10 (September 24, 2010). Many minor improvements; 131 pages. v3.11 (March 28, 2011). Minor additions; 135 pages. The multiplication table of S3 on the front page was produced by Group Explorer. Copyright c 1996, 2002, 2003, 2007, 2008, 2010, 2011 J.S. Milne. Single paper copies for noncommercial personal use may be made without explicit permission from the copyright holder. Contents Contents 3 1 Basic Definitions and Results 11 Definitions and examples . 11 Multiplication tables . 21 Subgroups . 22 Groups of small order . 28 Homomorphisms . 30 Cosets . 32 Normal subgroups . 35 Kernels and quotients . 39 Theorems concerning homomorphisms . 42 Direct products . 46 Commutative groups . 49 The order of ab .................... 57 Exercises . 58 2 Free Groups and Presentations; Coxeter Groups 61 Free monoids . 62 Free groups . 63 3 Generators and relations . 69 Finitely presented groups . 74 Coxeter groups . 76 Exercises . 80 3 Automorphisms and Extensions 83 Automorphisms of groups . 83 Characteristic subgroups . 88 Semidirect products . 89 Extensions of groups . 97 The Holder¨ program. 101 Exercises . 105 4 Groups Acting on Sets 109 Definition and examples . 109 Permutation groups . 124 The Todd-Coxeter algorithm. 136 Primitive actions. 139 Exercises . 142 5 The Sylow Theorems; Applications 147 The Sylow theorems . 148 Alternative approach to the Sylow theorems . 155 Examples . 156 Exercises . 163 6 Solvable and Nilpotent Groups 165 Subnormal Series. 165 Solvable groups . 170 Nilpotent groups . 176 4 Groups with operators . 183 Krull-Schmidt theorem . 187 Exercises . 189 7 Representations of Finite Groups 191 Matrix representations . 192 Roots of 1 in fields . 193 Linear representations . 194 Maschke’s theorem . 195 The group algebra; semisimplicity . 200 Semisimple modules . 201 Simple F -algebras and their modules . 203 Semisimple F -algebras and their modules . 212 The representations of G . 216 The characters of G . 219 The character table of a group . 225 Examples . 225 Exercises . 225 A Additional Exercises 229 B Solutions to the Exercises 239 C Two-Hour Examination 253 Bibliography 259 Index 263 5 NOTATIONS. We use the standard (Bourbaki) notations: N 0;1;2;::: ; Z D f g is the ring of integers; Q is the field of rational numbers; R is the field of real numbers; C is the field of complex numbers; Fq is a finite field with q elements where q is a power of a prime number. In particular, Fp Z=pZ for p a prime number. For integers m and n,Dm n means that m divides n, i.e., j n mZ. Throughout the notes, p is a prime number, i.e., p 2 2;3;5;7;11;:::;1000000007;:::. DGiven an equivalence relation, Œ denotes the equivalence class containing . The empty set is denoted by . The car- dinality of a set S is denoted by S (so S is the; number of elements in S when S is finite). Letj jI andj Aj be sets; a family of elements of A indexed by I , denoted .ai /i I , is a function 1 2 i ai I A. 7!RingsW are! required to have an identity element 1, and ho- momorphisms of rings are required to take 1 to 1. An element a of a ring is a unit if it has an inverse (element b such that ab 1 ba). The identity element of a ring is required to act as 1Don aD module over the ring. X YX is a subset of Y (not necessarily proper); def X YX is defined to be Y , or equals Y by definition; X D YX is isomorphic to Y ; X YX and Y are canonically isomorphic (or there is a given or unique isomorphism); ' 1A family should be distinguished from a set. For example, if f is the func- tion Z Z=3Z sending an integer to its equivalence class, then f .i/ i Z ! f j 2 g is a set with three elements whereas .f .i//i Z is family with an infinite index set. 2 6 PREREQUISITES An undergraduate “abstract algebra” course. COMPUTER ALGEBRA PROGRAMS GAP is an open source computer algebra program, emphasiz- ing computational group theory. To get started with GAP, I recommend going to Alexander Hulpke’s page http://www. math.colostate.edu/~hulpke/CGT/education.html where you will find versions of GAP for both Windows and Macs and a guide “Abstract Algebra in GAP”. The Sage page http://www.sagemath.org/ provides a front end for GAP and other programs. I also recommend N. Carter’s “Group Explorer” http://groupexplorer.sourceforge.net for exploring the structure of groups of small order. Earlier versions of these notes (v3.02) described how to use Maple for computations in group theory. ACKNOWLEDGEMENTS I thank the following for providing corrections and com- ments for earlier versions of these notes: Tony Bruguier, Dustin Clausen, Benoˆıt Claudon, Keith Conrad, Demetres Christofides, Adam Glesser, Sylvan Jacques, Martin Klazar, Mark Meckes, Victor Petrov, Efthymios Sofos, Dave Simpson, Robert Thompson, Michiel Vermeulen. Also, I have benefited from the posts to mathover- flow by Richard Borcherds, Robin Chapman, Steve Dal- ton, Leonid Positselski, Noah Snyder, Richard Stanley, 7 Qiaochu Yuan, and others (a reference monnnn means http://mathoverflow.net/questions/nnnn/). 8 The theory of groups of finite order may be said to date from the time of Cauchy. To him are due the first attempts at classifica- tion with a view to forming a theory from a number of isolated facts. Galois introduced into the theory the exceedingly impor- tant idea of a [normal] sub-group, and the corresponding divi- sion of groups into simple and composite. Moreover, by shewing that to every equation of finite degree there corresponds a group of finite order on which all the properties of the equation de- pend, Galois indicated how far reaching the applications of the theory might be, and thereby contributed greatly, if indirectly, to its subsequent developement. Many additions were made, mainly by French mathemati- cians, during the middle part of the [nineteenth] century. The first connected exposition of the theory was given in the third edition of M. Serret’s “Cours d’Algebre` Superieure,´ ” which was published in 1866. This was followed in 1870 by M. Jordan’s “Traite´ des substitutions et des equations´ algebriques.´ ” The greater part of M. Jordan’s treatise is devoted to a developement of the ideas of Galois and to their application to the theory of equations. No considerable progress in the theory, as apart from its ap- plications, was made till the appearance in 1872 of Herr Sylow’s memoir “Theor´ emes` sur les groupes de substitutions” in the fifth volume of the Mathematische Annalen. Since the date of this memoir, but more especially in recent years, the theory has ad- vanced continuously. W. Burnside, Theory of Groups of Finite Order, 1897. Galois introduced the concept of a normal subgroup in 1832, and Camille Jordan in the preface to his Traite.´ . in 1870 flagged Galois’ distinction between groupes simples and groupes com- posees´ as the most important dichotomy in the theory of permu- tation groups. Moreover, in the Traite´, Jordan began building a database of finite simple groups — the alternating groups of de- gree at least 5 and most of the classical projective linear groups over fields of prime cardinality. Finally, in 1872, Ludwig Sylow published his famous theorems on subgroups of prime power order. R. Solomon, Bull. Amer. Math. Soc., 2001. Why are the finite simple groups classifiable? It is unlikely that there is any easy reason why a classification is possible, unless someone comes up with a completely new way to classify groups. One problem, at least with the current methods of classification via centralizers of involutions, is that every simple group has to be tested to see if it leads to new simple groups containing it in the centralizer of an involution. For example, when the baby monster was discovered, it had a double cover, which was a potential centralizer of an involution in a larger simple group, which turned out to be the monster. The monster happens to have no double cover so the process stopped there, but without checking every finite simple group there seems no obvious reason why one cannot have an infinite chain of larger and larger sporadic groups, each of which has a double cover that is a centralizer of an involution in the next one.
Recommended publications
  • General Regulations for Series Run on Circuits / Automobile Sport (As on 29.05.2020)
    General Regulations for Series run on Circuits / Automobile Sport (as on 29.05.2020) Name of the Series: Tourenwagen Classics 2020 DMSB Visa Number: 631/20 Status of the Series/Events: National A Plus incl. NSAFP This series is to make the heroic appearances of the 'golden era' of touring car racing of the 70s, 80s and 90s with all their personalities and vehicles back in the race. A sporty field for private drivers and ex-professionals who want to use their technically complex racing cars in the demanding but cost-conscious setting. Only vehicles that are in their appearance from that era and are seen in those series such as DTM, DRM, STW, BTCC, ETCC or other similar series are addressed. At designated events and by invitation only, the vehicle field will be supplemented by the heroes of the German Racing Championship (formerly DRM) and other iconic cars known , in order to be able to offer organizers, fans and drivers a thrilling spectrum of motorsport history Promoter / Organisation: Tourenwagen Classics GmbH Contacts: Ralph Bahr Mobil-No.: +49 173 1644114 Michael Thier Mobil-No.: +49 171 5104881 Homepage: www.tourenwagen-classics.com E-Mail: [email protected] Table of Contents Part 1 Sporting Regulations 1. Introduction 2. Organisation 2.1 Details on titles and awards of the Series 2.2 Name of the parent ASN 2.3 ASN Visa/Registration Number 2.4 Name of the Organiser/Promoter, address and contacts (Permanent office) 2.5 Composition of the organising committee 2.6 List of Officials (Permanent Stewards) 3. Regulations and Legal Basis of the Series 3.1 Official language 3.2 Responsibility, modification of the regulations, cancellation of the event 4.
    [Show full text]
  • 1 Useful English/German Vocabulary 2 Isomorphism Theorems Continued
    1 Useful English/German Vocabulary simple group -einfache Gruppe normal series - Normalreihe composition series - Kompositionsreihe refinement - Verfeinerung 2 Isomorphism theorems continued Theorem 2.1 (Lattice isomorphism theorem). Let G be a group and let N be a normal subgroup of G. If A is a subgroup of G containing N, let A := A=N.Let π : G ! G=N be the canonical projection. The map A 7! π(A) = A is a bijection between the set of subgroups of G containing N and the set of subgroups of G=N. Moreover, if A; B ≤ G with N ≤ A and N ≤ B then: 1. A ≤ B if and only if A ≤ B; and in this case [B : A] = [B : A] ∼ 2. A C B is and only if A C B; and in this case B=A = B=A 3. hA; Bi = hA; Bi 4. A \ B = A \ B Proof. UB9 Theorem 2.2 (Butterfly Lemma /Zassenhaus Lemma). Let aCA and b C B be subgroups of a group G. Then a(A \ b) is a normal in a(A \ B); b(B \ a) is normal in b(B \ A); (A \ b)(B \ a) is normal in (A \ B) and a(A \ B) (A \ B) b(B \ A) ∼= ∼= : a(A \ b) (A \ b)(B \ a) b(B \ a) Proof. Note first that since A ≤ NG(a) and B ≤ NG(b), we have that A \ b ≤ A \ B ≤ NG(a) and B \ a ≤ A \ B ≤ NG(b): Thus a(A \ b); a(A \ B); b(B \ a) and b(B \ A) are subgroups of G (see lecture 17 corollary 1.10).
    [Show full text]
  • Octonion Multiplication and Heawood's
    CONFLUENTES MATHEMATICI Bruno SÉVENNEC Octonion multiplication and Heawood’s map Tome 5, no 2 (2013), p. 71-76. <http://cml.cedram.org/item?id=CML_2013__5_2_71_0> © Les auteurs et Confluentes Mathematici, 2013. Tous droits réservés. L’accès aux articles de la revue « Confluentes Mathematici » (http://cml.cedram.org/), implique l’accord avec les condi- tions générales d’utilisation (http://cml.cedram.org/legal/). Toute reproduction en tout ou partie de cet article sous quelque forme que ce soit pour tout usage autre que l’utilisation á fin strictement personnelle du copiste est constitutive d’une infrac- tion pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Confluentes Math. 5, 2 (2013) 71-76 OCTONION MULTIPLICATION AND HEAWOOD’S MAP BRUNO SÉVENNEC Abstract. In this note, the octonion multiplication table is recovered from a regular tesse- lation of the equilateral two timensional torus by seven hexagons, also known as Heawood’s map. Almost any article or book dealing with Cayley-Graves algebra O of octonions (to be recalled shortly) has a picture like the following Figure 0.1 representing the so-called ‘Fano plane’, which will be denoted by Π, together with some cyclic ordering on each of its ‘lines’. The Fano plane is a set of seven points, in which seven three-point subsets called ‘lines’ are specified, such that any two points are contained in a unique line, and any two lines intersect in a unique point, giving a so-called (combinatorial) projective plane [8,7].
    [Show full text]
  • A Preliminary Study of University Students' Collaborative Learning Behavior Patterns in the Context of Online Argumentation Le
    A Preliminary Study of University Students’ Collaborative Learning Behavior Patterns in the Context of Online Argumentation Learning Activities: The Role of Idea-Centered Collaborative Argumentation Instruction Ying-Tien Wu, Li-Jen Wang, and Teng-Yao Cheng [email protected], [email protected], [email protected] Graduate Institute of Network Learning Technology, National Central University, Taiwan Abstract: Learners have more and more opportunities to encounter a variety of socio-scientific issues (SSIs) and they may have difficulties in collaborative argumentation on SSIs. Knowledge building is a theory about idea-centered collaborative knowledge innovation and creation. The application of idea-centered collaboration practice as emphasized in knowledge building may be helpful for facilitating students’ collaborative argumentation. To examine the perspective above, this study attempted to integrate idea-centered collaboration into argumentation practice. The participants were 48 university students and were randomly divided into experimental and control group (n=24 for both groups). The control group only received argumentation instruction, while the experimental group received explicit idea-centered collaborative argumentation (CA) instruction. This study found that two groups of students revealed different collaborative learning behavior patterns. It is also noted that the students in the experimental group benefited more in collaborative argumentation from the proper adaption of knowledge building and explicit idea-centered collaborative argumentation instruction. Introduction In the knowledge-based societies, learners have more and more opportunities to encounter a variety of social dilemmas coming with rapid development in science and technologies. These social dilemmas are often termed “Socio-scientific issues (SSIs)” which are controversial social issues that are generally ill-structured, open-ended authentic problems which have multiple solutions (Sadler, 2004; Sadler & Zeidler, 2005).
    [Show full text]
  • More on the Sylow Theorems
    MORE ON THE SYLOW THEOREMS 1. Introduction Several alternative proofs of the Sylow theorems are collected here. Section 2 has a proof of Sylow I by Sylow, Section 3 has a proof of Sylow I by Frobenius, and Section 4 has an extension of Sylow I and II to p-subgroups due to Sylow. Section 5 discusses some history related to the Sylow theorems and formulates (but does not prove) two extensions of Sylow III to p-subgroups, by Frobenius and Weisner. 2. Sylow I by Sylow In modern language, here is Sylow's proof that his subgroups exist. Pick a prime p dividing #G. Let P be a p-subgroup of G which is as large as possible. We call P a maximal p-subgroup. We do not yet know its size is the biggest p-power in #G. The goal is to show [G : P ] 6≡ 0 mod p, so #P is the largest p-power dividing #G. Let N = N(P ) be the normalizer of P in G. Then all the elements of p-power order in N lie in P . Indeed, any element of N with p-power order which is not in P would give a non-identity element of p-power order in N=P . Then we could take inverse images through the projection N ! N=P to find a p-subgroup inside N properly containing P , but this contradicts the maximality of P as a p-subgroup of G. Since there are no non-trivial elements of p-power order in N=P , the index [N : P ] is not divisible by p by Cauchy's theorem.
    [Show full text]
  • The Sylow Theorems and Classification of Small Finite Order Groups
    Union College Union | Digital Works Honors Theses Student Work 6-2015 The yS low Theorems and Classification of Small Finite Order Groups William Stearns Union College - Schenectady, NY Follow this and additional works at: https://digitalworks.union.edu/theses Part of the Physical Sciences and Mathematics Commons Recommended Citation Stearns, William, "The yS low Theorems and Classification of Small Finite Order Groups" (2015). Honors Theses. 395. https://digitalworks.union.edu/theses/395 This Open Access is brought to you for free and open access by the Student Work at Union | Digital Works. It has been accepted for inclusion in Honors Theses by an authorized administrator of Union | Digital Works. For more information, please contact [email protected]. THE SYLOW THEOREMS AND CLASSIFICATION OF SMALL FINITE ORDER GROUPS WILLIAM W. STEARNS Abstract. This thesis will provide an overview of various topics in group theory, all in order to accomplish the end goal of classifying all groups of order up to 15. An important precursor to classifying finite order groups, the Sylow Theorems illustrate what subgroups of a given group must exist, and constitute the first half of this thesis. Using these theorems in the latter sections we will classify all the possible groups of various orders up to isomorphism. In concluding this thesis, all possible distinct groups of orders up to 15 will be defined and the groundwork set for further study. 1. Introduction The results in this thesis require some background knowledge and motivation. To that end, material covered in an introductory course on abstract algebra should be sufficient. In particular, it is assumed that the reader is familiar with the concepts and definitions of: group, subgroup, coset, index, homomorphism, and kernel.
    [Show full text]
  • (Group N) Component Substitution Application Form
    5th Category Historic Touring Car (Group N) Component Substitution Application Form Applicant Information Full Name: Savy Dick Last First M.I. Address: 37 Adrian Rd Street Address Campbellfield Vic 3061 City State Postcode Home Phone: ( 03 ) 93576330 Mobile Phone: ( ) 0408 728 967 E-mail Address: [email protected] CAMS Licence No: COD No: Vehicle Information Make of vehicle: Ford Historic Grp.: Nc Model: Mustang / XW GT Falcon Type/identification: Year of manufacture: 1969 / 1970 Year Represents: Chassis No: Component Substitution Give a brief outline or general view of the substitution. To provide a cost effective solution for the engine block in the Mustangs and Falcons that run the 351 Windsor engine in Group Nc Historic Touring Cars. These engines were only made in small numbers compared to other V8 engines, and now almost 50 years on, they are becoming very hard (almost impossible) to find in a serviceable condition. These standard early 351Windsor engine blocks have a common problem of cracking through the main bearing tunnel webbing and the mid 90s blocks commonly crack through the lifter valley area, so after spending a great deal of time trying to find a standard block, you then need to spend even more money and time to crack test these blocks and hope you have found a good one. The engine block we are proposing is a Ford replacement block (similar to the 302 replacement engine block used in Group N already), that is readily available at a reasonable cost both here in Australia and the USA. Page | 1 Wednesday, 20 June 2018 The following Component Substitution Criteria from section 3.6.4 of the CAMS Manual of Motor Sport, 5 th Category Historic Cars must be addressed as part of the submission.
    [Show full text]
  • South African Champions (Up to 2006)
    SOUTH AFRICAN CHAMPIONS (UP TO 2006) CIRCUIT CARS: SA MOTOR RACING DRIVERS CHAMPIONSHIP 1953 D.H. Duff 1954 D.E. Jennings 1955 F. Brodie 1956 D.E. Jennings 1957 D.E. Jennings 1958 I.J. Fraser-Jones 1959 I.J. Fraser-Jones 1960 S. van der Vyver 1961 S. van der Vyver 1962 E. Pieterse 1963 N. Lederle 1964 J. Love 1965 J. Love 1966 J. Love 1967 J. Love 1969 J. Love 1970 D. W. Charlton 1971 D.W. Charlton 1972 D.W. Charlton 1973 D.W. Charlton 1974 D.W. Charlton 1975 D.W. Charlton 1976 I. Scheckter 1977 I. Scheckter 1978 I. Scheckter 1979 I. Scheckter 1980 T. Martin 1981 B. Tilanus 1982 G. Duxbury 1983 I. Scheckter 1984 I. Scheckter 1985 T. van Rooyen 1986 W. Taylor 1987 Discontinued SA DRIVERS CHAMPIONSHIP 1990 A. Taylor 1991 M. Briggs 1992 S. van der Linde 1993 D. Vos 1994 M. dos Santos 1995 E. van der Linde 1996 M. Jurgens 1997 J. Smith 1998 J. Smith 1999 J. Fourie 2000 Discontinued SA SALOON CAR CHAMPIONSHIP 1964 J. Swanepoel 1965 J.R. Olthoff 1966 B.V. van Rooyen 1967 B.V. van Rooyen 1968 A.W. Porter 1969 P. Gough 1970 G. Mortimer 1971-1983 Discontinued 1984 H. van der Linde 1985 H. van der Linde 1986 H. van der Linde 1987 J. Coetzee 1988 P. Lanz 1989 J. Coetzee 1990 J. Coetzee 1991 T. Moss 1992 D. Joubert 1993 T. Moss 1994 S. van der Merwe 1995 M. Briggs 1996 T. Moss 1997 G. de Villiers 1998 G.
    [Show full text]
  • An Introduction to Pythagorean Arithmetic
    AN INTRODUCTION TO PYTHAGOREAN ARITHMETIC by JASON SCOTT NICHOLSON B.Sc. (Pure Mathematics), University of Calgary, 1993 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in THE FACULTY OF GRADUATE STUDIES Department of Mathematics We accept this thesis as conforming tc^ the required standard THE UNIVERSITY OF BRITISH COLUMBIA March 1996 © Jason S. Nicholson, 1996 In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the head of my i department or by his or her representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission. Department of The University of British Columbia Vancouver, Canada Dale //W 39, If96. DE-6 (2/88) Abstract This thesis provides a look at some aspects of Pythagorean Arithmetic. The topic is intro• duced by looking at the historical context in which the Pythagoreans nourished, that is at the arithmetic known to the ancient Egyptians and Babylonians. The view of mathematics that the Pythagoreans held is introduced via a look at the extraordinary life of Pythagoras and a description of the mystical mathematical doctrine that he taught. His disciples, the Pythagore• ans, and their school and history are briefly mentioned. Also, the lives and works of some of the authors of the main sources for Pythagorean arithmetic and thought, namely Euclid and the Neo-Pythagoreans Nicomachus of Gerasa, Theon of Smyrna, and Proclus of Lycia, are looked i at in more detail.
    [Show full text]
  • Group Theory
    Group Theory Hartmut Laue Mathematisches Seminar der Universit¨at Kiel 2013 Preface These lecture notes present the contents of my course on Group Theory within the masters programme in Mathematics at the University of Kiel. The aim is to introduce into concepts and techniques of modern group theory which are the prerequisites for tackling current research problems. In an area which has been studied with extreme intensity for many decades, the decision of what to include or not under the time limits of a summer semester was certainly not trivial, and apart from the aspect of importance also that of personal taste had to play a role. Experts will soon discover that among the results proved in this course there are certain theorems which frequently are viewed as too difficult to reach, like Tate’s (4.10) or Roquette’s (5.13). The proofs given here need only a few lines thanks to an approach which seems to have been underestimated although certain rudiments of it have made it into newer textbooks. Instead of making heavy use of cohomological or topological considerations or character theory, we introduce a completely elementary but rather general concept of normalized group action (1.5.4) which serves as a base for not only the above-mentioned highlights but also for other important theorems (3.6, 3.9 (Gasch¨utz), 3.13 (Schur-Zassenhaus)) and for the transfer. Thus we hope to escape the cartesian reservation towards authors in general1, although other parts of the theory clearly follow well-known patterns when a major modification would not result in a gain of clarity or applicability.
    [Show full text]
  • Ideal Theory of the Abelian Group-Algebra
    IDEAL THEORY OF THE ABELIAN GROUP-ALGEBRA. ]~Y T. VENK&TARAYUDU, M.A. (University oŸ Madras.) Received September 30, 1937. (Communicated by Dr. R. Vaidyanathaswamy, ~t.A., D.SC.) 1. Introduction. la: is well known 1 that the group-algebra over a commutative corpus K defined by a finite group G is semi-simple, when the characteristic p of the corpus K is not a divisor of the order N of the group and that in this case, the group-algebra K [G] is the direct sum of simple algebras whose products in pairs ate all zero. Beyond these general properties, the structure of the group-algebra is not completely kuown even in the case wheu G is Abelian. For example, in the existing literature, the following questions have not been discussed :-- (1) In the decomposition of K [G] us the direct sum of simple algebras, the actual number of simple component algebras. (2) The radical of K [G] when p is a divisor of N. (3) The residue class ring of K [G] with respect to its radical when it exists. In the present paper, we consider the case when G is Abelian and we show that in this case K [G] is simply isomorphic with the residue class ring of the polynomial domain K [xi, xa, xr] with respect to the ideal (x~'--l, x~~-1, -x~, --1), where ni, na "n~ are the orders of a set of basis elements of the Abelian group G. From a study of this residue class ring, we deduce al1 the important structural properties of the Abelian group-aigebra K [G].
    [Show full text]
  • Multiplication Fact Strategies Assessment Directions and Analysis
    Multiplication Fact Strategies Wichita Public Schools Curriculum and Instructional Design Mathematics Revised 2014 KCCRS version Table of Contents Introduction Page Research Connections (Strategies) 3 Making Meaning for Operations 7 Assessment 9 Tools 13 Doubles 23 Fives 31 Zeroes and Ones 35 Strategy Focus Review 41 Tens 45 Nines 48 Squared Numbers 54 Strategy Focus Review 59 Double and Double Again 64 Double and One More Set 69 Half and Then Double 74 Strategy Focus Review 80 Related Equations (fact families) 82 Practice and Review 92 Wichita Public Schools 2014 2 Research Connections Where Do Fact Strategies Fit In? Adapted from Randall Charles Fact strategies are considered a crucial second phase in a three-phase program for teaching students basic math facts. The first phase is concept learning. Here, the goal is for students to understand the meanings of multiplication and division. In this phase, students focus on actions (i.e. “groups of”, “equal parts”, “building arrays”) that relate to multiplication and division concepts. An important instructional bridge that is often neglected between concept learning and memorization is the second phase, fact strategies. There are two goals in this phase. First, students need to recognize there are clusters of multiplication and division facts that relate in certain ways. Second, students need to understand those relationships. These lessons are designed to assist with the second phase of this process. If you have students that are not ready, you will need to address the first phase of concept learning. The third phase is memorization of the basic facts. Here the goal is for students to master products and quotients so they can recall them efficiently and accurately, and retain them over time.
    [Show full text]