A Note on Groups with Just-Infinite Automorphism Groups

Similar documents
Groups with Few Normalizer Subgroups

GROUPS WITH PERMUTABILITY CONDITIONS FOR SUBGROUPS OF INFINITE RANK. Communicated by Patrizia Longobardi. 1. Introduction

SOME TOPICS ON PERMUTABLE SUBGROUPS IN INFINITE GROUPS

Normal Automorphisms of Free Burnside Groups of Period 3

Finite groups determined by an inequality of the orders of their elements

Groups with many subnormal subgroups. *

GROUPS IN WHICH SYLOW SUBGROUPS AND SUBNORMAL SUBGROUPS PERMUTE

Minimal non-p C-groups

On Compact Just-Non-Lie Groups

On Conditions for an Endomorphism to be an Automorphism

PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS

garcia de galdeano PRE-PUBLICACIONES del seminario matematico 2002 n. 16 garcía de galdeano Universidad de Zaragoza L.A. Kurdachenko J.

MATH 436 Notes: Cyclic groups and Invariant Subgroups.

FINITE GROUPS IN WHICH SOME PROPERTY OF TWO-GENERATOR SUBGROUPS IS TRANSITIVE

Cyclic non-s-permutable subgroups and non-normal maximal subgroups

Implications of the index of a fixed point subgroup

ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT

COMPACT GROUPS IN WHICH ALL ELEMENTS ARE ALMOST RIGHT ENGEL

On the nilpotent conjugacy class graph of groups

Transitivity of properties of two-generator subgroups of finite groups

C-Characteristically Simple Groups

PROBLEMS FROM GROUP THEORY

SOME RESIDUALLY FINITE GROUPS SATISFYING LAWS

R E N D I C O N T I PRIME GRAPH COMPONENTS OF FINITE ALMOST SIMPLE GROUPS

On W -S-permutable Subgroups of Finite Groups

LADDER INDEX OF GROUPS. Kazuhiro ISHIKAWA, Hiroshi TANAKA and Katsumi TANAKA

Unipotent automorphisms of solvable groups

On the linearity of HNN-extensions with abelian base groups

A NOTE ON AUTOMORPHISMS OF FINITE p-groups

School of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation

AN AXIOMATIC FORMATION THAT IS NOT A VARIETY

Finitary Permutation Groups

7 Semidirect product. Notes 7 Autumn Definition and properties

120A LECTURE OUTLINES

Solutions to Assignment 4

Groups with cyclic outer automizers

Some algebraic properties of. compact topological groups

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

The final publication is available at

CLASSIFICATION OF GROUPS OF ORDER 60 Alfonso Gracia Saz

A Note on Just-Non-X Groups

The Cyclic Subgroup Separability of Certain HNN Extensions

Abstract Algebra: Supplementary Lecture Notes

SELF-EQUIVALENCES OF DIHEDRAL SPHERES

THE TRANSITIVE AND CO TRANSITIVE BLOCKING SETS IN P 2 (F q )

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin

International Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT

General Linear Groups as Automorphism Groups

A Note on Subgroup Coverings of Finite Groups

On Finite Groups in which Every Solvable Non-cyclic Proper Subgroup is either Self-normalizing or Normal 1

GROUPS WITH A MAXIMAL IRREDUNDANT 6-COVER #

MINIMAL NUMBER OF GENERATORS AND MINIMUM ORDER OF A NON-ABELIAN GROUP WHOSE ELEMENTS COMMUTE WITH THEIR ENDOMORPHIC IMAGES

Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi

Almost-Bieberbach groups with prime order holonomy

Section II.8. Normal and Subnormal Series

The Outer Automorphism of S 6

Local indicability in ordered groups: braids and elementary amenable groups

Khukhro, E. I. and Shumyatsky, P. MIMS EPrint: Manchester Institute for Mathematical Sciences School of Mathematics

Assigment 1. 1 a b. 0 1 c A B = (A B) (B A). 3. In each case, determine whether G is a group with the given operation.

Math 430 Final Exam, Fall 2008

ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS

IA-automorphisms of groups with almost constant upper central series

CHAPTER III NORMAL SERIES

ELEMENTARY GROUPS BY HOMER BECHTELL

SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum

Math 451, 01, Exam #2 Answer Key

A generalization of the Euler s totient function

SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction

ON KUROSH-AMITSUR RADICALS OF FINITE GROUPS

