Related papers: Presentations of finite simple groups: a computati…
Let $(G,+)$ be a finite abelian group. Then, $\so(G)$ and $\eta(G)$ denote the smallest integer $\ell$ such that each sequence over $G$ of length at least $\ell$ has a subsequence whose terms sum to $0$ and whose length is equal to and at…
We consider groups defined by non-empty balanced presentations with the property that each relator is of the form R(x,y), where x and y are distinct generators and R(.,.) is determined by some fixed cyclically reduced word R(a,b) that…
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…
We define a `nice representation' of a finitely presented group G as being a non-degenerate essentially surjective simplicial map f from a `nice' space X into a 3-complex associated to a presentation of G, with a strong control over the…
Let $G$ be a finite group. We will say that $M$ and $S$ form a \textsl{complete splitting} (\textsl{splitting}) of $G$ if every element (nonzero element) $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$,…
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all…
We classify closed abelian subgroups of the simple groups $G_2$, $F_4$, $Aut(so(8))$ having centralizer the same dimension as the dimension of the subgroup, as well as finite abelian subgroups of certain spin and half-spin groups having…
Let $Q_m$ be the HNN extension of $\Z/m \times \Z/m$ where the stable letter conjugates the first factor to the second. We explore small presentations of the groups $\Gamma_{m,n}=Q_m \ast Q_n$. We show that for certain choices of (m,n), for…
We classify gradings by arbitrary abelian groups on the classical simple Lie and Jordan superalgebras $Q(n)$, $n \geq 2$, over an algebraically closed field of characteristic different from $2$ (and not dividing $n+1$ in the Lie case): fine…
A group in which every element commutes with its endomorphic images is called an $E$-group. If $p$ is a prime number, a $p$-group $G$ which is an $E$-group is called a $pE$-group. Every abelian group is obviously an $E$-group. We prove that…
Let $G$ be a finite group and ${\rm cd}(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group with socle $H_{0}= \, ^{2}{\rm G}_{2}(q)$,…
We consider quotients of the group algebra of the $3$-string braid group $B_3$ by $p$-th order generic polynomial relations on the elementary braids. In cases $p=2,3,4,5$ these quotient algebras are finite dimensional. We give…
We prove that every non-abelian finite simple group is generated by an involution and an element of prime order.
We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: $\mathfrak{A}_5$, $\operatorname{PSL}_2(\mathbf{F}_7)$, $\mathfrak{A}_6$,…
For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…
It is well known that the proportion of pairs of elements of $\operatorname{SL}(n,q)$ which generate the group tends to $1$ as $q^n\to \infty$. This was proved by Kantor and Lubotzky using the classification of finite simple groups. We give…
In this paper we bring together results about the density of subsemigroups of abelian Lie groups, the minimal number of topological generators of abelian Lie groups and a result about actions of algebraic groups. We find the minimal number…
For cyclically presented groups $G = G_n(w)$ with positive length four relators $w = x_0x_jx_kx_l$ in the free group with basis $x_0, x_1, \ldots, x_{n-1}$, we classify finiteness and, modulo two unresolved cases, we classify asphericity…
We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we…
By a result of Babai, with finitely many exceptions, every group $G$ admits a semi-regular poset representation with three orbits, that is, a poset $P$ with automorphism group $\textrm{Aut}(P) \simeq G$ such that the action of…