Showing 1–26 of 26 results for author: Vasil'ev, A V

The automorphism groups of small affine rank 3 graphs

Authors: ** Guo, Andrey V. Vasil'ev, Rui Wang

Abstract: A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information o… ▽ More A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information on this subject is available. In the present note, we address this problem for the affine rank 3 graphs. We find the automorphism groups for finitely many relatively small graphs and show that modulo known results, this provides the full description of the automorphism groups of the affine rank 3 graphs, thus reducing the general problem to the case when the socle of the automorphism group is nonabelian simple. △ Less

Submitted 6 June, 2024; originally announced June 2024.

MSC Class: 20B25; 05E18; 05E30

Closures of permutation groups with restricted nonabelian composition factors

Authors: Ilia Ponomarenko, Saveliy V. Skresanov, Andrey V. Vasil'ev

Abstract: Given a permutation group $G$ on a finite set $Ω$, let $G^{(k)}$ denote the $k$-closure of $G$, that is, the largest permutation group on $Ω$ having the same orbits in the induced action on $Ω^k$ as $G$. Recall that a group is $\mathrm{Alt}(d)$-free if it does not contain a section isomorphic to the alternating group of degree $d$. Motivated by some problems in computational group theory, we prove… ▽ More Given a permutation group $G$ on a finite set $Ω$, let $G^{(k)}$ denote the $k$-closure of $G$, that is, the largest permutation group on $Ω$ having the same orbits in the induced action on $Ω^k$ as $G$. Recall that a group is $\mathrm{Alt}(d)$-free if it does not contain a section isomorphic to the alternating group of degree $d$. Motivated by some problems in computational group theory, we prove that the $k$-closure of an $\mathrm{Alt}(d)$-free group is again $\mathrm{Alt}(d)$-free for $k \geq 4$ and $d \geq 25$. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 20 pages

MSC Class: 20B05 (Primary) 20B25; 20G40 (Secondary)

The structure of a finite group and the maximum $π$-index of its elements

Authors: A-Ming Liu, Andrey V. Vasil'ev

Abstract: Given a set of primes $π$, the $π$-index of an element $x$ of a finite group $G$ is the $π$-part of the index of the centralizer of $x$ in $G$. If $π=\{p\}$ is a singleton, we just say the $p$-index. If the $π$-index of $x$ is equal to $p_1^{k_1}\ldots p^{k_s}$, where $p_1,\ldots,p_s$ are distinct primes, then we set $\exp_π(x)=k_1+\ldots+k_s$. In this short note, we study how the number… ▽ More Given a set of primes $π$, the $π$-index of an element $x$ of a finite group $G$ is the $π$-part of the index of the centralizer of $x$ in $G$. If $π=\{p\}$ is a singleton, we just say the $p$-index. If the $π$-index of $x$ is equal to $p_1^{k_1}\ldots p^{k_s}$, where $p_1,\ldots,p_s$ are distinct primes, then we set $\exp_π(x)=k_1+\ldots+k_s$. In this short note, we study how the number $ε_π(G)=\max\{ε_π(x):x\in G\}$ restricts the structure of the factor group $G/Z(G)$ of $G$ by its center. First, for a finite group $G$, we prove that $φ_p(G/Z(G))\leqε_p(G)$, where $φ_p(G/Z(G))$ is the Frattini length of a Sylow $p$-subgroup of $G/Z(G)$. Second, for a $π$-separable finite group $G$, we prove that $l_π(G/Z(G))\leqε_π(G)$, where $l_π(G/Z(G))$ is the $π$-length of $G/Z(G)$. △ Less

Submitted 4 June, 2024; v1 submitted 28 May, 2024; originally announced May 2024.

MSC Class: 20E45; 20D20

On recognition of the direct squares of the simple groups with abelian Sylow 2-subgroups

Authors: Tao Li, A. R. Moghaddamfar, Andrey V. Vasil'ev, Zhigang Wang

