Related papers: The classification of extremely primitive groups
Let $G$ be an infinite simple group of finite Morley rank and of Pr\"{u}fer $2$-rank $1$ which admits a supertight automorphism $\alpha$ such that the fixed-point subgroup $C_G(\alpha^n)$ is pseudofinite for all integers $n > 0$. We prove…
Let $G$ be a finite group. If $\Gamma$ is a permutation group with $G_{right}\leq\Gamma\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $\Gamma$, then the $\mathbb{Z}$-submodule…
We find surface subgroups in certain one-relator groups with torsion and use this to deduce a profinite criterion for a word in the free group to be primitive.
Let $G$ be a finite group and let $\textrm{cd}(G)$ be the set of all complex irreducible character degrees of $G.$ In this paper, we show that if $\textrm{cd}(G)=\textrm{cd}(H),$ where $H$ is a finite simple exceptional group of Lie type,…
For an arbitrary finite permutation group $G$, subgroup of the symmetric group $S_\ell$, we determine the permutations involving only members of $G$ as $\ell$-patterns, i.e., avoiding all patterns in the set $S_\ell \setminus G$. The set of…
This paper is a continuation of Almost Commutative Terwilliger Algebras of Group Association Schemes I: Classification [1]. In that paper, we found all groups G for which the Terwilliger algebra of the group association scheme, denoted T…
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 classify up to isomorphism the gradings by arbitrary groups on the exceptional classical simple Lie superalgebras $G(3)$, $F(4)$ and $D(2,1;\alpha)$ over an algebraically closed field of characteristic $0$. To achieve this, we apply the…
Let $F=x^2+y^2-z^2$, $x_0 \in \mathbb{Z}^3$ primitive with $F(x_0)=0$, and $\Gamma \leq SO_F(\mathbb{Z})$ be a finitely generated thin subgroup. We consider the resulting thin orbits of Pythagorean triples $x_0 \cdot \Gamma$ - specifically…
Let $G$ be a finite almost simple group and let $H$ be a Sylow $p$-subgroup of $G$. As a special case of a theorem of Zenkov, there exist $x,y \in G$ such that $H \cap H^x \cap H^y = 1$. In fact, if $G$ is simple, then a theorem of Mazurov…
Let $H$ be a finite quasisimple classical group, i.e. $H$ is perfect and $S:=H/Z(H)$ is a finite simple classical group. We prove in this paper that, excluding the cases when the simple group $S$ has a very exceptional Schur multiplier such…
Let S=Sym(\Omega) be the group of all permutations of a countably infinite set \Omega, and for subgroups G_1, G_2\leq S let us write G_1\approx G_2 if there exists a finite set U\subseteq S such that < G_1\cup U > = < G_2\cup U >. It is…
We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees and convergence groups. The latter category includes as a…
A permutation group is called semiprimitive if each of its normal subgroups is either transitive or semiregular. Given nontrivial finite transitive permutation groups $L_1$ and $L_2$ with $L_1$ not semiprimitive, we construct an infinite…
For a complex connected reductive group G, we classify the simple modules whose cone of primitive vectors admits a nontrivial G-invariant deformation. We relate this classification to that of simple Jordan algebras, and to that (due to…
We construct, for the first time, various types of specific non-special finite $p$-groups having abelian automorphism group. More specifically, we construct groups $G$ with abelian automorphism group such that $\gamma_2(G) < \mathrm{Z}(G) <…
In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order…
A set of natural numbers $A$ is called primitive if no element of $A$ divides any other. Let $\Omega(n)$ be the number of prime divisors of $n$ counted with multiplicity. Let $f_z(A) = \sum_{a \in A}\frac{z^{\Omega(a)}}{a (\log a)^z}$,…
Let $g$ be an element of a group $G$. For a positive integer $n$, let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$, where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group…
A finite group G is exceptional if it has a quotient Q whose minimal faithful permutation degree is greater than that of G. We say that Q is a distinguished quotient. The smallest examples of exceptional p-groups have order p^5. For an odd…