Growth in solvable subgroups of GL_r( Z/p Z).

DOI10.1007/S00208-014-1008-8MaRDI QIDQ464139zbMATH OpenOpenAlexFDO

Publication date 17 October 2014

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1008.5264

growth of groups linear groups over finite fields solvable subgroups

Arithmetic combinatorics; higher degree uniformity (11B30) Arithmetic and combinatorial problems involving abstract finite groups (20D60) Generators, relations, and presentations of groups (20F05) Asymptotic properties of groups (20F69) Linear algebraic groups over finite fields (20G40)

Abstract: Let

K = Z / p Z

and let

A

be a subset of

G L_{r} (K)

such that

< A >

is solvable. We reduce the study of the growth of

A

under the group operation to the nilpotent setting. Specifically we prove that either

A

grows rapidly (meaning

| A c d o t A c d o t A | g g | A |^{1 + d e l t a}

), or else there are groups

U_{R}

and

S

, with

S / U_{R}

nilpotent such that

A_{k} c a p S

is large and

U_{R} s u b s e t e q A_{k}

, where

k

is a bounded integer and

A_{k} = x_{1} x_{2} ... b x_{k} : x_{i} i n A c u p A^{- 1} c u p 1

. The implied constants depend only on the rank

r

of

G L_{r} (K)

. When combined with recent work by Pyber and Szab'o, the main result of this paper implies that it is possible to draw the same conclusions without supposing that

< A >

is solvable.

Review text

Let \(K=\mathbb Z/p\mathbb Z\) and let \(A\) be a subset of \(\mathrm{GL}_r(K)\) such that \(\langle A\rangle\) is solvable. The authors reduce the study of the growth of \(A\) under the group operation to the nilpotent setting. Fix a positive number \(C\geq 1\); they prove that either \(A\) grows (meaning \(|A_3|\geq C|A|\)), or else there are groups \(U_R\) and \(S\), with \(U_R\trianglelefteq S\trianglelefteq\langle A\rangle\), such that \(S/U_R\) is nilpotent, \(A_k\cap S\) is large and \(U_R\subseteq A_k\), where \(k\) depends only on the rank \(r\) of \(\mathrm{GL}_r(K)\). Here \(A_k=\{x_1x_2\cdots x_k:x_i\in A\cup A^{-1}\cup\{1\}\}\). When combined with recent work by Pyber and Szabó the main result of this paper implies that it is possible to draw the same conclusions without supposing that \(\langle A\rangle\) is solvable.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Growth in solvable subgroups of \(\mathrm{GL}_r(\mathbb Z/p\mathbb Z)\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q464139)