𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Number of Generators of Finite Images of Free Products of Finite Groups

✍ Scribed by Andrea Lucchini

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
108 KB
Volume
245
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis

We prove that the analog of the Grushko-Neumann theorem does not hold for profinite free products of profinite groups. To do that we bound the number of generators of a finite group generated by a family of subgroups of pairwise coprime orders.

πŸ“œ SIMILAR VOLUMES

On the Number of Generators and Composit
On the Number of Generators and Composition Length of Finite Linear Groups
✍ A Lucchini; F Menegazzo; M Morigi πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 151 KB

In 1991 Dixon and Kovacs 8 showed that for each field K which has finite degree over its prime subfield there is a number d such that every K finite nilpotent irreducible linear group of degree n G 2 over K can be w x wx ' generated by d nr log n elements. Afterwards Bryant et al. 3 proved K ' d G F

On Amalgamated Free Products of Residual
On Amalgamated Free Products of Residually p-Finite Groups
✍ G.S. Kim; J. Mccarron πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 426 KB

We find a necessary and sufficient condition for an amalgamated free product of arbitrarily many isomorphic residually \(p\)-finite groups to be residually \(p\)-finite. We also prove that this condition is sufficient for a free product of any finite number of residually \(p\)-finite groups, amalgam

Large Product-Free Subsets of Finite Gro
Large Product-Free Subsets of Finite Groups
✍ Kiran S. Kedlaya πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 476 KB

A subset of a group is said to be product-free if the product of two of its elements is never itself an element of the subset. Using the classification of finite simple groups, we prove that every finite group of order n has a product-free subset of more than cn 11Γ‚14 elements, for some fixed c>0. T