Source author record

Pavel Shumyatsky

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

39works
2topics
4close collaborators

Published work

39 publications

preprint2024arXiv

On groups with BFC-covered word values

For a group G and a positive integer n write B_n(G) = {x \in G : |x^G | \le n}. If s is a positive integer and w is a group word, say that G satisfies the (n,s)-covering condition with respect to the word w if there exists a subset S of G such that |S| \le s and all w-values of G are contained in B_n(G)S. In a natural way, this condition emerged in the study of probabilistically nilpotent groups of class two. In this paper we obtain the following results. Let w be a multilinear commutator word on k variables and let G be a group satisfying the (n,s)-covering condition with respect to the word w. Then G has a soluble subgroup T such that the index [G : T] and the derived length of T are both (k,n,s)-bounded. Let G be a group satisfying the (n,s)-covering condition with respect to the word γ_k. Then (1) γ_{2k-1}(G) has a subgroup TT such that the index [γ_{2k-1}(G) : T] and |T'| are both (k,n,s)-bounded; and (2) G has a nilpotent subgroup U such that the index [G : U] and the nilpotency class of U are both (k,n,s)-bounded.

preprint2022arXiv

Centralizers of commutators in finite groups

Let GG be a finite group. A coprime commutator in GG is any element that can be written as a commutator [x,y][x,y] for suitable x,y∈Gx,y\in G such that π(x)∩π(y)=∅π(x)\capπ(y)=\emptyset. Here π(g)π(g) denotes the set of prime divisors of the order of the element g∈Gg\in G. An anti-coprime commutator is an element that can be written as a commutator [x,y][x,y], where π(x)=π(y)π(x)=π(y). The main results of the paper are as follows. -- If ∣xG∣≤n|x^G|\leq n whenever xx is a coprime commutator, then GG has a nilpotent subgroup of nn-bounded index. -- If ∣xG∣≤n|x^G|\leq n for every anti-coprime commutator x∈Gx\in G, then GG has a subgroup HH of nilpotency class at most 44 such that [G:H][G : H] and ∣γ4(H)∣|γ_4 (H)| are both nn-bounded. We also consider finite groups in which the centralizers of coprime, or anti-coprime, commutators are of bounded order.

preprint2022arXiv

Coprime automorphisms of finite groups

Let GG be a finite group admitting a coprime automorphism αα of order ee. Denote by IG(α)I_G(α) the set of commutators g−1gαg^{-1}g^α, where g∈Gg\in G, and by [G,α][G,α] the subgroup generated by IG(α)I_G(α). We study the impact of IG(α)I_G(α) on the structure of [G,α][G,α]. Suppose that each subgroup generated by a subset of IG(α)I_G(α) can be generated by at most rr elements. We show that the rank of [G,α][G,α] is (e,r)(e,r)-bounded. Along the way, we establish several results of independent interest. In particular, we prove that if every element of IG(α)I_G(α) has odd order, then [G,α][G,α] has odd order too. Further, if every pair of elements from IG(α)I_G(α) generates a soluble, or nilpotent, subgroup, then [G,α][G,α] is soluble, or respectively nilpotent.

preprint2021arXiv

Bounded conjugacy classes, commutators, and approximate subgroups

Given a group GG, we write gGg^G for the conjugacy class of GG containing the element gg. A theorem of B. H. Neumann states that if GG is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup G′G' is finite. We establish the following results. Let K,nK,n be positive integers and GG a group having a KK-approximate subgroup AA. If ∣aG∣≤n|a^G|\leq n for each a∈Aa\in A, then the commutator subgroup of ⟨AG⟩\langle A^G\rangle has finite (K,n)(K,n)-bounded order. If ∣[g,a]G∣≤n|[g,a]^G|\leq n for all g∈Gg\in G and a∈Aa\in A, then the commutator subgroup of [G,A][G,A] has finite (K,n)(K,n)-bounded order.

preprint2021arXiv

On finiteness of some verbal subgroups in profinite groups