Houston Journal of Mathematics. c 2007 University of Houston Volume 33, No. 1, 2007

FINITE GROUPS WITH CENTRAL AUTOMORPHISM GROUP OF MINIMAL ORDER

1.5 Applications Of The Sylow Theorems

On the centralizer and the commutator subgroup of an automorphism

On Torsion-by-Nilpotent Groups

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Solution of Brauer s k(b)-conjecture for π-blocks of π-separable groups

Algebra. Travis Dirle. December 4, 2016

The Influence of Minimal Subgroups on the Structure of Finite Groups 1

Math 210A: Algebra, Homework 5

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

TRIPLE FACTORIZATION OF NON-ABELIAN GROUPS BY TWO MAXIMAL SUBGROUPS

Ideals Of The Ring Of Higher Dimensional Dual Numbers

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Locally primitive normal Cayley graphs of metacyclic groups

arxiv: v2 [math.gr] 2 Feb 2011

ALGEBRA QUALIFYING EXAM PROBLEMS

On the structure of some modules over generalized soluble groups

On the number of diamonds in the subgroup lattice of a finite abelian group

On Marginal Automorphisms of a Group Fixing the Certain Subgroup

Primitive 2-factorizations of the complete graph

FINITE GROUPS THAT NEED MORE GENERATORS THAN ANY PROPER QUOTIENT

On partially τ-quasinormal subgroups of finite groups

SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS

Exercises on chapter 1

ON ORDERS OF FINITE GROUPS AND CENTRALIZERS OF p-elements

Maximal non-commuting subsets of groups

On Galois cohomology and realizability of 2-groups as Galois groups II. Author copy

Kevin James. p-groups, Nilpotent groups and Solvable groups

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN

Transcription:

Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento di Matematica e Applicazioni, Università di Napoli Federico II, via Cintia, I - 80126 Napoli (Italy) degiovan@unina.it Diana Imperatore Dipartimento di Matematica e Applicazioni, Università di Napoli Federico II, via Cintia, I - 80126 Napoli (Italy) diana.imperatore@unina.it Received: 6.9.2012; accepted: 5.10.2012. Abstract. An infinite group is said to be just-infinite if all its proper homomorphic images are finite. We investigate the structure of groups whose full automorphism group is just-infinite. Keywords: just-infinite group; automorphism group MSC 2000 classification: 20E36 1 Introduction Let D be the infinite dihedral group. Although D admits non-inner automorphisms, it is well known that D is isomorphic to its full automorphism group Aut(D ). Moreover, it has been proved in [3] that there are no other groups with infinite dihedral automorphism group. In other words, the equation Aut(X) D admits, up to isomorphisms, only the trivial solution X = D. It is usually hard to understand which groups Q can occur as full automorphism groups of some other group, i.e. when the equation Aut(X) Q admits at least one solution. For instance, it was proved by D.J.S. Robinson [8] that no infinite Černikov group can be realized as full automorphism group of a group, while a classical result of R. Baer [1] showed that for any finite group Q the above equation has no solution within the universe of infinite periodic groups. http://siba-ese.unisalento.it/ c 2012 Università del Salento

136 F. de Giovanni and D. Imperatore The aim of this paper is to obtain informations about groups whose automorphism groups are just-infinite. Here a group G is said to be just-infinite if it is infinite but all its proper homomorphic images are finite. It follows from Zorn s Lemma that any finitely generated infinite group has a just-infinite homomorphic image, and so just-infinite groups play a relevant role in many problems of the theory of infinite groups (see for instance [4]). The first examples of justinfinite groups are of course the infinite cyclic group and the infinite dihedral group; the first of these cannot occur as the full automorphism group of any group, and we discussed above the dihedral case. We will prove that if G is any group admitting an ascending normal series whose factors are either central or finite, then the automorphism group Aut(G) cannot be just-infinite. It follows in particular that in any group with just-infinite automorphism group, the centre and the hypercentre coincide. Some examples of groups with just-infinite automorphism groups will also be constructed. Most of our notation is standard and can for instance be found in [7]. 2 Results and examples The structure of just-infinite groups has been described by J.S. Wilson [11]; of course, all infinite simple groups are just-infinite, while any soluble-by-finite just-infinite group is a finite extension of a free abelian group of finite rank. In the same paper, the class D 2, consisting of all infinite groups in which every non-trivial subnormal subgroup has finite index, is considered; obviously, all D 2 - groups are just-infinite, but it is clear that any D 2 -group containing an abelian non-trivial subnormal subgroup is either cyclic or dihedral. It follows easily from this remark that the result proved in [3] can be extended to the next statement (recall here that a group is called generalized subsoluble if it has an ascending subnormal series whose factors are either abelian or finite). Theorem 1. Let G be a generalized subsoluble group whose automorphism group Aut(G) is a D 2 -group. Then G D. The following example shows that a similar result cannot be proved for groups with just-infinite automorphism groups, even restricting the attention to the case of polycyclic groups. Let A = a b be a free abelian group of rank 2, and let x and y be the automorphisms of A defined by the positions a x = b, b x = a, a y = b, b y = a 1 b.