Abstract: The spectrum of a group is the set of orders of its elements. Finite groups with the same spectra as the direct squares of the finite simple groups with abelian Sylow 2-subgroups are considered. It is proved that the direct square $J_1\times J_1$ of the sporadic Janko group $J_1$ and the direct squares ${^2}G_2(q)\times{^2}G_2(q)$ of the simple small Ree groups ${^2}G_2(q)$ are uniquely characteri… ▽ More The spectrum of a group is the set of orders of its elements. Finite groups with the same spectra as the direct squares of the finite simple groups with abelian Sylow 2-subgroups are considered. It is proved that the direct square $J_1\times J_1$ of the sporadic Janko group $J_1$ and the direct squares ${^2}G_2(q)\times{^2}G_2(q)$ of the simple small Ree groups ${^2}G_2(q)$ are uniquely characterized by their spectra in the class of finite groups, while for the direct square $PSL_2(q)\times PSL_2(q)$ of a 2-dimensional simple linear group $PSL_2(q)$, there are always infinitely many groups (even solvable groups) with the same spectra. △ Less

Submitted 13 December, 2023; originally announced December 2023.

MSC Class: 20D60; 20D06

On computing the closures of solvable permutation groups

Authors: Ilia Ponomarenko, Andrey V. Vasil'ev

Abstract: Let $m\ge 3$ be an integer. It is proved that the $m$-closure of a given solvable permutation group of degree $n$ can be constructed in time $n^{O(m)}$. Let $m\ge 3$ be an integer. It is proved that the $m$-closure of a given solvable permutation group of degree $n$ can be constructed in time $n^{O(m)}$. △ Less

Submitted 5 April, 2023; originally announced April 2023.

Comments: 7 pages

MSC Class: 20B25; 20B40 ACM Class: F.2.2

Journal ref: Internat. J. Algebra Comput., vol. 34, no. 1, 137-145 (2024)

On $p$-index extremal groups

Authors: Andrey V. Vasil'ev, Ilya B. Gorshkov

Abstract: The question on connection between the structure of a finite group $G$ and the properties of the indices of elements of $G$ has been a popular research topic for many years. The $p$-index $|x^G|_p$ of an element $x$ of a group $G$ is the $p$-part of its index $|x^G|=|G:C_G(x)|$. The presented short note describes some new results and open problems in this direction, united by the concept of the… ▽ More The question on connection between the structure of a finite group $G$ and the properties of the indices of elements of $G$ has been a popular research topic for many years. The $p$-index $|x^G|_p$ of an element $x$ of a group $G$ is the $p$-part of its index $|x^G|=|G:C_G(x)|$. The presented short note describes some new results and open problems in this direction, united by the concept of the $p$-index of a group element. △ Less

Submitted 22 January, 2023; originally announced January 2023.

MSC Class: 20E45; 20D60

Journal ref: Algebra Logic, vol. 62, no. 1, 94-99 (2023)

On recognition of direct powers of finite simple linear groups by spectrum

Authors: N. Yang, I. B. Gorshkov, A. M. Staroletov, A. V. Vasil'ev

Abstract: The spectrum of a finite group is the set of its element orders. We give an affirmative answer to Problem 20.58(a) from the Kourovka Notebook proving that for every positive integer $k$, the $k$-th direct power of the simple linear group $L_{n}(2)$ is uniquely determined by its spectrum in the class of finite groups provided $n$ is a power of $2$ greater than or equal to $56k^2$. The spectrum of a finite group is the set of its element orders. We give an affirmative answer to Problem 20.58(a) from the Kourovka Notebook proving that for every positive integer $k$, the $k$-th direct power of the simple linear group $L_{n}(2)$ is uniquely determined by its spectrum in the class of finite groups provided $n$ is a power of $2$ greater than or equal to $56k^2$. △ Less

Submitted 7 February, 2023; v1 submitted 25 October, 2022; originally announced October 2022.

Comments: 17 pages

MSC Class: 20D06

Journal ref: Ann. Mat. Pura Appl., 202, 2699-2714 (2023)

On embedding theorems for $\mathfrak{X}$-subgroups

Authors: Wenbin Guo, Danila O. Revin, Andrey V. Vasil'ev

Abstract: 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 seri… ▽ More 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. △ Less

Submitted 21 June, 2022; originally announced June 2022.

MSC Class: 20E28; 20D20; 20D35

Journal ref: Archiv der Mathematik (Basel), 121, no. 1 (2023), 11--21

The minimal size of a generating set for primitive $\frac{3}{2}$-transitive groups

Authors: Dmitry Churikov, Andrey V. Vasil'ev, Maria A. Zvezdina

