Rank properties of commutators in finite groups

Cristina Acciarri; Robert M. Guralnick; Evgeny Khukhro; Pavel Shumyatsky

In the authors' words

For a subset $S$ of a finite group $G$ , let $I_{G} (S)$ denote the set of commutators $[g, x] = g^{- 1} g^{x}$ , where $g \in G$ and $x \in S$ . Suppose that a finite group $G$ has a Carter subgroup $C$ , that is, a nilpotent subgroup containing its normalizer. Suppose that any subgroup generated by a subset of $I_{G} (C)$ is $r$ -generated. We prove that if $G$ is soluble, then the derived subgroup $G^{'}$ has $r$ -bounded rank. We produce examples showing that the solubility condition cannot be dropped. For any finite group, we prove that the rank of $G^{'}$ is $(r, l)$ -bounded, where $l$ is the maximum rank of composition factors of $G$ isomorphic to $P S L_{2} (q)$ for $q \equiv 7 (mod 8)$ . We also prove in the general case that $G^{'}$ has $r$ -bounded rank under the additional condition that for any $x \in I_{G} (C)$ , any subgroup generated by a subset of $I_{G} (x)$ is $r$ -generated. The proofs rely on the classification of finite simple groups, using which we prove that if a finite simple group $G$ has an element $x$ of prime order $p$ such that any subgroup generated by a subset of $I_{G} (x)$ is $r$ -generated, then $G$ has $r$ -bounded (Pr\"ufer) rank or is isomorphic to $P S L_{2} (q)$ with $q \equiv 3 (mod 4)$ when $p = 2$ , or to $P S L_{2} (q)$ with $q \equiv - 1 (mod p)$ when $p \neq = 2$ .

Main resultLimitation the authors admit

Rank properties of commutators in finite groups

In the authors' words

More on Algebra & number theory that day

A separably representable counterexample to Naimark's problem in ZFC

Some Infinite Families of Arithmetic Symplectic Hypergeometric Groups

The Kazhdan-Lusztig category of osp1∣2n​ at irrational levels

Degrees and directional defects of embedded algebraic vector bundles

Euler characteristics of strata of k-differentials

The Kazhdan-Lusztig category of $osp_{1∣2 n}$ at irrational levels

Euler characteristics of strata of $k$ -differentials