Irreducible linear subgroups generated by pairs of matrices with large irreducible submodules.

DOI10.1007/S00013-012-0359-1MaRDI QIDQ766089zbMATH OpenOpenAlexWikidataFDO

Authors Alice C. Niemeyer, Sabina B. Pannek, Cheryl E. Praeger

Publication date 23 March 2012

Published in Archiv der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

fat elementsgeneral linear groupsgenerating pairsirreducible subgroupslarge irreducible subspacesproportions of elements

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Linear algebraic groups over finite fields (20G40) Probabilistic methods in group theory (20P05)

Abstract: We call an element of a finite general linear group $extrmGL(d,q)$ emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with $extrmSL(d,q)leqGleqextrmGL(d,q)$ most pairs of fat elements from $G$ generate irreducible subgroups, namely we prove that the proportion of pairs of fat elements generating a reducible subgroup, in the set of all pairs in $GimesG$, is less than $q^{-d+1}$. We also prove that the conditional probability to obtain a pair $(g_1,g_2)$ in $GimesG$ which generates a reducible subgroup, given that $g_1,g_2$ are fat elements, is less than $2q^{-d+1}$. Further, we show that any reducible subgroup generated by a pair of fat elements acts irreducibly on a subspace of dimension greater than $d/2$, and in the induced action the generating pair corresponds to a pair of fat elements.

Review text

An element \(g\) of \(\mathrm{GL}(d,q)\) is said to be `fat' if it fixes a subspace of dimension \(e\) greater than \(d/2\) and the action is irreducible or, equivalently, if the characteristic polynomial for \(g\) has an irreducible factor over \(\mathbb F_q\) of degree \(e\). In the paper under review, the authors prove that for a group \(G\) with \(\mathrm{SL}(d,q)\leq G\leq\mathrm{GL}(d,q)\), most pairs of fat elements from \(G\) generate irreducible subgroups. Precisely, they give an explicit upper bound for the proportion of reducible fat pairs in the set of all pairs in \(G\times G\). Moreover, they show that any reducible subgroup generated by a pair of fat elements acts irreducibly on a subspace of dimension greater than \(d/2\), and the generating pair (in the induced action) is a pair of fat elements.

Recommendations

• A theorem on random matrices and some applications
• The probability of generating a finite linear group.
• A polynomial-time reduction algorithm for groups of semilinear or subfield class.
• A Recognition Algorithm for Special Linear Groups
• Asymptotic results for primitive permutation groups and irreducible linear groups.

Cites work

• A Recognition Algorithm For Classical Groups Over Finite Fields
• A Recognition Algorithm for Special Linear Groups
• scientific article; zbMATH DE number 54047 (Why is no real title available?)
• scientific article; zbMATH DE number 682071 (Why is no real title available?)
• scientific article; zbMATH DE number 686998 (Why is no real title available?)
• The computational matrix group project.

Cited in

(3)

• Comparing the order and the minimal number of generators of a finite irreducible linear group
• Big elements in irreducible linear groups.
• scientific article; zbMATH DE number 2151027 (Why is no real title available?)

This page was built for publication: Irreducible linear subgroups generated by pairs of matrices with large irreducible submodules.

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