Abstract: We refer to $d(G)$ as the minimal cardinality of a generating set of a finite group $G$, and say that $G$ is $d$-generated if $d(G)\leq d$. A transitive permutation group $G$ is called $\frac{3}{2}$-transitive if a point stabilizer $G_α$ is nontrivial and its orbits distinct from $\{α\}$ are of the same size. We prove that $d(G)\leq4$ for every primitive $\frac{3}{2}$-transitive permutation group… ▽ More We refer to $d(G)$ as the minimal cardinality of a generating set of a finite group $G$, and say that $G$ is $d$-generated if $d(G)\leq d$. A transitive permutation group $G$ is called $\frac{3}{2}$-transitive if a point stabilizer $G_α$ is nontrivial and its orbits distinct from $\{α\}$ are of the same size. We prove that $d(G)\leq4$ for every primitive $\frac{3}{2}$-transitive permutation group $G$, moreover, $G$ is $2$-generated except for the very particular solvable affine groups that we completely describe. In particular, all finite $2$-transitive and $2$-homogeneous groups are $2$-generated. We also show that every finite group whose abelian subgroups are cyclic is $2$-generated, and so is every Frobenius complement. △ Less

Submitted 6 July, 2022; v1 submitted 19 February, 2022; originally announced February 2022.

MSC Class: 20B05; 20B15; 20B20

Journal ref: Sib. Math. J. vol. 63, no. 6, 1041-1048 (2022)

Criterion of nonsolvability of a finite group and recognition of direct squares of simple groups

Authors: Zh. Wang, A. V. Vasil'ev, M. A. Grechkoseeva, A. Kh. Zhurtov

Abstract: The spectrum $ω(G)$ of a finite group $G$ is the set of orders of its elements. The following sufficient criterion of nonsolvability is proved: if among the prime divisors of the order of a group $G$, there are four different primes such that $ω(G)$ contains all their pairwise products but not a product of any three of these numbers, then $G$ is nonsolvable. Using this result, we show that for… ▽ More The spectrum $ω(G)$ of a finite group $G$ is the set of orders of its elements. The following sufficient criterion of nonsolvability is proved: if among the prime divisors of the order of a group $G$, there are four different primes such that $ω(G)$ contains all their pairwise products but not a product of any three of these numbers, then $G$ is nonsolvable. Using this result, we show that for $q\geqslant 8$ and $q\neq 32$, the direct square $Sz(q)\times Sz(q)$ of the simple exceptional Suzuki group $Sz(q)$ is uniquely characterized by its spectrum in the class of finite groups, while for $Sz(32)\times Sz(32)$, there are exactly four finite groups with the same spectrum. △ Less

Submitted 23 June, 2022; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: In the third version, Theorem 1 is slightly reformulated and some references are corrected

MSC Class: 20D60; 20D06; 20E34

Journal ref: Algebra and Logic (2023), v. 61, no. 4, 288-300

On Cayley representations of central Cayley graphs over almost simple groups

Authors: ** Guo, Wenbin Guo, Grigory Ryabov, Andrey V. Vasil'ev

Abstract: A Cayley graph over a group $G$ is said to be central if its connection set is a normal subset of $G$. We prove that every central Cayley graph over a simple group $G$ has at most two pairwise nonequivalent Cayley representations over $G$ associated with the subgroups of $Sym(G)$ induced by left and right multiplications of $G$. We also provide an algorithm which, given a central Cayley graph $Γ$… ▽ More A Cayley graph over a group $G$ is said to be central if its connection set is a normal subset of $G$. We prove that every central Cayley graph over a simple group $G$ has at most two pairwise nonequivalent Cayley representations over $G$ associated with the subgroups of $Sym(G)$ induced by left and right multiplications of $G$. We also provide an algorithm which, given a central Cayley graph $Γ$ over an almost simple group $G$ whose socle is of a bounded index, finds the full set of pairwise nonequivalent Cayley representations of $Γ$ over $G$ in time polynomial in size of $G$. △ Less

Submitted 12 August, 2022; v1 submitted 10 December, 2021; originally announced December 2021.

Comments: 10 pages

MSC Class: 05C60; 05E18; 20B35; 20D06

Journal ref: J. Algebr. Comb .57, 227-237 (2023)

Finite groups isospectral to simple groups