Given a group word ww and a group GG, the set of ww-values in GG is denoted by GwG_w and the verbal subgroup w(G)w(G) is the one generated by GwG_w. In the present paper we consider profinite groups admitting a word ww such that the cardinality of GwG_w is less than 2ℵ02^{\aleph_0} and w(G)w(G) is generated by finitely many ww-values. For several families of words ww we show that under these assumptions w(G)w(G) must be finite. Our results are related to the concept of conciseness of group words.

preprint2021arXiv

Strong conciseness of coprime and anti-coprime commutators

A coprime commutator in a profinite group GG is an element of the form [x,y][x,y], where xx and yy have coprime order and an anti-coprime commutator is a commutator [x,y][x,y] such that the orders of xx and yy are divisible by the same primes. In the present paper we establish that a profinite group GG is finite-by-pronilpotent if the cardinality of the set of coprime commutators in GG is less than 2ℵ02^{\aleph_0}. Moreover, a profinite group GG has finite commutator subgroup G′G' if the cardinality of the set of anti-coprime commutators in GG is less than 2ℵ02^{\aleph_0}.

preprint2020arXiv

On nilpotency of higher commutator subgroups of a finite soluble group

Let GG be a finite soluble group and G(k)G^{(k)} the kkth term of the derived series of GG. We prove that G(k)G^{(k)} is nilpotent if and only if ∣ab∣=∣a∣∣b∣|ab|=|a||b| for any δkδ_k-values a,b∈Ga,b\in G of coprime orders. In the course of the proof we establish the following result of independent interest: Let PP be a Sylow pp-subgroup of GG. Then P∩G(k)P\cap G^{(k)} is generated by δkδ_k-values contained in PP. This is related to the so-called Focal Subgroup Theorem.

preprint2020arXiv

Profinite groups in which many elements have prime power order

The structure of finite and locally finite groups in which every element has prime power order (CP-groups) is well known. In this paper we note that the combination of our earlier results with the available information on the structure of finite CP-groups yields a detailed description of profinite groups with that property. Then we deal with two generalizations of profinite CP-groups. Theorem 1.2. A profinite group G is virtually pro-p for some prime p if and only if for each nontrivial x in G there is a prime p (depending on x) such that the centralizer of x is virtually pro-p. Theorem 1.3. Let G be a profinite group in which each element has either finite or prime power (possibly infinite) order. Then G is either torsion or virtually pro-p for some prime p.

preprint2020arXiv

Strong conciseness in profinite groups

A group word ww is said to be strongly concise in a class C\mathcal{C} of profinite groups if, for every group GG in C\mathcal{C} such that ww takes less than 2ℵ02^{\aleph_0} values in GG, the verbal subgroup w(G)w(G) is finite. Detomi, Morigi and Shumyatsky established that multilinear commutator words -- and the particular words x2x^2 and [x2,y][x^2,y] -- have the property that the corresponding verbal subgroup is finite in a profinite group GG whenever the word takes at most countably many values in GG. They conjectured that, in fact, this should be true for every word. In particular, their conjecture included as open cases power words and Engel words. In the present paper, we take a new approach via parametrised words that leads to stronger results. First we prove that multilinear commutator words are strongly concise in the class of all profinite groups. Then we establish that every group word is strongly concise in the class of nilpotent profinite groups. From this we deduce, for instance, that, if ww is one of the group words x2x^2, x3x^3, x6x^6, [x3,y][x^3,y] or [x,y,y][x,y,y], then ww is strongly concise in the class of all profinite groups. Indeed, the same conclusion can be reached for all words of the infinite families [xm,z1,…,zr][x^m,z_1,\ldots,z_r] and [x,y,y,z1,…,zr][x,y,y,z_1,\ldots,z_r], where m∈{2,3}m \in \{2,3\} and r≥1r \ge 1.

preprint2015arXiv

Coverings of commutators in profinite groups

Let ww be a group-word. Suppose that the set of all ww-values in a profinite group GG is contained in a union of countably many subgroups. It is natural to ask in what way the structure of the verbal subgroup w(G)w(G) depends on the properties of the covering subgroups. The present article is a survey of recent results related to that question. In particular we survey results on finite and countable coverings of word-values (mostly commutators) by procyclic, abelian, nilpotent, and soluble subgroups, as well as subgroups with finiteness conditions. The last section of the paper is devoted to relation of the described results with Hall's problem on conciseness of group-words.

