DOCSLIB.ORG

A Note on P-Groups of Order ≤ P4 ≤ P4 ≤ P4

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Note on P-Groups of Order ≤ P4 ≤ P4 ≤ P4 Proc. Indian Acad. Sci. (Math. Sci.) Vol. 119, No. 2, April 2009, pp. 137–143. © Printed in India A note on p-groups of order ≤ p4 HOUSHANG BEHRAVESH1 and HAMID MOUSAVI2 1Faculty of Science, Department of Mathematics, University of Urmia, Urimia, Iran 2Department of Mathematics, University of Tabriz, Tabriz, Iran E-mail: [email protected]; [email protected] MS received 21 January 2008; revised 16 February 2008 Abstract. In [1], we defined c(G), q(G) and p(G). In this paper we will show that if G is a p-group, where p is an odd prime and |G|≤p4, then c(G) = q(G) = p(G). However, the question of whether or not there is a p-group G with strict inequality c(G) = q(G) < p(G) is still open. Keywords. Quasi-permutation representations; p-groups; character theory. 1. Introduction By a quasi-permutation matrix, we mean a square matrix over the complex field C with non-negative integral trace. Thus every permutation matrix over C is a quasi-permutation matrix. For a given finite group G, let p(G) denote the minimal degree of a faithful permutation representation of G (or of a faithful representation of G by permutation matrices), let q(G) denote the minimal degree of a faithful representation of G by quasi- permutation matrices over the rational field Q, and c(G) be the minimal degree of a faithful representation of G by complex quasi-permutation matrices (see [1]). By a rational valued character we mean a character χ corresponding to a complex rep- resentation of G such that χ(g) ∈ Q for all g ∈ G. As the values of the character of a complex representation are algebraic integers, a rational valued character is in fact integer valued. A quasi-permutation representation of G is then simply a complex representation of G whose character values are rational and non-negative. The module of such a represen- tation will be called a quasi-permutation module. We will call a homomorphism from G to GL(n, Q) a rational representation of G and its corresponding character will be called a rational character of G. It is easy to see that c(G) ≤ q(G) ≤ p(G), where G is a finite group. Now we would like to state a problem from Prof. Brian Hartley (1992–94). Problem. Let G be a finite p-group. Find G such that c(G) = q(G) = p(G). In [4] we showed that, when G is a generalized quaternion group then 2c(G) = q(G) = p(G). 137 138 Houshang Behravesh and Hamid Mousavi So in this case a good question to be asked is: For a 2-group G, when is c(G) < q(G) < p(G)? When G is a finite 2-group of order ≤ 64 we calculate c(G), q(G) and p(G) (see [6] and [7]). From now we will assume that p is an odd prime. In fact it is easy to prove that c(G) = q(G). So in this case a good question to be asked is: For a p-group G with p an odd prime, when is q(G) = p(G)? In [2], [3] and [5] we have calculated c(G), q(G) and p(G) for an abelian and the metacyclic p-groups and we have showed that c(G) = q(G) = p(G). In [1] we have showed that for groups of class 2 and cyclic center, c(G) = q(G) = p(G). So for non- abelian groups of order p3, again c(G) = q(G) = p(G). Since the classification of groups of order p4 depends on p to be 3 or greater than 3 (see [8]), for the case p = 3, we use direct calculation by using GAP [11], for character tables and subgroups and also the algorithms from [1]. Hence we will have the following table: G c(G) = q(G) = p(G) (81, 3) 18 (81, 4) 18 (81, 6) 27 (81, 7) 9 (81, 8) 27 (81, 9) 27 (81, 10) 27 (81, 12) 12 (81, 13) 12 (81, 14) 27 In this paper we will show that for a finite non-metacyclic p-group G of order p4, c(G) = q(G) = p(G). Finally this shows that for any p-group, G with |G|≤p4, c(G) = q(G) = p(G). By Corollary 4.4 of [1], we know that for any finite p-groups G, c(G) = q(G). However, the question of whether or not there is a p-group G with strict inequality c(G) = q(G) < p(G) is still open. We will need the following notation and definition in order to calculate c(G). Notation. Let (χ) be the Galois group of Q(χ) over Q. DEFINITION 1.1 Let G be a finite group. Let χ be an irreducible complex character of G. Then define =| | (1) d(χ) (χ) χ(1). 0, if χ = 1G, (2) m(χ) = | { χ α(g) g ∈ G}|, . min α∈(χ) : otherwise = α + (3) c(χ) α∈(χ) χ m(χ)1G. A note on p-groups of order ≤ p4 139 2. A note on groups of order p4 Let p denote an odd prime. In this section we will give some properties of non-abelian groups of order p4. Lemma 2.1. Let G be a finite non-abelian p-group of order p4. Then (a) |Z(G)|=p or p2; (b) cd(G) ={1,p}, where cd(G) denote the set of irreducible character degrees; (c) |G|≤p2. Proof. (a) It is known that |G: Z(G)| is divisible by p2 and Z(G) = 1. So the result follows. (b) By (a), |G: Z(G)|≤p3. So by Corollary 2.30 and Theorem 3.12 of [9], the result follows. (c) Let |G|=p3. Then by Theorem 2.13 of [9], we have p4 = p + p2α. This equation has no integer solution. So the result follows. 2 Lemma 2.2. Let G be a finite non-abelian p-group of order p4.IfZ(G) is cyclic of order p, then G has order p2. Moreover Z(G)<G and G/Z(G) is not abelian. Proof. Let G has order p. Then it is obvious that G = Z(G). Since Z(G) is cyclic and Z(G) = G, so by Lemma 4.3 of [1], |G: Z(G)|=p2n for some integer n. But this is not possible, so the result follows. 2 ≤ = −1 Note. Let H G. Then define HG x∈G x Hx. It is called the core of H in G. Theorem 2.3. Let G be a finite non-abelian p-group of order p4. Let G have cyclic center of order p2. Then c(G) = q(G) = p(G) = p3. Proof. Since Z(G) is cyclic and G is not abelian so, by 5.3.6 of [10], there exists an element of order p, say x ∈ G such that x ∈ Z(G) and xG = 1. So by Corollary 2.4 of [1], p(G) ≤ p3. Since Z(G) is cyclic and |G: Z(G)|=p2, so by Lemma 3.8 of [1], we have a faithful irreducible character χ, and by Corollary 2.30 of [9], χ vanishes on G − Z(G).Nowby Lemma 2.27 of [9], and Corollary 3.11 of [1], it is easy to see that p3 = c(G) ≤ q(G) ≤ p(G) ≤ p3. So the result follows. 2 Theorem 2.4. LetG be a finite group and G < Z(G) and Z(G) = AG for some A ≤ Z(G) and A G = 1. Also let cd(G) ={1, |G: Z(G)|1/2}. Then we have |A|(|G |−1), non-linear characters. Let ηj denote the linear characters of A, for 1 ≤ j ≤|A| and ψk denote the non-trivial characters of G, for 2 ≤ k ≤|G|. Then 1/2 |G: Z(G)| ηj (x)ψk(y), g = xy ∈ Z(G) x ∈ A, y ∈ G , χj,k(g) = 0,g∈ G − Z(G), denote all the non-linear characters of G. 140 Houshang Behravesh and Hamid Mousavi Proof. Let G < Z(G) and also we let Z(G) = AG for some A ≤ Z(G) and A G = 1. Let cd(G) ={1, |G: Z(G)|1/2}. Then it is easy to see that the number of non-linear characters of G are equal to |A|(|G|−1). Also the characters of Z(G) can be calculated by the characters of A and G. Since the trivial character of Z(G) multiplied by |G: Z(G)|1/2 is not a character of G, so it is easy to see that the non-linear characters of G can be calculated from the characters of A times by the non-trivial characters of G and times by |G: Z(G)|1/2. So the result follows. 2 3. Groups with elementary abelian center and (G) = Z(G) Let |G|=p4 be a non-abelian group. It is easy to see that exp(G) = p, p2 or p3.IfG has an element of order p3, then G is metacyclic. Hence c(G) = q(G) = p(G) (see [3] and [5]). So we will assume that exp(G) = p or p2. ∼ Let Z(G) = Cp ×Cp. Since G/Z(G) is an elementary abelian group, so (G) ≤ Z(G), where (G) denote the Frattini subgroup of G. Let (G) = Z(G). Then d(G) = 2, where d(G) denote the minimal numbers of generators of the group G.
Load more

