BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Pavel Shumyatsky

Pavel Shumyatsky contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 published item(s)

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 $T$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Centralizers of commutators in finite groups

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

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Coprime automorphisms of finite groups

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

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Finite-by-nilpotent groups and a variation of the BFC-theorem

For a group G and an element a in G let |a|_k denote the cardinality of the set of commutators [a,x_1,...,x_k], where x_1,...,x_k range over G. The main result of the paper states that a group G is finite-by-nilpotent if and only if there are positive integers k and n such that |x|_k < n for every x in G. More precisely, if |x|_k < n for every x in G then γ_{k+1}(G) has finite (k,n)-bounded order.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Bounded conjugacy classes, commutators, and approximate subgroups

Given a group $G$, we write $g^G$ for the conjugacy class of $G$ containing the element $g$. A theorem of B. H. Neumann states that if $G$ is a group in which all conjugacy classes are finite with bounded size, then the commutator subgroup $G&#39;$ is finite. We establish the following results. Let $K,n$ be positive integers and $G$ a group having a $K$-approximate subgroup $A$. If $|a^G|\leq n$ for each $a\in A$, then the commutator subgroup of $\langle A^G\rangle$ has finite $(K,n)$-bounded order. If $|[g,a]^G|\leq n$ for all $g\in G$ and $a\in A$, then the commutator subgroup of $[G,A]$ has finite $(K,n)$-bounded order.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On finiteness of some verbal subgroups in profinite groups

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

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Strong conciseness of coprime and anti-coprime commutators

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On nilpotency of higher commutator subgroups of a finite soluble group

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Strong conciseness in profinite groups

A group word $w$ is said to be strongly concise in a class $\mathcal{C}$ of profinite groups if, for every group $G$ in $\mathcal{C}$ such that $w$ takes less than $2^{\aleph_0}$ values in $G$, the verbal subgroup $w(G)$ is finite. Detomi, Morigi and Shumyatsky established that multilinear commutator words -- and the particular words $x^2$ and $[x^2,y]$ -- have the property that the corresponding verbal subgroup is finite in a profinite group $G$ whenever the word takes at most countably many values in $G$. 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 $w$ is one of the group words $x^2$, $x^3$, $x^6$, $[x^3,y]$ or $[x,y,y]$, then $w$ is strongly concise in the class of all profinite groups. Indeed, the same conclusion can be reached for all words of the infinite families $[x^m,z_1,\ldots,z_r]$ and $[x,y,y,z_1,\ldots,z_r]$, where $m \in \{2,3\}$ and $r \ge 1$.

0 citations0 reviewsNo code linkedOpen access