Source author record

Danila O. Revin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
3topics
4close collaborators

Published work

11 publications

preprint2021arXiv

On the sharp Baer--Suzuki theorem for ππ-radicals: sporadic groups

Let ππ be a proper subset of the set of all primes. Denote by rr the smallest prime which does not belong to ππ and set m=rm = r if r=2r = 2 or 33 and m=r−1m = r-1 if r⩾5r \geqslant 5. We study the following conjecture: a conjugacy class DD of a finite group GG is contained in the ππ-radical Oπ(G)\mathrm{O}_π(G) of GG if and only if every mm elements of DD generate a ππ-subgroup. We confirm this conjecture for each group GG whose nonabelian composition factors are isomorphic to sporadic or alternating groups.

preprint2021arXiv

On the sharp Baer--Suzuki theorem for the ππ-radical

Let ππ be a set of primes such that ∣π∣⩾2|π|\geqslant 2 and ππ differs from the set of all primes. Denote by rr the smallest prime which does not belong to ππ and set m=rm=r if r=2,3r=2,3 and m=r−1m=r-1 if r⩾5r\geqslant 5. We study the following conjecture: a conjugacy class DD of a finite group GG is contained in Oπ(G)Oπ(G) if and only if every mm elements of DD generate a ππ-subgroup. We confirm this conjecture for each group GG whose nonabelian composition factors are isomorphic to alternating, linear and unitary simple groups.

preprint2021arXiv

When is the search of relatively maximal subgroups reduced to quotients?

Let X{\mathfrak{X}} be a class of finite groups closed under taking subgroups, homomorphic images, and extensions. Denote by kX(G){\mathrm{k}}_{\mathfrak{X}}(G) the number of conjugacy classes X{\mathfrak{X}}-maximal subgroups of a finite group GG. The natural problem to describe up to conjugacy X{\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 X{\mathfrak{X}}-maximal subgroup is not X{\mathfrak{X}}-maximal in the image of a homomorphism. Nevertheless, there are group homomorphisms which preserve the number of conjugacy classes of X{\mathfrak{X}}-maximal subgroups (for example, the homomorphisms whose kernels are X{\mathfrak{X}}-groups). Under such homomorphisms, the image of an X{\mathfrak{X}}-maximal subgroup is always X{\mathfrak{X}}-maximal and, moreover, there is a natural bijection between the conjugacy classes of X{\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 GG, the equality kX(G)=kX(im ϕ){\mathrm{k}}_{\mathfrak{X}}(G)={\mathrm{k}}_{\mathfrak{X}}(\mathrm{im}\, ϕ) holds if and only if kX(ker⁡ϕ)=1{\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.

preprint2020arXiv

The reduction theorem for relatively maximal subgroups

Let X\mathfrak{X} be a class of finite groups closed under taking subgroups, homomorphic images and extensions. It is known that if AA is a normal subgroup of a finite group GG then the image of an X\mathfrak{X}-maximal subgroup HH of GG in G/AG/A is not, in general, X\mathfrak{X}-maximal in G/AG/A. We say that the reduction X\mathfrak{X}-theorem holds for a finite group AA if, for every finite group GG that is an extension of AA (i. e. contains AA as a normal subgroup), the number of conjugacy classes of X\mathfrak{X}-maximal subgroups in GG and G/AG/A is the same. The reduction X\mathfrak{X}-theorem for AA implies that HA/AHA/A is X\mathfrak{X}-maximal in G/AG/A for every extension GG of AA and every X\mathfrak{X}-maximal subgroup HH of GG. In this paper, we prove that the reduction X\mathfrak{X}-theorem holds for AA if and only if all X\mathfrak{X}-maximal subgroups are conjugate in AA and classify the finite groups with this property in terms of composition factors.

preprint2018arXiv

Spectra of Cayley graphs

Let GG be a group and S⊆GS\subseteq G its subset such that S=S−1S=S^{-1}, where S−1={s−1∣s∈S}S^{-1}=\{s^{-1}\mid s\in S\}. Then {\it the Cayley graph Cay(G,S){\rm Cay}(G,S)} is an undirected graph ΓΓ with the vertex set V(Γ)=GV(Γ)=G and the edge set E(Γ)={(g,gs)∣g∈G,s∈S}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−1S=S^{-1} of GG is normal and s∈S⇒sk∈Ss\in S\Rightarrow s^k\in S for every k∈Zk\in \mathbb{Z} such that (k,∣s∣)=1(k,|s|)=1, then Cay(G,S){\rm Cay}(G,S) is integral.} In particular, {\it if S⊆GS\subseteq G is a normal set of involutions, then Cay(G,S){\rm Cay}(G,S) is integral.} We also use the theorem to prove that {\it if G=AnG=A_n and S={(12i)±1∣i=3,…,n}S=\{(12i)^{\pm1}\mid i=3,\dots,n\}, then Cay(G,S){\rm Cay}(G,S) is integral.} Thus, we give positive solutions for both problems 19.50(a) and 19.50(b) in "Kourovka Notebook".

preprint2013arXiv

On the pronormality of Hall subgroups

Fix a set of primes ππ. A finite group is said to satisfy CπC_π or, in other words, to be a CπC_π-group, if it possesses exactly one class of conjugate ππ-Hall subgroups. The pronormality of ππ-Hall subgroups in CπC_π-groups is proven, or, equivalently, we prove that CπC_π is inherited by overgroups of ππ-Hall subgroups. Thus an affirmative solution to Problem 17.44(a) from the "Kourovka notebook" is obtained. We also provide an example, showing that Hall subgroups in finite groups are not pronormal in general.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.