Recommended publications
  • Classification of Finite Abelian Groups
    Math 317 C1 John Sullivan Spring 2003 Classification of Finite Abelian Groups (Notes based on an article by Navarro in the Amer. Math. Monthly, February 2003.) The fundamental theorem of finite abelian groups expresses any such group as a product of cyclic groups: Theorem. Suppose G is a finite abelian group. Then G is (in a unique way) a direct product of cyclic groups of order pk with p prime. Our first step will be a special case of Cauchy’s Theorem, which we will prove later for arbitrary groups: whenever p |G| then G has an element of order p. Theorem (Cauchy). If G is a finite group, and p |G| is a prime, then G has an element of order p (or, equivalently, a subgroup of order p). ∼ Proof when G is abelian. First note that if |G| is prime, then G = Zp and we are done. In general, we work by induction. If G has no nontrivial proper subgroups, it must be a prime cyclic group, the case we’ve already handled. So we can suppose there is a nontrivial subgroup H smaller than G. Either p |H| or p |G/H|. In the first case, by induction, H has an element of order p which is also order p in G so we’re done. In the second case, if ∼ g + H has order p in G/H then |g + H| |g|, so hgi = Zkp for some k, and then kg ∈ G has order p. Note that we write our abelian groups additively. Definition. Given a prime p, a p-group is a group in which every element has order pk for some k.
    [Show full text]
  • 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]
  • Orders on Computable Torsion-Free Abelian Groups
    Orders on Computable Torsion-Free Abelian Groups Asher M. Kach (Joint Work with Karen Lange and Reed Solomon) University of Chicago 12th Asian Logic Conference Victoria University of Wellington December 2011 Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 1 / 24 Outline 1 Classical Algebra Background 2 Computing a Basis 3 Computing an Order With A Basis Without A Basis 4 Open Questions Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 2 / 24 Torsion-Free Abelian Groups Remark Disclaimer: Hereout, the word group will always refer to a countable torsion-free abelian group. The words computable group will always refer to a (fixed) computable presentation. Definition A group G = (G : +; 0) is torsion-free if non-zero multiples of non-zero elements are non-zero, i.e., if (8x 2 G)(8n 2 !)[x 6= 0 ^ n 6= 0 =) nx 6= 0] : Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 3 / 24 Rank Theorem A countable abelian group is torsion-free if and only if it is a subgroup ! of Q . Definition The rank of a countable torsion-free abelian group G is the least κ cardinal κ such that G is a subgroup of Q . Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 4 / 24 Example The subgroup H of Q ⊕ Q (viewed as having generators b1 and b2) b1+b2 generated by b1, b2, and 2 b1+b2 So elements of H look like β1b1 + β2b2 + α 2 for β1; β2; α 2 Z.
    [Show full text]
  • REPRESENTATIONS of ELEMENTARY ABELIAN P-GROUPS and BUNDLES on GRASSMANNIANS
    REPRESENTATIONS OF ELEMENTARY ABELIAN p-GROUPS AND BUNDLES ON GRASSMANNIANS JON F. CARLSON∗, ERIC M. FRIEDLANDER∗∗ AND JULIA PEVTSOVA∗∗∗ Abstract. We initiate the study of representations of elementary abelian p- groups via restrictions to truncated polynomial subalgebras of the group alge- p p bra generated by r nilpotent elements, k[t1; : : : ; tr]=(t1; : : : ; tr ). We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type generalizing modules of constant Jordan type and provide several gen- eral constructions of modules with these properties. We show that modules of constant radical and socle type lead to families of algebraic vector bundles on Grassmannians and illustrate our theory with numerous examples. Contents 1. The r-rank variety Grass(r; V)M 4 2. Radicals and Socles 10 3. Modules of constant radical and socle rank 15 4. Modules from quantum complete intersections 20 5. Radicals of Lζ -modules 27 6. Construction of Bundles on Grass(r; V) 35 6.1. A local construction of bundles 36 6.2. A construction by equivariant descent 38 7. Bundles for GLn-equivariant modules. 43 8. A construction using the Pl¨ucker embedding 51 9. APPENDIX (by J. Carlson). Computing nonminimal 2-socle support varieties using MAGMA 57 References 59 Quillen's fundamental ideas on applying geometry to the study of group coho- mology in positive characteristic [Quillen71] opened the door to many exciting de- velopments in both cohomology and modular representation theory. Cyclic shifted subgroups, the prototypes of the rank r shifted subgroups studied in this paper, were introduced by Dade in [Dade78] and quickly became the subject of an intense study.
    [Show full text]
  • Fusion Systems and Group Actions with Abelian Isotropy Subgroups
    FUSION SYSTEMS AND GROUP ACTIONS WITH ABELIAN ISOTROPY SUBGROUPS OZG¨ UN¨ UNL¨ U¨ AND ERGUN¨ YALC¸IN Abstract. We prove that if a finite group G acts smoothly on a manifold M so that all the isotropy subgroups are abelian groups with rank ≤ k, then G acts freely and smoothly n1 n on M × S × · · · × S k for some positive integers n1; : : : ; nk. We construct these actions using a recursive method, introduced in an earlier paper, that involves abstract fusion systems on finite groups. As another application of this method, we prove that every finite solvable group acts freely and smoothly on some product of spheres with trivial action on homology. 1. Introduction and statement of results Madsen-Thomas-Wall [7] proved that a finite group G acts freely on a sphere if (i) G has no subgroup isomorphic to the elementary abelian group Z=p × Z=p for any prime number p and (ii) has no subgroup isomorphic to the dihedral group D2p of order 2p for any odd prime number p. At that time the necessity of these conditions were already known: P. A. Smith [12] proved that the condition (i) is necessary and Milnor [8] showed the necessity of the condition (ii). As a generalization of the above problem we are interested in the problem of character- izing those finite groups which can act freely and smoothly on a product of k spheres for a given positive integer k. In the case k = 1, Madsen-Thomas-Wall uses surgery theory and considers the unit spheres of linear representations of subgroups to show that certain surgery obstructions vanish.
    [Show full text]
  • Finite Group Actions on the Four-Dimensional Sphere Finite Group Actions on the Four-Dimensional Sphere
    Finite Group Actions on the Four-Dimensional Sphere Finite Group Actions on the Four-Dimensional Sphere By Sacha Breton, B.Sc. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements for the Degree of Master of Science McMaster University c Copyright by Sacha Breton, August 30th 2011 Master of Science (2011) McMaster University Hamilton, Ontario Department of Mathematics and Statistics TITLE: Finite Group Actions on the Four-Dimensional Sphere AUTHOR: Sacha Breton B.Sc. (McGill University) SUPERVISOR: Ian Hambleton NUMBER OF PAGES: 41 + v ii Abstract Smith theory provides powerful tools for understanding the geometry of singular sets of group actions on spheres. In this thesis, tools from Smith theory and spectral sequences are brought together to study the singular sets of elementary abelian groups acting locally linearly on S4. It is shown that the singular sets of such actions are homeomorphic to the singular sets of linear actions. A short review of the literature on group actions on S4 is included. iii Acknowledgements I would like to thank Professor Ian Hambleton for his suggestion of thesis topic, for the breadth and depth of his advice, and for his patience and encouragement. I would also like to thank Val´erieTremblay, Barnaby and Sue Ore, my parents, and my friends for their continued support. iv Contents Descriptive Note ii Abstract iii Acknowledgements iv 1 Introduction 1 2 Introductory Material 1 2.1 Basic definitions and conventions . .1 2.2 The Projection and the Transfer homomorphisms . .4 2.3 Smith Theory . .7 2.4 Group cohomology .
    [Show full text]
  • Dihedral Groups Ii
    DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of Dn, including the normal subgroups. We will also introduce an infinite group that resembles the dihedral groups and has all of them as quotient groups. 1. Abstract characterization of Dn −1 −1 The group Dn has two generators r and s with orders n and 2 such that srs = r . We will show every group with a pair of generators having properties similar to r and s admits a homomorphism onto it from Dn, and is isomorphic to Dn if it has the same size as Dn. Theorem 1.1. Let G be generated by elements x and y where xn = 1 for some n ≥ 3, 2 −1 −1 y = 1, and yxy = x . There is a surjective homomorphism Dn ! G, and if G has order 2n then this homomorphism is an isomorphism. The hypotheses xn = 1 and y2 = 1 do not mean x has order n and y has order 2, but only that their orders divide n and divide 2. For instance, the trivial group has the form hx; yi where xn = 1, y2 = 1, and yxy−1 = x−1 (take x and y to be the identity). Proof. The equation yxy−1 = x−1 implies yxjy−1 = x−j for all j 2 Z (raise both sides to the jth power). Since y2 = 1, we have for all k 2 Z k ykxjy−k = x(−1) j by considering even and odd k separately. Thus k (1.1) ykxj = x(−1) jyk: This shows each product of x's and y's can have all the x's brought to the left and all the y's brought to the right.
    [Show full text]
  • ELEMENTARY ABELIAN P-SUBGROUPS of ALGEBRAIC GROUPS
    ROBERT L. GRIESS, JR ELEMENTARY ABELIAN p-SUBGROUPS OF ALGEBRAIC GROUPS Dedicated to Jacques Tits for his sixtieth birthday ABSTRACT. Let ~ be an algebraically closed field and let G be a finite-dimensional algebraic group over N which is nearly simple, i.e. the connected component of the identity G O is perfect, C6(G °) = Z(G °) and G°/Z(G °) is simple. We classify maximal elementary abelian p-subgroups of G which consist of semisimple elements, i.e. for all primes p ~ char K. Call a group quasisimple if it is perfect and is simple modulo the center. Call a subset of an algebraic group total if it is in a toms; otherwise nontoral. For several quasisimple algebraic groups and p = 2, we define complexity, and give local criteria for whether an elementary abelian 2-subgroup of G is total. For all primes, we analyze the nontoral examples, include a classification of all the maximal elementary abelian p-groups, many of the nonmaximal ones, discuss their normalizers and fusion (i.e. how conjugacy classes of the ambient algebraic group meet the subgroup). For some cases, we give a very detailed discussion, e.g. p = 3 and G of type E6, E 7 and E 8. We explain how the presence of spin up and spin down elements influences the structure of projectively elementary abelian 2-groups in Spin(2n, C). Examples of an elementary abelian group which is nontoral in one algebraic group but toral in a larger one are noted. Two subsets of a maximal torus are conjugate in G iff they are conjugate in the normalizer of the torus; this observation, with our discussion of the nontoral cases, gives a detailed guide to the possibilities for the embedding of an elementary abelian p-group in G.
    [Show full text]
  • Countable Torsion-Free Abelian Groups
    COUNTABLE TORSION-FREE ABELIAN GROUPS By M. O'N. CAMPBELL [Received 27 January 1959.—Read 19 February 1959] Introduction IN this paper we present a new classification of the countable torsion-free abelian groups. Since any abelian group 0 may be regarded as an extension of a periodic group (namely the torsion part of G) by a torsion-free group, and since there exists the well-known complete classification of the count- able periodic abelian groups due to Ulm, it is clear that the classification problem studied here is of great interest. By a group we shall always mean an abelian group, and the additive notation will be employed throughout. It is well known that all the maximal linearly independent sets of elements of a given group are car- dinally equivalent; the corresponding cardinal number is the rank of the group. Derry (2) and Mal'cev (4) have studied the torsion-free groups of finite rank only, and have given classifications of these groups in terms of certain equivalence classes of systems of matrices with £>-adic elements. Szekeres (5) attempted to abolish the finiteness restriction on rank; he extracted certain invariants, but did not derive a complete classification. By a basis of a torsion-free group 0 we mean any maximal linearly independent subset of G. A subgroup generated by a basis of G will be called a basal subgroup or described as basal in G. Thus U is a basal sub- group of G if and only if (i) U is free abelian, and (ii) the factor group G/U is periodic.
    [Show full text]
  • Arxiv:1310.6548V1 [Math.GR] 24 Oct 2013 Every Hwta H Iuto O Ocmatmnflsi Ut Di Quite Is 3
    FINITE SUBGROUPS OF DIFFEOMORPHISM GROUPS ∗ VLADIMIR L. POPOV Abstract. We prove (1) the existence of a noncompact smooth four-di- mensional manifold M such that Diff(M) contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite simple subgroups of Diff(N) for compact manifolds N. 1. In [Po10, Sect. 2] was introduced the definition of abstract Jordan group and initiated exploration of the following two problems on automorphism groups and birational self-map groups of algebraic varieties: Problem A. Describe algebraic varieties X for which Aut(X) is Jordan. Problem B. The same with Aut(X) replaced by Bir(X). Recall from [Po10, Def. 2.1] that Jordaness of a group is defined as follows: Definition 1. A group G is called a Jordan group if there exists a positive integer dG, depending on G only, such that every finite subgroup F of G contains a normal abelian subgroup whose index in F is at most dG. Informally Jordaness means that all finite subgroups of G are “almost” abelian in the sense that they are extensions of abelian groups by finite groups taken from a finite list. Since the time of launching the exploration program of Problems A and B a rather extensive information on them has been obtained (see [Po132]), but, for instance, at this writing (October 2013) is still unknown whether there exists X with non-Jordan group Aut(X) (see Question 1 in [Po132]; it is interesting to juxtapose it with Corollary 2 below). 2. In this note we explore the counterpart of Problem A, in which algebraic varieties X are replaced by connected smooth topological manifolds M, and arXiv:1310.6548v1 [math.GR] 24 Oct 2013 Aut(X) is replaced by Diff(M), the diffeomorphism group of M.
    [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]
  • Kernels of Linear Representations of Lie Groups, Locally Compact
    Kernels of Linear Representations of Lie Groups, Locally Compact Groups, and Pro-Lie Groups Markus Stroppel Abstract For a topological group G the intersection KOR(G) of all kernels of ordinary rep- resentations is studied. We show that KOR(G) is contained in the center of G if G is a connected pro-Lie group. The class KOR(C) is determined explicitly if C is the class CONNLIE of connected Lie groups or the class ALMCONNLIE of almost con- nected Lie groups: in both cases, it consists of all compactly generated abelian Lie groups. Every compact abelian group and every connected abelian pro-Lie group occurs as KOR(G) for some connected pro-Lie group G. However, the dimension of KOR(G) is bounded by the cardinality of the continuum if G is locally compact and connected. Examples are given to show that KOR(C) becomes complicated if C contains groups with infinitely many connected components. 1 The questions we consider and the answers that we have found In the present paper we study (Hausdorff) topological groups. Ifall else fails, we endow a group with the discrete topology. For any group G one tries, traditionally, to understand the group by means of rep- resentations as groups of matrices. To this end, one studies the continuous homomor- phisms from G to GLnC for suitable positive integers n; so-called ordinary representa- tions. This approach works perfectly for finite groups because any such group has a faithful ordinary representation but we may face difficulties for infinite groups; there do exist groups admitting no ordinary representations apart from the trivial (constant) one.
    [Show full text]