Authors: Maria A. Grechkoseeva, Victor D. Mazurov, Wujie Shi, Andrey V. Vasil'ev, Nanying Yang

Abstract: The spectrum of a finite group is the set of element orders of this group. The main goal of this paper is to survey results concerning recognition of finite simple groups by spectrum, in particular, to list all finite simple groups for which the recognition problem is solved. The spectrum of a finite group is the set of element orders of this group. The main goal of this paper is to survey results concerning recognition of finite simple groups by spectrum, in particular, to list all finite simple groups for which the recognition problem is solved. △ Less

Submitted 28 December, 2022; v1 submitted 30 November, 2021; originally announced November 2021.

Comments: Numbering of theorems, lemmas and other assertions has been changed to match that of the version published in Commun. Math. Stat

MSC Class: 20D05; 20D60

Journal ref: Commun. Math. Stat. vol.11, 169-194 (2023)

On the prime graph of a finite group with unique nonabelian composition factor

Authors: Maria A. Grechkoseeva, Andrey V. Vasil'ev

Abstract: We say that finite groups are isospectral if they have the same sets of orders of elements. It is known that every nonsolvable finite group $G$ isospectral to a finite simple group has a unique nonabelian composition factor, that is, the quotient of $G$ by the solvable radical of $G$ is an almost simple group. The main goal of this paper is prove that this almost simple group is a cyclic extension… ▽ More We say that finite groups are isospectral if they have the same sets of orders of elements. It is known that every nonsolvable finite group $G$ isospectral to a finite simple group has a unique nonabelian composition factor, that is, the quotient of $G$ by the solvable radical of $G$ is an almost simple group. The main goal of this paper is prove that this almost simple group is a cyclic extension of its socle. To this end, we consider a general situation when $G$ is an arbitrary group with unique nonabelian composition factor, not necessarily isospectral to a simple group, and study the prime graph of $G$, where the prime graph of $G$ is the graph whose vertices are the prime numbers dividing the order of $G$ and two such numbers $r$ and $s$ are adjacent if and only if $r\neq s$ and $G$ has an element of order $rs$. Namely, we establish some sufficient conditions for the prime graph of such a group to have a vertex adjacent to all other vertices. Besides proving the main result, this allows us to refine a recent result by P. Cameron and N. Maslova concerning finite groups almost recognizable by prime graph. △ Less

Submitted 6 October, 2021; v1 submitted 13 September, 2021; originally announced September 2021.

MSC Class: 20D60; 20D06

Journal ref: Communications in Algebra, 2022, Vol. 50, no. 8, 3447-3452

The closures of wreath products in product action

Authors: I. Ponomarenko, A. V. Vasil'ev

Abstract: Let $m$ be a positive integer and let $Ω$ be a finite set. The $m$-closure of $G\le$Sym$(Ω)$ is the largest permutation group on $Ω$ having the same orbits as $G$ in its induced action on the Cartesian product $Ω^m$. The exact formula for the $m$-closure of the wreath product in product action is given. As a corollary, a sufficient condition is obtained for this $m$-closure to be included in the w… ▽ More Let $m$ be a positive integer and let $Ω$ be a finite set. The $m$-closure of $G\le$Sym$(Ω)$ is the largest permutation group on $Ω$ having the same orbits as $G$ in its induced action on the Cartesian product $Ω^m$. The exact formula for the $m$-closure of the wreath product in product action is given. As a corollary, a sufficient condition is obtained for this $m$-closure to be included in the wreath product of the $m$-closures of the factors. △ Less

Submitted 10 July, 2021; originally announced July 2021.

Comments: 7 pages

MSC Class: 20B10 20B25

The $3$-closure of a solvable permutation group is solvable

Authors: E. A. O'Brien, I. Ponomarenko, A. V. Vasil'ev, E. Vdovin

Abstract: Let $m$ be a positive integer and let $Ω$ be a finite set. The $m$-closure of $G\leq\operatorname{Sym}(Ω)$ is the largest permutation group on $Ω$ having the same orbits as $G$ in its induced action on the Cartesian product $Ω^m$. The $1$-closure and $2$-closure of a solvable permutation group need not be solvable. We prove that the $m$-closure of a solvable permutation group is always solvable fo… ▽ More Let $m$ be a positive integer and let $Ω$ be a finite set. The $m$-closure of $G\leq\operatorname{Sym}(Ω)$ is the largest permutation group on $Ω$ having the same orbits as $G$ in its induced action on the Cartesian product $Ω^m$. The $1$-closure and $2$-closure of a solvable permutation group need not be solvable. We prove that the $m$-closure of a solvable permutation group is always solvable for $m\geq3$. △ Less

