Related papers: Random Generation of the Special Linear Group

We say that a subset $X$ quasi-isometrically boundedly generates a finitely generated group $\Gamma$ if each element $\gamma$ of a finite-index subgroup of $\Gamma$ can be written as a product $\gamma = x_1 x_2 \cdots x_r$ of a bounded…

This paper shows that the group ${\rm SL}_n(R)$ is boundedly elementary generated for $n\geq 3$ and $R$ the ring of algebraic integers in a global function field. Contrary to previous statements for number fields and earlier statements for…

We call an element of a finite general linear group $ \textrm{GL}(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…

Let $G_0$ be a either $SL_n(\mathbb{F}_q)$, the special linear group over the finite field with $q$ elements, or $PSL_n(\mathbb{F}_q)$, its projective quotient, and let $\Sigma$ be a symmetric subset of $G_0$, namely, if $x \in \Sigma$ then…

In this paper we prove that the unitary groups $SU_n(q^2)$ are $(2,3)$-generated for any prime power $q$ and any integer $n\geq 8$. By previous results this implies that, if $n\geq 3$, the groups $SU_n(q^2)$ and $PSU_n(q^2)$ are…

The generalized order $e_G(g)$ of an element $g$ of a group $G$ is the smallest positive integer $k$ such that there exist $x_1,\ldots,x_k \in G$ such that $g^{x_1} \ldots g^{x_k}=1$, where $g^x=x^{-1}gx$. Let $e(G) = \max \{e_G(g)\ |\ g…

In 2001 Liebeck and Pyber showed that a finite simple group of Lie type is a product of $ 25 $ carefully chosen unipotent Sylow subgroups. Later, in a series of works it was shown that $ 4 $ unipotent Sylow subgroups suffice. We prove that…

In [3] is was shown that for any group $G$ whose rank (i.e., minimal number of generators) is at most 3, and any finite index subgroup $H\leq G$ with index $[G:H]\geq rank(G)$, one can always find a left-right transversal of $H$ which…

Given a finitely generated linear group $G$ over $\mathbb{Q}$, we construct a simple group $\Gamma$ that has the same finiteness properties as $G$ and admits $G$ as a quasi-retract. As an application, we construct a simple group of type…

Consider the set of all powers $\text{GL}(n ,q)^M = \{x^M \mid x\in \text{GL}(n, q)\}$ for an integer $M\geq 2$. In this article, we aim to enumerate the regular, regular semisimple and semisimple elements as well as conjugacy classes in…

We provide explicit uniform type (2,3)-generators for the special linear group SL_{12}(q) for all q except for q=2 or 4. Our considerations are easily traceable, self-contained and based only on the known list of maximal subgroups of this…

We prove that the groups PSL_n(q) are (2,3)-generated for n=9,10 or 11 and all q. Actually, we find out explicit generators x_n and y_n of respective orders 2 and 3, for the groups SL_n(q).

This work establishes a new probabilistic bound on the number of elements to generate finite nilpotent groups. Let $\varphi_k(G)$ denote the probability that $k$ random elements generate a finite nilpotent group $G$. For any $0 < \epsilon <…

We consider three families of groups: the Bianchi groups SL(2,O) where O is the ring of integers of an imaginary, quadratic field; the groups SL*(2,O) where O is a *-order of a definite, rational quaternion algebra with an orthogonal…

We show how to improve the runtime of the construction of generators of maximal subgroups of $\operatorname{SL}(d, q), \operatorname{SU}(d, q)$ and $\operatorname{Sp}(d, q)$ which arise as normalisers of extraspecial groups or $2$-groups of…

We show that the Grothendieck-Teichm\"uller group of $PSL(2, q)$, or more precisely the group $GT_1(PSL(2, q))$ as previously defined by the author, is the product of an elementary abelian 2-group and several copies of the dihedral group of…

This paper has two main parts. Firstly, we give a classification of the $\ell$-blocks of finite special linear and unitary groups $SL_n(\epsilon q)$ in the non-defining characteristic $\ell\ge 3$. Secondly, we describe how the…

Answering a question of Geoff Robinson, we compute the large n limiting proportion of i(n,q)/q^[n^2/2], where i(n,q) denotes the number of involutions in GL(n,q). We give similar results for the finite unitary, symplectic, and orthogonal…

Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$…

In this short note we confirm a conjecture of James Wiegold. We prove that if $G$ is a finite $p$-group and $|G'|>p^{n(n-1)/2}$ for some non-negative integer $n$, then the group $G$ can be generated by the elements of breadth at least $n$.…