Groups with a small set of generators
A subset \(B\) of a group \(G\) is `large' if \(G=F\cdot B=B\cdot F\) for some finite subset \(F\) of \(G\); a set \(S\subseteq G\) is `small' if for every finite set \(F\) the sets \(S\cdot F\) and \(F\cdot S\) have a large complement in \(G\). The question when an infinite group may have a small set of generators was addressed by \textit{V. I. Malykhin} and \textit{R. Moresco} [Quest. Answers Gen. Topology 19, No. 1, 47-53 (2001; Zbl 1028.20027)]. Let us denote by \(\mathcal S\) the class of groups with small set of generators. It was proved in Malykhin and Moresco [loc. cit.] that \(\mathcal S\) contains all groups that have an infinite Abelian normal subgroup (in particular, all groups with infinite center) as well as all solvable groups. Call a subset \(S\) of an Abelian group \(G\) `small in the sense of Prodanov' (briefly, `P-small') if there exist \(x_1,\dots,x_n,\dots\) in \(G\) such that the sets \(\{S+x_n\}_n\) are pairwise disjoint. The main contributions of the present paper go in two directions. In the first part of this paper the authors define appropriate versions of P-smallness in non-Abelian groups, as well as other versions of smallness that turn out to be stronger than smallness or P-smallness in many cases. It is proved that in most of the cases the small generated groups of Malykhin and Moresco [loc. cit.] have a set of generators satisfying also a much stronger property of smallness. On the other hand, it adds to the list of groups in \(\mathcal S\) found by Malykhin and Moresco some new classes of non-Abelian groups with a small set of generators proceeding in two ways. In the case of permutation groups and linear groups the arguments are purely algebraic. It offers also another approach to the problem that heavy leans on topology. This allows to produce a wealth of small and P-small sets and to provide many examples of compact-like topological groups that belong to \(\mathcal S\). Finally, it partially answers a question of Malykhin and Moresco [loc. cit.] by showing that \(\mathcal S\) contains all compact groups with eventual exception of the topologically finitely generated pro-\(p\) groups and the profinite groups with trivial Frattini subgroup.
- Small subsets of groups.
- Preservation and reflection of size properties of balleans
- Small Abelian groups.
- Small generated groups
- Groups generated by elements of small breadth
- Abelian Groups with a Minimal Generating Set
- Around P-small subsets of groups.
- scientific article; zbMATH DE number 4208435 (Why is no real title available?)
- scientific article; zbMATH DE number 1857723 (Why is no real title available?)
- Small systems of generators of groups.
This page was built for publication: Groups with a small set of generators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4822710)
