Related papers: Maximal subgroups of almost simple groups with soc…

We give an exact formula, as a function of m and q, for the maximum order of the elements of the finite symplectic group Sp(2m,q), with q even, and of its automorphism group.

A subset $A$ of a finite abelian group $G$ is called $(k,l)$-sum-free if the sum of $k$ (not-necessarily-distinct) elements of $A$ never equals the sum of $l$ (not-necessarily-distinct) elements of $A$. We find an explicit formula for the…

Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an…

A quasigroup $Q$ is called maximally nonassociative if for $x,y,z\in Q$ we have that $x\cdot (y\cdot z) = (x\cdot y)\cdot z$ only if $x=y=z$. We show that, with finitely many exceptions, there exists a maximally nonassociative quasigroup of…

We will compute the stable upper genus for the family of finite non-abelian simple groups $PSL_2(\mathbb{F}_p)$ for $p \equiv 3~(mod~4)$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and…

We construct a solvable group G of order 5648590729620 such that the set of element orders of G coincides with that of the simple group S(4,3). This completes the determination of finite simple groups isospectral to solvable groups.

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…

We determine the irreducible 2-modular representations of the symplectic group $G=Sp_{2n}(2)$ whose restriction to every abelian subgroup has a trivial constituent. A similar result is obtained for maximal tori of $G$. There is significant…

In this paper, we resolve a conjecture of Green and Liebeck [Disc. Math., 343 (8):117119, 2019] on codes in $PGL(2,q)$. To be specific, we show that: if $D$ is a dihedral subgroup of order $2(q+1)$ in $G=PGL(2,q)$, and $A=\{g\in G: g^{q+1}=…

We will investigate quasi-randomness for profinite groups. We will obtain bounds for the mininal degree of non-trivial representations of $\mathrm{SL}_k(\mathbb{Z}/(p^n\mathbb{Z}))$ and $\mathrm{Sp}_{2k}(\mathbb{Z}/(p^n\mathbb{Z}))$. Our…

In this paper we study the (2,k)-generation of the finite classical groups SL(4,q), Sp(4,q), SU(4,q^2) and their projective images. Here k is the order of an arbitrary element of SL(2,q), subject to the necessary condition k>= 3. When q is…

Julius Whiston and Jan Saxl showed that the size of an irredundant generating set of the group G=PSL(2,p) is at most four and computed the size m(G) of a maximal set for many primes. We will extend this result to a larger class of primes,…

Dynkin's classification of maximal subalgebras of simple finite dimensional complex Lie algebras is generalized to linear Lie superalgebras. Namely, the maximal non-simple irreducible subalgebras of $\mathfrak{gl}(p|q), \mathfrak{q}(n),…

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$; or (c) a projective special linear…

It is already known that the automorphism group of a chiral polyhedron is never isomorphic to $PSL(2,q)$ or $PGL(2,q)$ for any prime power $q$. In this paper, we show that $PSL(2,q)$ and $PGL(2,q)$ are never automorphism groups of chiral…

The paper is concerned with maximal subgroups of the ample (better known as topological full) groups of homeomorphisms of totally disconnected compact metrizable topological spaces. We describe all maximal subgroups that are stabilizers of…

Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n…

A scale-multiplicative semigroup in a totally disconnected, locally compact group $G$ is one for which the restriction of the scale function on $G$ is multiplicative. The maximal scale-multiplicative semigroups in groups acting…

For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of…

We show how to count and randomly generate finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$ of a given isomorphism type. We also prove that almost malnormality and non-parabolicity are negligible properties for…