arXiv subjects
Publications and source records attributed to Danila O. Revin.
Given an automorphism $x$ of order bigger than $2$ of a sporadic simple group $S$, we show that there are at most $3$ conjugates of $x$ required to generate a subgroup of order divisible by a fixed prime divisor $r$ of $|S|$. The only exception is the case where $S=Suz$, $x$ is in class $3A$, $r=11$, and then the required number of generators is $4$.
We clarify the structure of subgroups generated by conjugate graph automorphisms of order $3$ of $O_8^+(2)$ and $O_8^+(3)$. As a result, we obtain a correction to a paper by S. Guest which, in turn, plays an important role in proving the solvable analogue of the Baer--Suzuki theorem.
As defined by Guralnick and Saxl, given a nonabelian simple group $S$ and its nonidentity automorphism $x$, a natural number $α_S(x)$ is the minimum number of conjugates of $x$ in $\langle x,S\rangle$ that generate a subgroup containing $S$. In this paper, for every sporadic group $S$ other than the Monster and an automorphism $x$ of $S$ of prime order, we complete the determination of the precise value of $α_S(x)$.
As defined by Guralnick and Saxl given a nonabelian simple group $S$ and its nonidentity automorphism $x$, a natural number $α_S(x)$ does not exceed a natural number $m$ if some $m$ conjugates of $x$ in the group $\langle x,S\rangle$ generate a subgroup that includes $S$. The outcome of this paper together with one by Di Martino, Pellegrini, and Zalesski, both of which are based on computer calculations with character tables, is a refinement of the estimates by Guralnick and Saxl on the value of $α_S(x)$ in the case where $S$ is a sporadic group. In particular, we prove that $α_S(x)\leqslant 4$, except when $S$ is one of the Fischer groups and $x$ is a $3$-transposition. In the latter case, $α_S(x)=6$ if $S$ is either $Fi_{22}$ or $Fi_{23}$ and $α_S(x)=5$ if $S={Fi_{24}}'$.
We prove that if $L=\mbox{}^2F_4(2^{2n+1})'$ and $x$ is a nonidentity automorphism of $L$ then $G=\langle L,x\rangle$ has four elements conjugate to $x$ that generate $G$. This result is used to study the following conjecture about the $π$-radical of a finite group: Let $π$ be a proper subset of the set of all primes and let $r$ be the least prime not belonging to $π$. Set $m=r$ if $r=2$ or $3$ and set $m=r-1$ if $r\geqslant 5$. Supposedly, an element $x$ of a finite group $G$ is contained in the $π$-radical $\operatorname{O}_π(G)$ if and only if every $m$ conjugates of $x$ generate a $π$-subgroup. Based on the results of this paper and a few previous ones, the conjecture is confirmed for all finite groups whose every nonabelian composition factor is isomorphic to a sporadic, alternating, linear, or unitary simple group, or to one of the groups of type ${}^2B_2(2^{2n+1})$, ${}^2G_2(3^{2n+1})$, ${}^2F_4(2^{2n+1})'$, $G_2(q)$, or ${}^3D_4(q)$.
Let $\mathfrak{X}$ be a class of finite groups closed under subgroups, homomorphic images, and extensions. We study the question which goes back to the lectures of H. Wielandt in 1963-64: For a given $\mathfrak{X}$-subgroup $K$ and maximal $\mathfrak{X}$-subgroup $H$, is it possible to see embeddability of $K$ in $H$ (up to conjugacy) by their projections onto the factors of a fixed subnormal series. On the one hand, we construct examples where $K$ has the same projections as some subgroup of $H$ but is not conjugate to any subgroup of $H$. On the other hand, we prove that if $K$ normalizes the projections of a subgroup $H$, then $K$ is conjugate to a subgroup of $H$ even in the more general case when $H$ is a submaximal $\mathfrak{X}$-subgroup.
Let $π$ be a proper subset of the set of all primes. Denote by $r$ the smallest prime which does not belong to $π$ and set $m = r$ if $r = 2$ or $3$ and $m = r-1$ if $r \geqslant 5$. We study the following conjecture: a conjugacy class $D$ of a finite group $G$ is contained in the $π$-radical $\mathrm{O}_π(G)$ of $G$ if and only if every $m$ elements of $D$ generate a $π$-subgroup. We confirm this conjecture for each group $G$ whose nonabelian composition factors are isomorphic to sporadic or alternating groups.
Let ${\mathfrak{X}}$ be a class of finite groups closed under taking subgroups, homomorphic images, and extensions. Denote by ${\mathrm{k}}_{\mathfrak{X}}(G)$ the number of conjugacy classes ${\mathfrak{X}}$-maximal subgroups of a finite group $G$. The natural problem to describe up to conjugacy ${\mathfrak{X}}$-maximal subgroups of a given finite group is complicated by the fact that it is not inductive. In particular, generally speaking, the image of an ${\mathfrak{X}}$-maximal subgroup is not ${\mathfrak{X}}$-maximal in the image of a homomorphism. Nevertheless, there are group homomorphisms which preserve the number of conjugacy classes of ${\mathfrak{X}}$-maximal subgroups (for example, the homomorphisms whose kernels are ${\mathfrak{X}}$-groups). Under such homomorphisms, the image of an ${\mathfrak{X}}$-maximal subgroup is always ${\mathfrak{X}}$-maximal and, moreover, there is a natural bijection between the conjugacy classes of ${\mathfrak{X}}$-maximal subgroups of the image and preimage. All such homomorphisms are completely described in the paper. More precisely, it is proved that, for a homomorphism $ϕ$ from a group $G$, the equality ${\mathrm{k}}_{\mathfrak{X}}(G)={\mathrm{k}}_{\mathfrak{X}}(\mathrm{im}\, ϕ)$ holds if and only if ${\mathrm{k}}_{\mathfrak{X}}(\ker ϕ)=1$, which in turn is equivalent to the fact that the composition factors of the kernel of $ϕ$ belong to an explicitly given list.
Let a group $A$ act on the group $G$ coprimely. Suppose that the order of the fixed point subgroup $C_G(A)$ is not divisible by an arbitrary but fixed prime $p$. In the present paper we determine bounds for the $p$-length of the group $G$ in terms of the order of $A$, and investigate how some $A$-invariant $p$-subgroups are embedded in $G$ under various additional assumptions.
Let $π$ be a set of primes such that $|π|\geqslant 2$ and $π$ differs from the set of all primes. Denote by $r$ the smallest prime which does not belong to $π$ and set $m=r$ if $r=2,3$ and $m=r-1$ if $r\geqslant 5$. We study the following conjecture: a conjugacy class $D$ of a finite group $G$ is contained in $Oπ(G)$ if and only if every $m$ elements of $D$ generate a $π$-subgroup. We confirm this conjecture for each group $G$ whose nonabelian composition factors are isomorphic to alternating, linear and unitary simple groups.
We complete the description of automorphism groups of all nonsplit extensions of elementary abelian $2$-groups by $PSL_2(q)$, with $q$ odd, for an irreducible induced action. An application of this result to the theory of $π$-submaximal subgroups is given.
Let $\mathfrak{X}$ be a class of finite groups closed under taking subgroups, homomorphic images and extensions. It is known that if $A$ is a normal subgroup of a finite group $G$ then the image of an $\mathfrak{X}$-maximal subgroup $H$ of $G$ in $G/A$ is not, in general, $\mathfrak{X}$-maximal in $G/A$. We say that the reduction $\mathfrak{X}$-theorem holds for a finite group $A$ if, for every finite group $G$ that is an extension of $A$ (i. e. contains $A$ as a normal subgroup), the number of conjugacy classes of $\mathfrak{X}$-maximal subgroups in $G$ and $G/A$ is the same. The reduction $\mathfrak{X}$-theorem for $A$ implies that $HA/A$ is $\mathfrak{X}$-maximal in $G/A$ for every extension $G$ of $A$ and every $\mathfrak{X}$-maximal subgroup $H$ of $G$. In this paper, we prove that the reduction $\mathfrak{X}$-theorem holds for $A$ if and only if all $\mathfrak{X}$-maximal subgroups are conjugate in $A$ and classify the finite groups with this property in terms of composition factors.
We explore the extent to which constructing the inductive theory of $\mathfrak{X}$-submaximal subgroups is possible. To this end, we study the behavior of $π$-submaximal subgroups under homomorphisms with $π$-separable kernels and construct examples where such behavior is irregular.
In the paper we prove (modulo the classification of finite simple groups) an analogue of the famous Baer-Suzuki theorem for the $π$-radical of a finite group, where $π$ is a set of primes
We construct examples that show the difference in behavior or $π$-maximal and $π$-submaximal subgroups under group homomorphisms.
Let $π$ be a set of primes. We say that a finite group $G$ is a $\mathcal{D}_π$-group if the maximal $π$-subgroups of $G$ are conjugate. In this paper, we give an affirmative answer to Problem 17.44(b) from "Kourovka notebook", namely we prove that in a $\mathcal{D}_π$-group an overgroup of a $π$-Hall subgroup is always a $\mathcal{D}_π$-group.
Let $G$ be a group and $S\subseteq G$ its subset such that $S=S^{-1}$, where $S^{-1}=\{s^{-1}\mid s\in S\}$. Then {\it the Cayley graph ${\rm Cay}(G,S)$} is an undirected graph $Γ$ with the vertex set $V(Γ)=G$ and the edge set $E(Γ)=\{(g,gs)\mid g\in G, s\in S\}$. A graph $Γ$ is said to be {\it integral} if every eigenvalue of the adjacency matrix of $Γ$ is integer. In the paper, we prove the following theorem: {\it if a subset $S=S^{-1}$ of $G$ is normal and $s\in S\Rightarrow s^k\in S$ for every $k\in \mathbb{Z}$ such that $(k,|s|)=1$, then ${\rm Cay}(G,S)$ is integral.} In particular, {\it if $S\subseteq G$ is a normal set of involutions, then ${\rm Cay}(G,S)$ is integral.} We also use the theorem to prove that {\it if $G=A_n$ and $S=\{(12i)^{\pm1}\mid i=3,\dots,n\}$, then ${\rm Cay}(G,S)$ is integral.} Thus, we give positive solutions for both problems 19.50(a) and 19.50(b) in "Kourovka Notebook".
A subgroup $H$ of a group $G$ is said to be {pronormal} in $G$ if $H$ and $H^g$ are conjugate in $\langle H, H^g \rangle$ for every $g \in G$. Some problems in finite group theory, combinatorics, and permutation group theory were solved in terms of pronormality. In 2012, E. Vdovin and the third author conjectured that the subgroups of odd index are pronormal in finite simple groups. In this paper we disprove their conjecture and discuss a recent progress in the classification of finite simple groups in which the subgroups of odd index are pronormal.