preprint2015arXiv

On profinite groups with commutators covered by nilpotent subgroups

Let G be a profinite group. The following results are proved. The commutator subgroup G' is finite if and only if G is covered by countably many abelian subgroups. The group G is finite-by-nilpotent if and only if G is covered by countably many nilpotent subgroups. The main result is that the commutator subgroup G' is finite-by-nilpotent if and only if the set of commutators in G is covered by countably many nilpotent subgroups.

preprint2015arXiv

On profinite groups with Engel-like conditions

Let GG be a profinite group in which for every element x∈Gx\in G there exists a natural number q=q(x)q=q(x) such that xqx^q is Engel. We show that GG is locally virtually nilpotent. Further, let pp be a prime and GG a finitely generated profinite group in which for every γkγ_k-value x∈Gx\in G there exists a natural pp-power q=q(x)q=q(x) such that xqx^q is Engel. We show that γk(G)γ_k(G) is locally virtually nilpotent.

preprint2015arXiv

On the length of a finite group and of its 2-generator subgroups

The nonsoluble length λ(G)λ(G) of a finite group GG is defined as the minimum number of nonsoluble factors in a normal series of GG each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group GG is the least number h=h∗(G)h=h^*(G) such that Fh∗(G)=GF^*_h(G)=G, where F1∗(G)=F∗(G)F^*_1(G)=F^*(G) is the generalized Fitting subgroup, and Fi+1∗(G)F^*_{i+1}(G) is the inverse image of F∗(G/Fi∗(G))F^*(G/F^*_{i}(G)). In the present paper we prove that if λ(J)≤kλ(J)\leq k for every 2-generator subgroup JJ of GG, then λ(G)≤kλ(G)\leq k. It is conjectured that if h∗(J)≤kh^*(J)\leq k for every 2-generator subgroup JJ, then h∗(G)≤kh^*(G)\leq k. We prove that if h∗(⟨x,xg⟩)≤kh^*(\langle x,x^g\rangle)\leq k for all x,g∈Gx,g\in G such that ⟨x,xg⟩\langle x,x^g\rangle is soluble, then h∗(G)h^*(G) is kk-bounded.

preprint2014arXiv

On finite groups in which coprime commutators are covered by few cyclic subgroups

The coprime commutators γj∗γ_j^* and δj∗δ_j^* were recently introduced as a tool to study properties of finite groups that can be expressed in terms of commutators of elements of coprime orders. They are defined as follows. Let GG be a finite group. Every element of GG is both a γ1∗γ_1^*-commutator and a δ0∗δ_0^*-commutator. Now let j≥2j\geq 2 and let XX be the set of all elements of GG that are powers of γj−1∗γ_{j-1}^*-commutators. An element gg is a γj∗γ_j^*-commutator if there exist a∈Xa\in X and b∈Gb\in G such that g=[a,b]g=[a,b] and (∣a∣,∣b∣)=1(|a|,|b|)=1. For j≥1j\geq 1 let YY be the set of all elements of GG that are powers of δj−1∗δ_{j-1}^*-commutators. The element gg is a δj∗δ_j^*-commutator if there exist a,b∈Ya,b\in Y such that g=[a,b]g=[a,b] and (∣a∣,∣b∣)=1(|a|,|b|)=1. The subgroups of GG generated by all γj∗γ_j^*-commutators and all δj∗δ_j^*-commutators are denoted by γj∗(G)γ_j^*(G) and δj∗(G)δ_j^*(G), respectively. For every j≥2j\geq2 the subgroup γj∗(G)γ_j^*(G) is precisely the last term of the lower central series of GG (which throughout the paper is denoted by γ∞(G)γ_\infty(G)) while for every j≥1j\geq1 the subgroup δj∗(G)δ_j^*(G) is precisely the last term of the lower central series of δj−1∗(G)δ_{j-1}^*(G), that is, δj∗(G)=γ∞(δj−1∗(G))δ_j^*(G)=γ_\infty(δ_{j-1}^*(G)). In the present paper we prove that if GG possesses mm cyclic subgroups whose union contains all γj∗γ_j^*-commutators of GG, then γj∗(G)γ_j^*(G) contains a subgroup ΔΔ, of mm-bounded order, which is normal in GG and has the property that γj∗(G)/Δγ_{j}^{*}(G)/Δ is cyclic. If j≥2j\geq2 and GG possesses mm cyclic subgroups whose union contains all δj∗δ_j^*-commutators of GG, then the order of δj∗(G)δ_j^*(G) is mm-bounded.