Submitted 26 July, 2021; v1 submitted 28 December, 2020; originally announced December 2020.

MSC Class: 20B05

Journal ref: J. Algebra, 2022, Vol. 607, Part A, 618-637

On the nilpotency of the solvable radical of a finite group isospectral to a simple group

Authors: Nanying Yang, Mariya A. Grechkoseeva, Andrey V. Vasil'ev

Abstract: We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group isospectral to a finite simple group is nilpotent. We refer to the set of the orders of elements of a finite group as its spectrum and say that groups are isospectral if their spectra coincide. We prove that with the only specific exception the solvable radical of a nonsolvable finite group isospectral to a finite simple group is nilpotent. △ Less

Submitted 30 July, 2019; originally announced July 2019.

Comments: arXiv admin note: text overlap with arXiv:1806.07045

MSC Class: 20D06; 20D25; 20D60

Journal ref: J. Group Theory, 2020, Vol. 23, no. 3, 447-470

The graph of atomic divisors and constructive recognition of finite simple groups

Authors: Alexander A. Buturlakin, Andrey V. Vasil'ev

Abstract: The spectrum $ω(G)$ of a finite group $G$ is the set of orders of elements of $G$. We present a polynomial-time algorithm that, given a finite set $\mathcal M$ of positive integers, outputs either an empty set or a finite simple group $G$. In the former case, there is no finite simple group $H$ with $\mathcal{M}=ω(H)$, while in the latter case, $\mathcal{M}\subseteqω(G)$ and $\mathcal{M}\neqω(H)$… ▽ More The spectrum $ω(G)$ of a finite group $G$ is the set of orders of elements of $G$. We present a polynomial-time algorithm that, given a finite set $\mathcal M$ of positive integers, outputs either an empty set or a finite simple group $G$. In the former case, there is no finite simple group $H$ with $\mathcal{M}=ω(H)$, while in the latter case, $\mathcal{M}\subseteqω(G)$ and $\mathcal{M}\neqω(H)$ for all finite simple groups $H$ with $ω(H)\neqω(G)$. △ Less

Submitted 14 December, 2018; originally announced December 2018.

MSC Class: 20D06; 20D60

Journal ref: J. Algebra, Vol. 537 (2019) 478-502

$\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time

Authors: Andrey V. Vasil'ev, Dmitry Churikov

