DOCSLIB.ORG

P-Groups with All the Elements of Order P in the Center∗ Daniela Bubboloni Gabriella Corsi Tani DIMAD Universita’ Di Firenze Via C

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Florence Research Algebra Colloquium 11:2 (2004) 181{190 Algebra Colloquium °c AMSS CAS 2004 p-Groups with All the Elements of Order p in the Center¤ Daniela Bubboloni Gabriella Corsi Tani DIMAD Universita' di Firenze via C. Lombroso 6/17, I-50134 Firenze, Italy E-mail: [email protected]¯.it [email protected]¯.it Received 26 April 2001 Communicated by C.K. Gupta Abstract. Resting on a suitable base of the quotients of the ¸i-series for the free groups on r generators, we get, for p odd, a class of TH-p-groups (the groups n in the title) Gr with arbitrary large derived length. We prove that every TH-p- n n group G with r generators and exponent p is a quotient of Gr and a product m of m cyclic groups, where p = j­1(G)j: At last we describe the TH-p-groups of exponent p2: 2000 Mathematics Subject Classi¯cation: 20D15 Keywords: p-groups, central series, free groups 1 Introduction Let G be a p-group and p an odd prime. We denote by ­i(G) the subgroup of G generated by the elements of order dividing pi, and we call G a TH- p-group if all its elements of order p are central, i.e., ­1(G) · Z(G): This name was introduced by the authors in [2] in acknowledgment to Thompson who ¯rst obtained some classical results for the number of generators of these groups (see [4, III, 12.2]). In [2], it was shown that several properties of the regular p-groups hold also for the class of TH-p-groups. There we 2 characterized the TH-p-groups G with j­1(G)j = p and exhibited some other examples of TH-p-groups obtaining only metabelian groups. In this paper, following a suggestion of C.M. Scoppola, we construct a n class of TH-p-groups Gr (see De¯nition 3.1) with arbitrary large derived length (see Theorems 3.2 and 3.3). This construction rests on the properties of the central series ¸i(Fr) of the free group Fr on r generators and on the behaviour of a particular base ¤Supported by M.U.R.S.T. and C.N.R. 182 D. Bubboloni, G. Corsi Tani of the elementary abelian quotients ¸i(Fr)=¸i+1(Fr) (see Theorem 2.5(c)). The explicit determination of a base for ¸i(Fr)=¸i+1(Fr) has interest in itself and we devote Section 2 to this, resting on methods and results in [5] and [1]. Similar goals for the central series ·n(Fr); the Jennings{Lazard{Zassen- haus series of G, were reached by C.M. Scoppola in [6] (compare Lemma 1.11 and Proposition 2.5 in [6] with (a) and (c) of Theorem 2.5). In Section 4, we observe that each TH-p-group with r generators and n n exponent p is a quotient of the group Gr (Theorem 4.1). Moreover, we obtain some new general result about the structure of TH-p-groups which turn out to be a suitable product of cyclic groups (Theorem 4.3). Finally, in Section 5, we describe the TH-p-groups of exponent p2: The notation is standard. We indicate by γi(G) the i-th term of the lower central series of a group G: Throughout this paper, p will be always an odd prime. 2 The ¸i-Series of the Free Groups We recall the construction of the central series ¸i(G) of a group G and the properties of this series which we intend to use, collecting them from [5] and [1]. De¯nition 2.1. For any group G, put pi¡1 pi¡2 ¸i(G) := γ1(G) γ2(G) ¢ ¢ ¢ γi(G)(i ¸ 1): Thus, ¸i(G) is a characteristic subgroup of G and G = ¸1(G) ¸ ¸2(G) ¸ ¢ ¢ ¢ ¸ ¸n(G) ¸ ¢ ¢ ¢ : Theorem 2.2. [5, 1] For any i 2 N; the following properties hold: (a) [¸i(G); ¸j(G)] · ¸i+j(G); p (b) ¸i(G) = [¸i¡1(G);G] ¸i¡1(G) ; pi¡1 (c) [¸i(G);G] = γ2(G) ¢ ¢ ¢ γi+1(G); pi¡j (d) if G/γj(G) is torsion free, then ¸i(G) \ γj(G) = γj(G) ¢ ¢ ¢ γi(G); pj (e) ¸i(G) · ¸i+j(G); (f) the ¸i-series is central and ¸i(G)=¸i+1(G) is an elementary abelian p-group. De¯nition 2.3. Let Fr be the free group on r free generators x1; x2; : : : ; xr, p and A = (a1; a2; : : : ; an) be an ordered subset of Fr. We denote by A the p p p p ordered subset A = (a1; a2; : : : ; an). Moreover, if H £ Fr, we denote with A mod H the ordered subset (a1H; a2H; : : : ; anH) of Fr=H. For brevity, we will often write ¸i and γi instead of ¸i(Fr) and γi(Fr), respectively. p-Groups with Elements of Order p in Center 183 Lemma 2.4. Let a1; a2; : : : ; an 2 ¸i¡1 (i ¸ 2): Then p p p p (a1a2 ¢ ¢ ¢ an) ´ (a1 a2 ¢ ¢ ¢ an ) mod ¸i+1: Proof. Let a1; a2 2 ¸i¡1: By the Hall{Petrescu formula, there exist elements ck 2 γk(¸i¡1)(k = 2; : : : ; p) such that (p) p p p p 2 (p¡1) a1 a2 = (a1a2) c2 ¢ ¢ ¢ cp¡1 cp: Since i; k ¸ 2, we get ¸k(i¡1) · ¸i, and by (a) and (e) of Theorem 2.2, we p obtain γk(¸i) · ¸ki and ¸i · ¸i+1; so whenever k · p ¡ 1; we get (p) p p p ck k 2 γk(¸i¡1) · ¸k(i¡1) · ¸i · ¸i+1: For k = p, since i ¸ 2 and p ¸ 3 imply p(i ¡ 1) ¸ i + 1, we get cp 2 γp(¸i¡1) · ¸p(i¡1) · ¸i+1: Hence, p p p a1 a2 ´ (a1a2) mod ¸i+1: Now by induction on n; the lemma follows at once. 2 Theorem 2.5. (a) ¸i¡1=¸i may be embedded into ¸i=¸i+1: Moreover, there exists a base p Ai¡1 mod ¸i of ¸i¡1=¸i such that Ai¡1 mod ¸i+1 is independent in ¸i=¸i+1. (b) For each i, let Ai mod γi+1 be a base of γi/γi+1: Then pi¡1 pi¡2 (A1 [A2 [ ¢ ¢ ¢ [ Ai) mod ¸i+1 is a base for ¸i=¸i+1: (c) Let Ci denote the set of the basic commutators of weight i in a ¯xed sequence, then pi¡1 pi¡2 Bi := (C1 [C2 [ ¢ ¢ ¢ [ Ci) mod ¸i+1 is a base of ¸i=¸i+1: p (d) The map 'i : ¸i¡1 ! ¸i=¸i+1 de¯ned by x'i = x ¸i+1 is a homomor- phism and ker 'i = ¸i. Proof. (a) By a well-known result of Blackburn [5, VIII, 1.9b)], since p is odd, there is an isomorphism γ1 γi ®i : p £ ¢ ¢ ¢ £ p ¡! ¸i=¸i+1 γ1 γ2 γi γi+1 184 D. Bubboloni, G. Corsi Tani pi¡1 pi¡2 given by (¹a1; a¹2;:::; a¹i)®i = a1 a2 ¢ ¢ ¢ ai¸i+1: If ¹ is the natural im- γ1 γi¡1 γ1 γi mersion of p £ ¢ ¢ ¢ £ p into p £ ¢ ¢ ¢ £ p , then the map γ1 γ2 γi¡1 γi γ1 γ2 γi γi+1 ¡1 ¼i = ®i¡1 ¹®i : ¸i¡1=¸i ¡! ¸i=¸i+1 is a monomorphism. γj Leta ¹j 2 p and x = (1;:::; 1; a¹j; 1;:::; 1)®i¡1 2 ¸i¡1=¸i: Then γj γj+1 pi¡j¡1 x = aj ¸i and we have pi¡j x¼i = aj ¸i+1 2 ¸i=¸i+1: p p Now if Cj mod γj γj+1 is a base of γj/γj γj+1; then i[¡1 i[¡1 p pi¡1¡j ((Cj mod γj γj+1)®i¡1) = (Cj mod ¸i) j=1 j=1 is a base, say Ai¡1 mod ¸i of ¸i¡1=¸i: Hence, we obtain that i[¡1 pi¡j p (Ai¡1 mod ¸i)¼i = (Cj mod ¸i+1) = Ai¡1 mod ¸i+1 j=1 is a base of Im ¼i. (b) First of all, we observe that if Ai mod γi+1 is a base of γi/γi+1, p since γi/γi+1 is a torsion-free abelian group, Ai mod γi γi+1 is a base of p the elementary abelian group γi/γi γi+1. p p Next the base (A1 mod γ1 γ2) [ ¢ ¢ ¢ [ (Ai mod γi γi+1) of γ1 γi p £ ¢ ¢ ¢ £ p γ1 γ2 γi γi+1 i¡1 p pi¡2 is taken onto the base (A1 [A2 [ ¢ ¢ ¢ [ Ai) mod ¸i+1 of ¸i=¸i+1 by the isomorphism ®i which we mentioned in the proof of (a). (c) By the well-known Hall's basis theorem, Ci mod γi+1 is a base of γi/γi+1 (see [3, Chapter 11]). Thus, (c) follows from (b). ¸i p (d) By Lemma 2.4, the map 'i : ¸i¡1 ! given by x'i = x ¸i+1 is ¸i+1 a homomorphism. We prove ker 'i = ¸i. Clearly, ¸i · ker 'i, and we only need to show p that for x 2 ¸i¡1, the condition x 2 ¸i+1 implies x 2 ¸i. By (a), we can choose a base Ai¡1 mod ¸i for ¸i¡1=¸i with Ai¡1 = (a1; a2; : : : ; at) p ®1 ®2 ®t such that Ai¡1 mod ¸i+1 is independent in ¸i=¸i+1.
Recommended publications
  • The Relationship Between the Upper and Lower Central Series: a Survey

    The Relationship Between the Upper and Lower Central Series: a Survey

    Introduction Generalization of Baer’s Theorem THE RELATIONSHIP BETWEEN THE UPPER AND LOWER CENTRAL SERIES: A SURVEY Martyn R. Dixon1 1Department of Mathematics University of Alabama Ischia Group Theory 2016 Thanks to Leonid Kurdachenko for his notes on this topic Martyn R. Dixon THE UPPER AND LOWER CENTRAL SERIES The last term Zγ(G) of this upper central series is denoted by Z1(G), the upper hypercentre of G. Let 0 G = γ1(G) ≥ γ2(G) = G ≥ · · · ≥ γα(G) ::: be the lower central series of G. Introduction Generalization of Baer’s Theorem Preliminaries Let 1 = Z0(G) ≤ Z1(G) = Z (G) ≤ Z2(G) ≤ · · · ≤ Zα(G) ≤ ::: Zγ(G) be the upper central series of G. Martyn R. Dixon THE UPPER AND LOWER CENTRAL SERIES Let 0 G = γ1(G) ≥ γ2(G) = G ≥ · · · ≥ γα(G) ::: be the lower central series of G. Introduction Generalization of Baer’s Theorem Preliminaries Let 1 = Z0(G) ≤ Z1(G) = Z (G) ≤ Z2(G) ≤ · · · ≤ Zα(G) ≤ ::: Zγ(G) be the upper central series of G. The last term Zγ(G) of this upper central series is denoted by Z1(G), the upper hypercentre of G. Martyn R. Dixon THE UPPER AND LOWER CENTRAL SERIES Introduction Generalization of Baer’s Theorem Preliminaries Let 1 = Z0(G) ≤ Z1(G) = Z (G) ≤ Z2(G) ≤ · · · ≤ Zα(G) ≤ ::: Zγ(G) be the upper central series of G. The last term Zγ(G) of this upper central series is denoted by Z1(G), the upper hypercentre of G. Let 0 G = γ1(G) ≥ γ2(G) = G ≥ · · · ≥ γα(G) ::: be the lower central series of G.
  • Cohomology of Nilmanifolds and Torsion-Free, Nilpotent Groups by Larry A

    Cohomology of Nilmanifolds and Torsion-Free, Nilpotent Groups by Larry A

    transactions of the american mathematical society Volume 273, Number 1, September 1982 COHOMOLOGY OF NILMANIFOLDS AND TORSION-FREE, NILPOTENT GROUPS BY LARRY A. LAMBE AND STEWART B. PRIDDY Abstract. Let M be a nilmanifold, i.e. M = G/D where G is a simply connected, nilpotent Lie group and D is a discrete uniform, nilpotent subgroup. Then M — K(D, 1). Now D has the structure of an algebraic group and so has an associated algebraic group Lie algebra L(D). The integral cohomology of M is shown to be isomorphic to the Lie algebra cohomology of L(D) except for some small primes depending on D. This gives an effective procedure for computing the cohomology of M and therefore the group cohomology of D. The proof uses a version of form cohomology defined for subrings of Q and a type of Hirsch Lemma. Examples, including the important unipotent case, are also discussed. Let D be a finitely generated, torsion-free, nilpotent group of rank n. Then the upper central series of D can be refined so that the n successive subquotients are infinite cyclic. Thus i)*Z" as sets and P. Hall [H] has shown that in these coordinates the product on D is a polynomial function p. It follows that D can be viewed as an algebraic group and so has an associated Lie algebra constructed from the degree two terms of p. The purpose of this paper is to study the integral cohomology of D using this algebraic group Lie algebra. Although these notions are purely algebraic, it is helpful to work in a more geometric context using A.
  • Classification of Finite Abelian Groups

    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.
  • The General Linear Group

    The General Linear Group

    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
  • On Dimension Subgroups and the Lower Central Series . Abstract

    On Dimension Subgroups and the Lower Central Series . Abstract

    ON DIMENSION SUBGROUPS AND THE LOWER CENTRAL SERIES . ABSTRACT AUTHOR: Graciela P. de Schmidt TITLE OF THESIS: On Dimension Subgroups and the Lower Central Series. DEPARTMENT Mathematics • DEGREE: Master of Science. SUMMARY: The aim of this thesis is to give an ex- position of several papers in which the relationship between the series of dimension subgroups of a group G and the lower central series of G is studies. The first theorem on the subject, proved by W. Magnus,asserts that when G is free the two series coincide term by terme This thesis presents a proof of that theorem together with the proofs of several related results which have been obtained more recently; moreover, it gathers together the various techniques from combinatorial group theory, commutator calculus, group rings and the the ory of graded Lie algebras, which have been used in studying this topic. ON DIMENSION SUBGROUPS AND THE LOWER CENTRAL SERIES by Graciela P. de Schmidt A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES AND RESEARCH IN PARTIAL FULFILMENT OF THE REQUlREMENTS FOR THE DEGREE OF MASTER OF SCIENCE Department of Mathematics McGill University Montreal May 1970 ® Graciela P. de Schmidt (i) PREFACE The aim of this thesis is to give an exposition of several papers in which the relationship between the series of dimension subgroups of a group G and the lower central series of G is studied. It has been conjectured that for an arbitrary group the two series coincide term by terme W. Magnus [12] proved that this is indeed the case for free groups and several authors have generalized his result in various directions.
  • Janko's Sporadic Simple Groups

    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.
  • Orders on Computable Torsion-Free Abelian Groups

    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.
  • Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L

    Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L

    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 2, February 1986 NORMAL SUBGROUPS OF THE GENERAL LINEAR GROUPS OVER VON NEUMANN REGULAR RINGS L. N. VASERSTEIN1 ABSTRACT. Let A be a von Neumann regular ring or, more generally, let A be an associative ring with 1 whose reduction modulo its Jacobson radical is von Neumann regular. We obtain a complete description of all subgroups of GLn A, n > 3, which are normalized by elementary matrices. 1. Introduction. For any associative ring A with 1 and any natural number n, let GLn A be the group of invertible n by n matrices over A and EnA the subgroup generated by all elementary matrices x1'3, where 1 < i / j < n and x E A. In this paper we describe all subgroups of GLn A normalized by EnA for any von Neumann regular A, provided n > 3. Our description is standard (see Bass [1] and Vaserstein [14, 16]): a subgroup H of GL„ A is normalized by EnA if and only if H is of level B for an ideal B of A, i.e. E„(A, B) C H C Gn(A, B). Here Gn(A, B) is the inverse image of the center of GL„(,4/S) (when n > 2, this center consists of scalar invertible matrices over the center of the ring A/B) under the canonical homomorphism GL„ A —►GLn(A/B) and En(A, B) is the normal subgroup of EnA generated by all elementary matrices in Gn(A, B) (when n > 3, the group En(A, B) is generated by matrices of the form (—y)J'lx1'Jy:i''1 with x € B,y £ A,l < i ^ j < n, see [14]).
  • Generalized Quaternions

    Generalized Quaternions

    GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q8 is one of the two non-abelian groups of size 8 (up to isomor- phism). The other one, D4, can be constructed as a semi-direct product: ∼ ∼ × ∼ D4 = Aff(Z=(4)) = Z=(4) o (Z=(4)) = Z=(4) o Z=(2); where the elements of Z=(2) act on Z=(4) as the identity and negation. While Q8 is not a semi-direct product, it can be constructed as the quotient group of a semi-direct product. We will see how this is done in Section2 and then jazz up the construction in Section3 to make an infinite family of similar groups with Q8 as the simplest member. In Section4 we will compare this family with the dihedral groups and see how it fits into a bigger picture. 2. The quaternion group from a semi-direct product The group Q8 is built out of its subgroups hii and hji with the overlapping condition i2 = j2 = −1 and the conjugacy relation jij−1 = −i = i−1. More generally, for odd a we have jaij−a = −i = i−1, while for even a we have jaij−a = i. We can combine these into the single formula a (2.1) jaij−a = i(−1) for all a 2 Z. These relations suggest the following way to construct the group Q8. Theorem 2.1. Let H = Z=(4) o Z=(4), where (a; b)(c; d) = (a + (−1)bc; b + d); ∼ The element (2; 2) in H has order 2, lies in the center, and H=h(2; 2)i = Q8.
  • Dihedral Groups Ii

    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.
  • SL{2, R)/ ± /; Then Hc = PSL(2, C) = SL(2, C)/ ±

    SL{2, R)/ ± /; Then Hc = PSL(2, C) = SL(2, C)/ ±

    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 60, October 1976 ERRATUM TO "ON THE AUTOMORPHISM GROUP OF A LIE GROUP" DAVID WIGNER D. Z. Djokovic and G. P. Hochschild have pointed out that the argument in the third paragraph of the proof of Theorem 1 is insufficient. The fallacy lies in assuming that the fixer of S in K(S) is an algebraic subgroup. This is of course correct for complex groups, since a connected complex semisimple Lie group is algebraic, but false for real Lie groups. By Proposition 1, the theorem is correct for real solvable Lie groups and the given proof is correct for complex groups, but the theorem fails for real semisimple groups, as the following example, worked out jointly with Professor Hochschild, shows. Let G = SL(2, R); then Gc = SL(2, C) is the complexification of G and the complex conjugation t in SL(2, C) fixes exactly SL(2, R). Let H = PSL(2, R) = SL{2, R)/ ± /; then Hc = PSL(2, C) = SL(2, C)/ ± /. The complex conjugation induced by t in PSL{2, C) fixes the image M in FSL(2, C) of the matrix (° ¿,)in SL(2, C). Therefore M is in the real algebraic hull of H = PSL(2, R). Conjugation by M on PSL(2, R) acts on ttx{PSL{2, R)) aZby multiplication by - 1. Now let H be the universal cover of PSLÍ2, R) and D its center. Let K = H X H/{(d, d)\d ED}. Then the inner automorphism group of K is H X H and its algebraic hull contains elements whose conjugation action on the fundamental group of H X H is multiplication by - 1 on the fundamen- tal group of the first factor and the identity on the fundamental group of the second factor.
  • Countable Torsion-Free Abelian Groups

    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.