preprint2014arXiv

On rational and concise words

A group-word w is called concise if whenever the set of w-values in a group G is finite it always follows that the verbal subgroup w(G) is finite. More generally, a word w is said to be concise in a class of groups X if whenever the set of w-values is finite for a group G in X, it always follows that w(G) is finite. P. Hall asked whether every word is concise. Due to Ivanov the answer to this problem is known to be negative. It is still an open problem whether every word is concise in the class of residually finite groups. A word w is rational if the number of solutions to the equation w=g is the same as the number of solutions to w=g^e for every finite group G and for every e relatively prime to |G|. We observe that any rational word is concise in the class of residually finite groups. Further we give a sufficient condition for rationality of a word. This is used to produce a new family of words that are concise in the class of residually finite groups.

preprint2014arXiv

Procyclic coverings of commutators in profinite groups

We consider profinite groups in which all commutators are contained in a union of finitely many procyclic subgroups. It is shown that if G is a profinite group in which all commutators are covered by m procyclic subgroups, then G possesses a finite characteristic subgroup M contained in G' such that the order of M is m-bounded and G'/M is procyclic. If G is a pro-p group such that all commutators in G are covered by m procyclic subgroups, then G' is either finite of m-bounded order or procyclic.

preprint2013arXiv

Bounding the Exponent of a Verbal Subgroup

We deal with the following conjecture. If w is a group word and G is a finite group in which any nilpotent subgroup generated by w-values has exponent dividing e, then the exponent of the verbal subgroup w(G) is bounded in terms of e and w only. We show that this is true in the case where w is either the nth Engel word or the word [x^n,y_1,y_2,...,y_k] (Theorem A). Further, we show that for any positive integer e there exists a number k=k(e) such that if w is a word and G is a finite group in which any nilpotent subgroup generated by products of k values of the word w has exponent dividing e, then the exponent of the verbal subgroup w(G) is bounded in terms of e and w only (Theorem B).

preprint2013arXiv

On countable coverings of word values in profinite groups

We prove the following results. Let w be a multilinear commutator word. If G is a profinite group in which all w-values are contained in a union of countably many periodic subgroups, then the verbal subgroup w(G) is locally finite. If G is a profinite group in which all w-values are contained in a union of countably many subgroups of finite rank, then the verbal subgroup w(G) has finite rank as well. As a by-product of the techniques developed in the paper we also prove that if G is a virtually soluble profinite group in which all w-values have finite order, then w(G) is locally finite and has finite exponent.

preprint2012arXiv

Double automorphisms of graded Lie algebras

We introduce the concept of a double automorphism of an A-graded Lie algebra L. Roughly, this is an automorphism of L which also induces an automorphism of the group A. It is clear that the set of all double automorphisms of L forms a subgroup in Aut(L). In the present paper we prove several nilpotency criteria for a graded Lie algebra admitting a finite group of double automorphisms. We also give an application of our results to groups admitting a Frobenius group of automorphisms.

preprint2012arXiv

On groups admitting a word whose values are Engel

Let m, n be positive integers, v a multilinear commutator word and w = v^m. We prove that if G is a residually finite group in which all w-values are n-Engel, then the verbal subgroup w(G) is locally nilpotent. We also examine the question whether this is true in the case where G is locally graded rather than residually finite. We answer the question affirmatively in the case where m = 1. Moreover, we show that if u is a non-commutator word and G is a locally graded group in which all u-values are n-Engel, then the verbal subgroup u(G) is locally nilpotent.