Abstract: Let $G$ be a permutation group on a finite set $Ω$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ having the same orbits as $G$ on the $k$-th Cartesian power $Ω^k$ of $Ω$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_α$ on the set $Ω\setminus\{α\}$ are of the same size greater than one. We p… ▽ More Let $G$ be a permutation group on a finite set $Ω$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ having the same orbits as $G$ on the $k$-th Cartesian power $Ω^k$ of $Ω$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_α$ on the set $Ω\setminus\{α\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $Ω$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups. △ Less

Submitted 29 October, 2018; originally announced October 2018.

MSC Class: 20B25; 20B40; 05E18; 05C60

Journal ref: Siberian Math. J., vol. 60, no. 2, pp. 360-375 (2019)

Simple Groups Whose Prime Graph or Solvable Graph is Split

Authors: Mark L. Lewis, J. Mirzajani, A. R. Moghaddamfar, A. V. Vasil'ev, M. A. Zvezdina

Abstract: A graph is split if there is a partition of its vertex set into a clique and an independent set. The present paper is devoted to the splitness of some graphs related to finite simple groups, namely, prime graphs and solvable graphs, and their compact forms. It is proved that the compact form of the prime graph of any finite simple group is split. A graph is split if there is a partition of its vertex set into a clique and an independent set. The present paper is devoted to the splitness of some graphs related to finite simple groups, namely, prime graphs and solvable graphs, and their compact forms. It is proved that the compact form of the prime graph of any finite simple group is split. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Comments: 22 pages, G2R2 (The International Conference and PhD-Master Summer School on Graphs and Groups, Representations and Relations)

Journal ref: Bull. Malays. Math. Sci. Soc, 2020, Vol. 43, no. 3, 2523-2547

What do Frobenius's, Solomon's, and Iwasaki's theorems on divisibility in groups have in common?

Authors: Elena K. Brusyanskaya, Anton A. Klyachko, Andrey V. Vasil'ev

Abstract: Our result contains as special cases the Frobenius theorem (1895) on the number of solutions to the equation $x^n=1$ in a group, the Solomon theorem (1969) on the number of solutions in a group to a system of equations having fewer equations than unknowns, and the Iwasaki theorem (1985) on roots of subgroups. There are other curious corollaries on groups and rings. Our result contains as special cases the Frobenius theorem (1895) on the number of solutions to the equation $x^n=1$ in a group, the Solomon theorem (1969) on the number of solutions in a group to a system of equations having fewer equations than unknowns, and the Iwasaki theorem (1985) on roots of subgroups. There are other curious corollaries on groups and rings. △ Less

Submitted 7 November, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: 9 pages. A Russian version of this paper is at http://halgebra.math.msu.su/staff/klyachko/papers.htm . V2: misprints corrected, an acknowledgement added. V3: misprints corrected

Journal ref: Pacific J. Math. 302 (2019) 437-452

On recognition of symplectic and orthogonal groups of small dimensions by spectrum

Authors: M. A. Grechkoseeva, A. V. Vasil'ev, M. A. Zvezdina

Abstract: We refer to the set of the orders of elements of a finite group as its spectrum and say that finite groups are isospectral if their spectra coincide. In the paper we determine all finite groups isospectral to the simple groups $S_6(q)$, $O_7(q)$, and $O_8^+(q)$. In particular, we prove that with just four exceptions, every such a finite group is an extension of the initial simple group by a (possi… ▽ More We refer to the set of the orders of elements of a finite group as its spectrum and say that finite groups are isospectral if their spectra coincide. In the paper we determine all finite groups isospectral to the simple groups $S_6(q)$, $O_7(q)$, and $O_8^+(q)$. In particular, we prove that with just four exceptions, every such a finite group is an extension of the initial simple group by a (possibly trivial) field automorphism. △ Less

Submitted 19 June, 2018; originally announced June 2018.

MSC Class: 20D60; 20D06

Journal ref: J. Algebra. Appl., 18:12 (2019), 1950230

On L.G. Kovàcs' problem

Authors: Andrey V. Vasil'ev, Saveliy V. Skresanov

Abstract: "Kourovka notebook" contains the question due to L.G. Kovàcs (Problem 8.23): If the dihedral group $D$ of order 18 is a section of a direct product $X\times Y$, must at least one of $X$ and $Y$ have a section isomorphic to $D$? The goal of our short paper is to give the positive answer to this question provided that $X$ and $Y$ are locally finite. In fact, we prove even more: If a non-trivial semi… ▽ More "Kourovka notebook" contains the question due to L.G. Kovàcs (Problem 8.23): If the dihedral group $D$ of order 18 is a section of a direct product $X\times Y$, must at least one of $X$ and $Y$ have a section isomorphic to $D$? The goal of our short paper is to give the positive answer to this question provided that $X$ and $Y$ are locally finite. In fact, we prove even more: If a non-trivial semidirect product $D=A\rtimes B$ of a cyclic $p$-group $A$ and a group $B$ of order $q$, where $p$ and $q$ are distinct primes, lies in a locally finite variety generated by a set $\mathfrak{X}$ of groups, then $D$ is a section of a group from $\mathfrak{X}$. △ Less

Submitted 27 September, 2016; originally announced September 2016.

MSC Class: 20D40; 20E10

Journal ref: Algebra and Logic, 55:4 (2016), 340-344

On the structure of finite groups isospectral to finite simple groups

Authors: Mariya A. Grechkoseeva, Andrey V. Vasil'ev

Abstract: Finite groups are said to be isospectral if they have the same sets of element orders. A finite nonabelian simple group $L$ is said to be almost recognizable by spectrum if every finite group isospectral to $L$ is an almost simple group with socle isomorphic to $L$. It is known that all finite simple sporadic, alternating and exceptional groups of Lie type, except $J_2$, $A_6$, $A_{10}$ and… ▽ More Finite groups are said to be isospectral if they have the same sets of element orders. A finite nonabelian simple group $L$ is said to be almost recognizable by spectrum if every finite group isospectral to $L$ is an almost simple group with socle isomorphic to $L$. It is known that all finite simple sporadic, alternating and exceptional groups of Lie type, except $J_2$, $A_6$, $A_{10}$ and $^3D_4(2)$, are almost recognizable by spectrum. The present paper is the final step in the proof of the following conjecture due to V.D. Mazurov: there exists a positive integer $d_0$ such that every finite simple classical group of dimension larger than $d_0$ is almost recognizable by spectrum. Namely, we prove that a nonabelian composition factor of a~finite group isospectral to a finite simple symplectic or orthogonal group $L$ of dimension at least 10, is either isomorphic to $L$ or not a group of Lie type in the same characteristic as $L$, and combining this result with earlier work, we deduce that Mazurov's conjecture holds with $d_0=60$. △ Less

Submitted 23 June, 2015; v1 submitted 29 September, 2014; originally announced September 2014.

Comments: 13 pages

MSC Class: 20D06; 20D60

Journal ref: J. Group Theory, Volume 18, Issue 5 (Sep. 2015), Pages 741-759

Almost recognizability by spectrum of simple exceptional groups of Lie type

Authors: Andrey V. Vasil'ev, Alexey M. Staroletov

Abstract: The spectrum of a finite group is the set of its elements orders. Groups are said to be isospectral if their spectra coincide. For every finite simple exceptional group $L=E_7(q)$, we prove that each finite group isospectral to $L$ is isomorphic to a group $G$ squeezed between $L$ and its automorphism group, that is $L\leq G\leq \operatorname{Aut}L$; in particular, up-to isomorphism, there are onl… ▽ More The spectrum of a finite group is the set of its elements orders. Groups are said to be isospectral if their spectra coincide. For every finite simple exceptional group $L=E_7(q)$, we prove that each finite group isospectral to $L$ is isomorphic to a group $G$ squeezed between $L$ and its automorphism group, that is $L\leq G\leq \operatorname{Aut}L$; in particular, up-to isomorphism, there are only finitely many such groups. This assertion, together with a series of previously obtained results, implies that the same is true for every finite simple exceptional group except the group ${}^3D_4(2)$. △ Less

Submitted 28 December, 2020; v1 submitted 10 September, 2014; originally announced September 2014.

Comments: minor changes, Tables 2 and 3 are fixed

MSC Class: 20D06; 20D20

Journal ref: Algebra and Logic, 53:6 (2015), 433-449

Locally finite groups with bounded centralizer chains

Authors: Alexandr Buturlakin, Andrey V. Vasil'ev

Abstract: The c-dimension of a group G is the maximal length of a chain of nested centralizers in G. We prove that a locally finite group of finite c-dimension k has less than 5k nonabelian composition factors. The c-dimension of a group G is the maximal length of a chain of nested centralizers in G. We prove that a locally finite group of finite c-dimension k has less than 5k nonabelian composition factors. △ Less

Submitted 27 November, 2013; originally announced November 2013.

Comments: 4 pages

MSC Class: 20F50 (Primary); 20D05; 20E25 (Secondary)

Journal ref: Algebra and Logic, 52:5 (2013), 367-370

Cocliques of maximal size in the prime graph of a finite simple group

Authors: A. V. Vasil'ev, E. P. Vdovin

Abstract: In this paper we continue our investgation of the prime graph of a finite simple group started in http://arxiv.longhoe.net/abs/math/0506294 (the printed version appeared in [1]). We describe all cocliques of maximal size for all finite simple groups and also we correct mistakes and misprints from our previous paper. The list of correction is given in Appendix of the present paper. In this paper we continue our investgation of the prime graph of a finite simple group started in http://arxiv.longhoe.net/abs/math/0506294 (the printed version appeared in [1]). We describe all cocliques of maximal size for all finite simple groups and also we correct mistakes and misprints from our previous paper. The list of correction is given in Appendix of the present paper. △ Less

Submitted 12 April, 2012; v1 submitted 7 May, 2009; originally announced May 2009.

Comments: published version with corrections

MSC Class: 20D60; 20D06

Journal ref: Algebra and Logic, 2011, Volume 50, Number 4, 291-322