Related papers: Generating Sequences of PSL(2,p)

Julius Whiston calculated the maximum size of an irredundant generating set for $S_n$ and $A_n$ by examination of maximal subgroups. Using analogous considerations, we will compute upper bounds to this value for the first two Mathieu…

In 2014, Benjamin Nachman showed that when $p\equiv$1 mod 8, the 2-dimensional projective linear group over the field of $p$ elements fails the replacement property if the maximal length $m$ of an irredundant generating sequence for the…

Whiston proved that the maximum size of an irredundant generating set in the symmetric group $S_n$ is $n-1$, and Cameron and Cara characterized all irredundant generating sets of $S_n$ that achieve this size. Our goal is to extend their…

Denote by $m(G)$ the largest size of a minimal generating set of a finite group $G$. We estimate $m(G)$ in terms of $\sum_{p\in \pi(G)}d_p(G),$ where we are denoting by $d_p(G)$ the minimal number of generators of a Sylow $p$-subgroup of…

A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…

Let $F$ be a field. We show that the largest irredundant generating sets for the algebra of $n\times n $ matrices over $F$ have $2n-1$ elements when $n>1$. (A result of Laffey states that the answer is $2n-2$ when $n>2$, but its proof…

We show that a topologically generating set $S$ of a connected compact Lie group $G$ of size larger than a fixed polynomial in the rank of $G$ must be redundant (i.e., some proper subset of $S$ still topologically generates $G$). Similar…

Let G=SL_3(Z/pZ), p a prime. Let A be a set of generators of G. Then A grows under the group operation. To be precise: denote by |S| the number of elements of a finite set S. Assume |A| < |G|^{1-\epsilon} for some \epsilon>0. Then |A\cdot…

We consider the action of the $2$-dimensional projective special linear group $PSL(2,q)$ on the projective line $PG(1,q)$ over the finite field $\F_q$, where $q$ is an odd prime power. A subset $S$ of $PSL(2,q)$ is said to be an…

Let $q$ be a power of a prime $p$ and let $G$ be a completely reducible subgroup of $\mathrm{GL}(d,q)$. We prove that the number of composition factors of $G$ that have prime order $p$ is at most $(\varepsilon_q d-1)/(p-1)$, where…

Let $p > 155$ be a prime and let $G$ be a cyclic group of order $p$. Let $S$ be a minimal zero-sum sequence with elements over $G$, i.e., the sum of elements in $S$ is zero, but no proper nontrivial subsequence of $S$ has sum zero. We call…

Let $G$ denote the projective special linear group $\text{PSL}(2,q)$, for a prime power $q$. It is shown that a finite 2-subgroup of the group $V(\mathbb{Z}G)$ of augmentation 1 units in the integral group ring $\mathbb{Z}G$ of $G$ is…

Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any…

For a finite group $G$ we investigate the difference between the maximum size MaxDim$(G)$ of an "independent" family of maximal subgroups of $G$ and maximum size $m(G)$ of an irredundant sequence of generators of $G$. We prove that…

Let $k \ge 2$ be an integer and consider the $k$-generalized Pell sequence $\{P_n^{(k)}\}_{n \ge 2-k}$, defined by the initial values $0, \ldots, 0, 0, 1$ (a total of $k$ terms), and the recurrence $P_n^{(k)} = 2P_{n-1}^{(k)} +…

Let $p>7$ be a prime, let $G=\Z/p\Z$, and let $S_1=\prod_{i=1}^p g_i$ and $S_2=\prod_{i=1}^p h_i$ be two sequences with terms from $G$. Suppose that the maximum multiplicity of a term from either $S_1$ or $S_2$ is at most $\frac{2p+1}{5}$.…

We investigate the finite soluble groups $G$ with the following property (replacement property): for every irredundant generating set $\{g_1,\dots,g_m\}$ of maximal size and for any $1\neq g\in G$ there exists an $i\in \{1,\dots,m\}$ so…

A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the…

This paper introduces the concept of a generating set for stochastic matrices -- a subset of matrices whose repeated composition generates the entire set. Understanding such generating sets requires specifying the "indivisible elements" and…

Let $G$ be a finite 2-generated soluble group and suppose that $\langle a_1,b_1\rangle=\langle a_2,b_2\rangle=G$. If either $G^\prime$ is of odd order or $G^\prime$ is nilpotent, then there exists $b \in G$ with $\langle…