Just-infinite automorphism groups 137 Then x,y is a dihedral subgroup of order 12 of GL(2,Z), and the semidirect product G = x,y A is a polycyclic group. Moreover, A is self-centralizing and has no cyclic nontrivial G-invariant subgroups, so that G is just-infinite. On the other hand, the group G is complete, i.e. it has trivial centre and Aut(G) = Inn(G), and hence Aut(G) G (see [9]). Lemma 1. Let G be an abelian group. If all proper homomorphic images of the full automorphism group Aut(G) of G are finite, then Aut(G) is finite. Proof. Assume for a contradiction that Aut(G) is just-infinite. As the inversion map τ of G belongs to the centre Z(Aut(G)), we have that τ is a finite normal subgroup of Aut(G), so that τ is the identity and G is an infinite abelian group of exponent 2. Let Γ be the set of all automorphisms α of G acting trivially on a subgroup of finite index of G. Then Γ is a non-trivial normal subgroup of Aut(G) and the index Aut(G) : Γ is infinite. This contradiction proves the lemma. Lemma 2. Let G be a just-infinite group, and let N be a normal subgroup of G. Then N has no finite non-trivial normal subgroups. Proof. LetX beanyfinitenormalsubgroupofn.sinceg/n isfinite,theconjugacy class of X in G is finite, and so it follows from the well known Dietzmann s lemma that the normal closure X G is a finite normal subgroup of G. Therefore X = {1} and the lemma is proved. We can now prove our main result on groups with just-infinite automorphism group. Theorem 2. Let G be a group admitting an ascending normal series whose factors are either central or finite. Then the automorphism group Aut(G) is not just-infinite. Proof. Assume for a contradiction that the group Aut(G) is just-infinite, and let {1} = G 0 < G 1 <... < G α <... < G τ = G be an ascending normal series whose infinite factors are central. As the inner automorphism group Inn(G) is a non-trivial normal subgroup of Aut G, it follows from Lemma 2 that Inn(G) has no finite non-trivial normal subgroups. Then the centre Z(Inn(G)) is non-trivial, and so it has finite index in Aut(G). In particular, the index G : Z 2 (G) is finite, and hence the term γ 3 (G) of the

138 F. de Giovanni and D. Imperatore lower central series of G is finite (see [7] Part 1, p.113). Thus γ 3 (G) is contained in Z(G), and G is nilpotent, so that Inn(G) lies in the Fitting subgroup of Aut(G). Therefore G/Z(G) Inn(G) is a free abelian group of finite rank r (see [11], Theorem 2). It is well known that the homomorphism group Hom Ä G/Z(G),Z(G) ä is isomorphic to an abelian normal subgroup of Aut(G), so that it is torsion-free and hence also Z(G) must be torsion-free; moreover, Hom Ä G/Z(G),Z(G) ä is isomorphic to the direct product of r copies of Z(G). On the other hand, the groups Inn(G) and Hom Ä G/Z(G),Z(G) ä are isomorphic, and hence Z(G) is infinite cyclic and G is torsion-free. Put C = Z(G) and Q = G/C, and let x be any element of G \ C. The mapping ϕ : g [g,x] is a non-trivial homomorphism of G into C, whose kernel coincides with the centralizer C G (x), so that G/C G (x) is infinite cyclic and G = y C G (x) for some element y of infinite order. Let m be a non-negative integer such that (yx) m belongs to C G (x). As (yx) m = y m x m z for some z C G (x), we have that y m is in C G (x), and so m = 0. Therefore yx C G (x) = {1}, and hence G = yx C G (x). It follows that an automorphism α of G can be defined by setting yα = yx and cα = c for all c C G (x). Then yα n = yx n for each positive integer n, so that α has infinite order and α n cannot be an inner automorphism of G. This is of course a contradiction, since Inn(G) has finite index in Aut(G). The above theorem shows in particular that hypercentral groups cannot have just-infinite automorphism groups. We leave here as an open question whether there exists a locally nilpotent group whose automorphism group is just-infinite. As a consequence of Theorem 2, we can observe that the upper central series of any group with just-infinite automorphism group stops at the centre.

