×

Free products with amalgamation of finite groups and finite outer automorphism groups of free groups. (English) Zbl 0906.20015

A non-trivial free product with amalgamation \(E=A*_UB\) of two finite groups \(A,B\) is said to be a \((p,q)\)-amalgam if \(| A:U|=p\), \(| B:U|=q\). The author proves that if a \((p,q)\)-amalgam \(E_0=A_0*_{U_0}B_0\), where \(p,q\) are non-equal numbers and \(U_0\) is a maximal subgroup in both amalgamated subgroups \(A_0\) and \(B_0\), is a subgroup of finite index \(m\) in a group \(E\) then \(E\) is also a \((p,q)\)-amalgam, indeed, \(E=A*_UB\) where \(A_0\leq A\), \(B_0\leq B\), \(A_0\cap U=B_0\cap U=U_0\) and \(| A:A_0|=| B:B_0|=| U:U_0|=m\). As an application, the author presents a method how to recognize and construct maximal finite subgroups of the outer automorphism group of a free group.

MSC:

20E06 Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20E22 Extensions, wreath products, and other compositions of groups
20E07 Subgroup theorems; subgroup growth
20E28 Maximal subgroups
20F28 Automorphism groups of groups
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] M. Conder , Generators for alternating and symmetric groups , J. London Math. Soc. , 22 ( 1980 ), pp. 75 - 86 . MR 579811 | Zbl 0427.20023 · Zbl 0427.20023 · doi:10.1112/jlms/s2-22.1.75
[2] D. Djokovic - G. Miller , Regular groups of automorphisms of cubic graphs , J. Comb. Theory , Series B , 29 ( 1980 ), pp. 195 - 230 . MR 586434 | Zbl 0385.05040 · Zbl 0385.05040 · doi:10.1016/0095-8956(80)90081-7
[3] D.M. Goldschmidt , Automorphisms of trivalent graphs , Ann. Math. , 111 ( 1980 ), pp. 377 - 406 . MR 569075 | Zbl 0475.05043 · Zbl 0475.05043 · doi:10.2307/1971203
[4] A. Karras - A. Pietrowsky - D. Solitar , Finite and infinite extensions of free groups , J. Austr. Math. Soc. , 16 ( 1973 ), pp. 458 - 466 . MR 349850 | Zbl 0299.20024 · Zbl 0299.20024 · doi:10.1017/S1446788700015445
[5] A. Karras - A. Pietrowsky - D. Solitar , Automorphisms of a free product with an amalgamated subgroup , Contemp. Math. , 33 ( 1984 ), pp. 328 - 340 . MR 767119 | Zbl 0552.20023 · Zbl 0552.20023
[6] V.D. Mazurov , Finite groups of outer automorphisms of free groups , Siberian Math. J. , 32 ( 1991 ), pp. 796 - 811 . MR 1155806 | Zbl 0792.20023 · Zbl 0792.20023 · doi:10.1007/BF00971178
[7] J.P. Serre , Trees , Springer , Berlin , Heidelberg , New York ( 1980 ). MR 607504 | Zbl 0548.20018 · Zbl 0548.20018
[8] D. Singerman , PSL(2, q) as an image of the extended modular group with applications to group actions on surfaces , Proc. Edinb. Math. Soc. , 30 ( 1987 ), pp. 143 - 151 . MR 879440 | Zbl 0588.20029 · Zbl 0588.20029 · doi:10.1017/S001309150001806X
[9] P. Scott - T. Wall , Topological methods in group theory, in Homological Group Theory , London Math. Soc. Lecture Notes , 36 , pp. 137 - 303 , Cambridge University Press ( 1979 ). MR 564422 | Zbl 0423.20023 · Zbl 0423.20023
[10] S. Wang - B. Zimmermann , The maximum order of finite groups of outer automorphisms of free groups , Math. Z. , 216 ( 1994 ), pp. 83 - 87 . Article | MR 1273467 | Zbl 0795.20013 · Zbl 0795.20013 · doi:10.1007/BF02572310
[11] B. Zimmermann , Finite groups of outer automorphisms offree groups , Glasgow Math. J. , 38 ( 1996 ), pp. 275 - 282 . MR 1417356 | Zbl 0886.20028 · Zbl 0886.20028 · doi:10.1017/S0017089500031700
[12] B. Zimmermann , Generators and relations for discontinuous groups , A. Barlotti et al. (eds.), Generators and Relations in Groups and Geometries , pp. 407 - 436 , Kluwer Academic Publishers ( 1991 ). MR 1206922 | Zbl 0743.20025 · Zbl 0743.20025
[13] B. Zimmermann , Finite group actions on handlebodies and equivariant Heegaard genus for 3-manifolds , Topology Appl. , 43 ( 1992 ), pp. 263 - 274 . MR 1158872 | Zbl 0817.57016 · Zbl 0817.57016 · doi:10.1016/0166-8641(92)90161-R
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.