Related papers: On soluble subgroups of sporadic groups

A subgroup H of a group G is called inert if for each $g\in G$ the index of $H\cap H^g$ in $H$ is finite. We give a classification of soluble-by-finite groups $G$ in which subnormal subgroups are inert in the cases where $G$ has no…

An integral of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. In this paper, we prove that the integrability of a finite group is a decidable problem.

A theorem of Dolfi, Herzog, Kaplan, and Lev \cite[Thm.~C]{DHKL} asserts that in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order, and…

The classifying space BG of a topological group $G$ can be filtered by a sequence of subspaces $B(q,G)$, using the descending central series of free groups. If $G$ is finite, describing them as homotopy colimits is convenient when applying…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the…

The commensurability index between two subgroups $A, B$ of a group $G$ is $[A : A \cap B] [B : A\cap B]$. This gives a notion of distance amongst finite-index subgroups of $G$, which is encoded in the p-local commensurability graphs of $G$.…

Our first result gives a partial converse to a well-known theorem of A. Ancona for hyperbolic groups. We prove that a group $G$, equipped with a symmetric probability measure whose finite support generates $G$, is hyperbolic if it is…

We prove a natural generalization of Szep's conjecture. Given an almost simple group $G$ with socle not isomorphic to an orthogonal group having Witt defect zero, we classify all possible group elements $x,y\in G\setminus\{1\}$ with $G={\bf…

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. In this note, we prove that if $\sigma_1(G)<\frac{117}{20}$, then $G$ is solvable. Moreover, we have $\sigma_1(G)=\frac{117}{20}$ if and only if $G\cong A_5$.…

We generalize the notion of an approximate indicator for a closed subgroup $H$ of a locally compact group $G$ introduced by Aristov, Runde, and Spronk and extend their characterization of the existence of such nets in terms of the…

A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there is a subgroup $K\leq G$ such that $HK\unlhd G$ and $H\cap K$ is contained in $H_G$, the core of $H$ in $G$. We characterize the solvability of finite groups $G$ with…

For G = SL(3,R) and G = SO(2,n), we give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan…

Let $G$ be a finite group. For $x \in G$, we define the solvabilizer of $x$ in $G$, denoted $sol_G(x)$, to be the set $\{g \in G \mid \langle g,x \rangle$ is solvable$\}$. A group $G$ is an S-group if $sol_G(x)$ is a subgroup of $G$ for…

We prove that if $G$ is a finite simple group of Lie type and $S$ a subset of $G$ of size at least two then $G$ is a product of at most $c\log|G|/\log|S|$ conjugates of $S$, where $c$ depends only on the Lie rank of $G$. This confirms a…

We prove that if G is a sufficiently large finite almost simple group of Lie type, then given a fixed nontrivial element x in G and a coset of G modulo its socle, the probability that x and a random element of the coset generate a subgroup…

Motivated in part by representation theoretic questions, we prove that if G is a finite quasi-simple group, then there exists an elementary abelian subgroup of G that intersects every conjugacy class of involutions of G.

Let $G$ be a finite group and $A$, $B$ and $D$ be conjugacy classes of $ G$ with $D\subseteq AB=\{xy\mid x\in A, y\in B\}$. Denote by $\eta(AB)$ the number of distinct conjugacy classes such that $AB$ is the union of those. Set ${\bf…

Let $G$ be a finite group, and let $\kappa(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $\kappa(G) \geq…

Sabatini (2024) defined a subgroup $H$ of $G$ to be an exponential subgroup if $x^{|G:H|} \in H$ for all $x \in G$. Exponential subgroups are a generalization of normal (and subnormal) subgroups: all subnormal subgroups are exponential, but…

The following result is received: Let $H$ be a non-normal maximal subgroup of a finite solvable group $G$ and let $q \in \pi(F(H/\mathrm{Core}_GH))$, then $G$ has a Sylow $q$-subgroup $Q$ such that $N_{G}(Q) \subseteq H$.