preprint2012arXiv

On words that are concise in residually finite groups

A group-word w is called concise if whenever the set of w-values in a group G is finite it always follows that the verbal subgroup w(G) is finite. More generally, a word w is said to be concise in a class of groups X if whenever the set of w-values is finite for a group G∈XG\in X, it always follows that w(G) is finite. P. Hall asked whether every word is concise. Due to Ivanov the answer to this problem is known to be negative. Dan Segal asked whether every word is concise in the class of residually finite groups. In this direction we prove that if w is a multilinear commutator and q is a prime-power, then the word wqw^q is indeed concise in the class of residually finite groups. Further, we show that in the case where w=γkw=γ_{k} the word wqw^q is boundedly concise in the class of residually finite groups. It remains unknown whether the word wqw^q is actually concise in the class of all groups.

preprint2011arXiv

Centralizers of coprime automorphisms of finite groups

Let AA be an elementary abelian group of order pkp^{k} with k≥3k\geq 3 acting on a finite p′p'-group GG. The following results are proved. If γk−2(CG(a))γ_{k-2}(C_{G}(a)) is nilpotent of class at most cc for any $a\in A^{#}$, then γk−2(G)γ_{k-2}(G) is nilpotent and has {c,k,p}\{c,k,p\}-bounded nilpotency class. If, for some integer dd such that 2d+2≤k2^{d}+2\leq k, the ddth derived group of CG(a)C_{G}(a) is nilpotent of class at most cc for any $a\in A^{#}$, then the ddth derived group G(d)G^{(d)} is nilpotent and has {c,k,p}\{c,k,p\}-bounded nilpotency class. Earlier this was known only in the case where k≤4k\leq 4.

preprint2011arXiv

On profinite groups in which commutators are covered by finitely many subgroups

For a family of group words ww we show that if GG is a profinite group in which all ww-values are contained in a union of finitely many subgroups with a prescribed property, then w(G)w(G) has the same property as well. In particular, we show this in the case where the subgroups are periodic or of finite rank. If GG contains finitely many subgroups G1,G2,...,GsG_1,G_2,...,G_s of finite exponent ee whose union contains all γkγ_k-values in GG, it is shown that γk(G)γ_k(G) has finite (e,k,s)(e,k,s)-bounded exponent. If GG contains finitely many subgroups G1,G2,...,GsG_1,G_2,...,G_s of finite rank rr whose union contains all γkγ_k-values, it is shown that γk(G)γ_k(G) has finite (k,r,s)(k,r,s)-bounded rank.

preprint2010arXiv

Frobenius groups of automorphisms and their fixed points

Suppose that a finite group GG admits a Frobenius group of automorphisms FHFH with kernel FF and complement HH such that the fixed-point subgroup of FF is trivial: CG(F)=1C_G(F)=1. In this situation various properties of GG are shown to be close to the corresponding properties of CG(H)C_G(H). By using Clifford's theorem it is proved that the order ∣G∣|G| is bounded in terms of ∣H∣|H| and ∣CG(H)∣|C_G(H)|, the rank of GG is bounded in terms of ∣H∣|H| and the rank of CG(H)C_G(H), and that GG is nilpotent if CG(H)C_G(H) is nilpotent. Lie ring methods are used for bounding the exponent and the nilpotency class of GG in the case of metacyclic FHFH. The exponent of GG is bounded in terms of ∣FH∣|FH| and the exponent of CG(H)C_G(H) by using Lazard's Lie algebra associated with the Jennings--Zassenhaus filtration and its connection with powerful subgroups. The nilpotency class of GG is bounded in terms of ∣H∣|H| and the nilpotency class of CG(H)C_G(H) by considering Lie rings with a finite cyclic grading satisfying a certain `selective nilpotency' condition. The latter technique also yields similar results bounding the nilpotency class of Lie rings and algebras with a metacyclic Frobenius group of automorphisms, with corollaries for connected Lie groups and torsion-free locally nilpotent groups with such groups of automorphisms. Examples show that such nilpotency results are no longer true for non-metacyclic Frobenius groups of automorphisms.

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.