Just-infinite automorphism groups 139 Corollary 1. Let G be a group whose automorphism group Aut(G) is justinfinite. Then Z(G) = Z 2 (G). Proof. As Aut(G) is just-infinite, it follows from Theorem 2 that the index G : Z 2 (G) must be infinite, and hence Z(G) = Z 2 (G) because Z 2 (G) is a characteristic subgroup of G. As infinite simple groups are just-infinite, we have that complete infinite simple groups are trivial examples of groups with just-infinite automorphism groups. Among such groups we find for instance the universal locally finite groups of cardinality 2 ℵ 0 (see [5]); recall here that a locally finite group U is said to be universal if it contains a copy of any finite group and any two finite isomorphic subgroups of U are conjugate. Our last result shows how to find examples of non-simple D 2 -groups occurring as full automorphism groups; here the main ingredient is an infinite simple group with finite non-trivial outer automorphism group. Groups of this kind have for instance been constructed by R.J. Thompson in his study of homeomorphisms of the circle S 1 = R/Z (see [2]). Recall here that the outer automorphism group of a group G is the factor group Out(G) = Aut(G)/Inn(G). Lemma 3. Let G be a group containing a simple normal subgroup N such that G/N is finite and C G (N) = {1}. Then every non-trivial subnormal subgroup of G has finite index. Proof. LetS beanynon-trivialsubnormalsubgroupofg.then[n,s]cannotbe trivial, and hence S N {1} (see for instance [10], 13.3.1). Thus S contains N, and so the index G : S is finite. Theorem 3. Let G be an infinite simple group whose outer automorphism group Out(G) is finite. Then Aut(G) is an infinite complete group whose nontrivial subnormal subgroups have finite index. Proof. The automorphism group Aut(G) is complete by a well known result of Burnside (see for instance [10], 13.5.9), and Inn(G) G is a simple normal subgroup of Aut(G) of finite index. Moreover, as Z(G) = {1}, also the centralizer C Aut(G) (Inn(G)) is trivial, and hence it follows from Lemma 3 that any nontrivial subnormal subgroup of Aut(G) has finite index. References [1] R. Baer: Finite extensions of abelian groups with minimum condition, Trans. Amer. Math. Soc. 79 (1955), 521 540.

140 F. de Giovanni and D. Imperatore [2] M.G. Brin: The chamaleon groups of Richard J. Thompson: automorphisms and dynamics, Inst. Hautes Etudes Sci. Publ. Math. 84 (1996), 5 33. [3] F. de Giovanni - A. Russo: The ininite dihedral group as automorphisms group, Ricerche Mat. 51 (2002), 337 339. [4] R.I. Grigorchuk: Just infinite branch groups, in New Horizons in pro-p Groups (edited by M. Du Sautoy, D. Segal and A. Shalev), Birkäuser, Boston (2000), 121 179. [5] K. Hickin: Complete universal locally finite groups, Trans. Amer. Math. Soc. 239 (1978), 213 227. [6] H.K. Iyer: On solving the equation Aut(X) = G, Rocky Mountain J. Math. 9 (1979), 653 670. [7] D.J.S. Robinson: Finiteness Conditions and Generalized Soluble Groups, Springer, Berlin (1972). [8] D.J.S. Robinson: Infinite torsion groups as automorphism groups, Quart. J. Math. (Oxford) 30 (1979), 351 364. [9] D.J.S. Robinson: Infinite soluble groups with no outer automorphisms, Rend. Sem. Mat. Univ. Padova 62(1980), 281 294. [10] D.J.S. Robinson: A Course in the Theory of Groups, 2nd edition, Springer, Berlin(1996). [11] J.S. Wilson: Groups with every proper quotient finite, Proc. Cambridge Philos. Soc. 69 (1971), 373 391.

2024 © sciencedocbox.com Privacy Policy | Terms of Service | Feedback