Source author record

P. Shumyatsky

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

ResearcherUnclaimed source record

math.GR math.OA math.RA

Catalog footprint

Research overview

16works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks

A right Engel sink of an element $g$ of a group $G$ is a set ${\mathscr R}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$ . (Thus, $g$ is a right Engel element precisely when we can choose ${\mathscr R}(g)=\{ 1\}$ .) We prove that if a profinite group $G$ admits a coprime automorphism $φ$ of prime order such that every fixed point of $φ$ has a finite right Engel sink, then $G$ has an open locally nilpotent subgroup. A left Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$ . (Thus, $g$ is a left Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$ .) We prove that if a profinite group $G$ admits a coprime automorphism $φ$ of prime order such that every fixed point of $φ$ has a finite left Engel sink, then $G$ has an open pronilpotent-by-nilpotent subgroup.

preprint2020arXiv

Compact groups with countable Engel sinks

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$ . (Thus, $g$ is an Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$ .) It is proved that if every element of a compact (Hausdorff) group $G$ has a countable (or finite) Engel sink, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent. This settles a question suggested by J. S. Wilson.

preprint2020arXiv

On profinite groups with automorphisms whose fixed points have countable Engel sinks

An Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$ . (Thus, $g$ is an Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$ .) It is proved that if a profinite group $G$ admits an elementary abelian group of automorphisms $A$ of coprime order $q^2$ for a prime $q$ such that for each $a\in A\setminus\{1\}$ every element of the centralizer $C_G(a)$ has a countable (or finite) Engel sink, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent.

preprint2016arXiv

Almost Engel finite and profinite groups

Let $g$ be an element of a group $G$ . For a positive integer $n$ , let $E_n(g)$ be the subgroup generated by all commutators $[...[[x,g],g],\dots ,g]$ over $x\in G$ , where $g$ is repeated $n$ times. We prove that if $G$ is a profinite group such that for every $g\in G$ there is $n=n(g)$ such that $E_n(g)$ is finite, then $G$ has a finite normal subgroup $N$ such that $G/N$ is locally nilpotent. The proof uses the Wilson--Zelmanov theorem saying that Engel profinite groups are locally nilpotent. In the case of a finite group $G$ , we prove that if, for some $n$ , $|E_n(g)|\leq m$ for all $g\in G$ , then the order of the nilpotent residual $γ_{\infty}(G)$ is bounded in terms of $m$ .

preprint2016arXiv

On just-infiniteness of locally finite groups and their C*-algebras

We give a construction of a family of locally finite residually finite groups with just-infinite C*-algebra. This answers a question from [2]. Additionally, we show that residually finite groups of finite exponent are never just-infinite.

preprint2015arXiv

Finite groups and Lie rings with an automorphism of order $2^n$

Suppose that a finite group $G$ admits an automorphism $φ$ of order $2^n$ such that the fixed-point subgroup $C_G(φ^{2^{n-1}})$ of the involution $φ^{2^{n-1}}$ is nilpotent of class $c$ . Let $m=|C_G(φ)|$ be the number of fixed points of $φ$ . It is proved that $G$ has a characteristic soluble subgroup of derived length bounded in terms of $n,c$ whose index is bounded in terms of $m,n,c$ . A similar result is also proved for Lie rings.

preprint2015arXiv

On the length of finite groups and of fixed points

The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$ , where the $F^*_i(G)$ is the generalized Fitting series: $F^*_1(G)=F^*(G)$ and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$ . It is proved that if $G$ admits a soluble group of automorphisms $A$ of coprime order, then $h^*(G)$ is bounded in terms of $h^* (C_G(A))$ , where $C_G(A)$ is the fixed-point subgroup, and the number of prime factors of $|A|$ counting multiplicities. The result follows from the special case when $A=\langleφ\rangle$ is of prime order, where it is proved that $F^*(C_G(φ))\leqslant F^*_{9}(G)$ . The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the minimum number of nonsoluble factors in a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. It is proved that if $A$ is a group of automorphisms of $G$ of coprime order, then $λ(G)$ is bounded in terms of $λ(C_G(A))$ and the number of prime factors of $|A|$ counting multiplicities.

preprint2015arXiv

On varieties of groups satisfying an Engel type identity

Let m, n be positive integers, v a multilinear commutator word and w = v^m. Denote by v(G) and w(G) the verbal subgroups of a group G corresponding to v and w, respectively. We prove that the class of all groups G in which the w-values are n-Engel and w(G) is locally nilpotent is a variety (Theorem A). Further, we show that in the case where m is a prime-power the class of all groups G in which the w-values are n-Engel and v(G) has an ascending normal series whose quotients are either locally soluble or locally finite is a variety (Theorem B). We examine the question whether the latter result remains valid with m allowed to be an arbitrary positive integer. In this direction, we show that if m, n are positive integers, u a multilinear commutator word and v the product of 896 u-words, then the class of all groups G in which the v^m-values are n-Engel and the verbal subgroup u(G) has an ascending normal series whose quotients are either locally soluble or locally finite is a variety (Theorem C).

preprint2014arXiv

An Engel condition for orderable groups

Let m,n be positive integers, v a multilinear commutator word and w=v^m. We prove that if G is an orderable group in which all w-values are n-Engel, then the verbal subgroup v(G) is locally nilpotent. We also show that in the particular case where v=x the group G is nilpotent (rather than merely locally nilpotent).

preprint2014arXiv

Locally finite groups containing a $2$ -element with Chernikov centralizer

Suppose that a locally finite group $G$ has a $2$ -element $g$ with Chernikov centralizer. It is proved that if the involution in $\langle g\rangle$ has nilpotent centralizer, then $G$ has a soluble subgroup of finite index.

preprint2014arXiv

Nonsoluble and non-p-soluble length of finite groups

Every finite group $G$ has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length $λ(G)$ as the minimum number of nonsoluble factors in a series of this kind. Upper bounds for $λ(G)$ appear in the study of various problems on finite, residually finite, and profinite groups. We prove that $λ(G)$ is bounded in terms of the maximum $2$ -length of soluble subgroups of $G$ , and that $λ(G)$ is bounded by the maximum Fitting height of soluble subgroups. For an odd prime $p$ , the non- $p$ -soluble length $λ_p(G)$ is introduced, and it is proved that $λ_p(G)$ does not exceed the maximum $p$ -length of $p$ -soluble subgroups. We conjecture that for a given prime $p$ and a given proper group variety ${\frak V}$ the non- $p$ -soluble length $λ_p(G)$ of finite groups $G$ whose Sylow $p$ -subgroups belong to ${\frak V}$ is bounded. In this paper we prove this conjecture for any variety that is a product of several soluble varieties and varieties of finite exponent.

preprint2014arXiv

On the length of finite factorized groups

The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the number of nonsoluble factors in a shortest normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$ , where $F^*_1(G)=F^*(G)$ is the generalized Fitting subgroup, and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$ . It is proved that if a finite group $G=AB$ is factorized by two subgroups of coprime orders, then the nonsoluble length of $G$ is bounded in terms of the generalized Fitting heights of $A$ and $B$ . It is also proved that if, say, $B$ is soluble of derived length $d$ , then the generalized Fitting height of $G$ is bounded in terms of $d$ and the generalized Fitting height of $A$ .

preprint2014arXiv

Words and pronilpotent subgroups in profinite groups

Let $w$ be a multilinear commutator word, that is, a commutator of weight $n$ in $n$ different group variables. It is proved that if $G$ is a profinite group in which all pronilpotent subgroups generated by $w$ -values are periodic, then the verbal subgroup $w(G)$ is locally finite.

preprint2011arXiv

Derived Subgroups of Fixed Points in Profinite Groups

The main result of this paper is the following theorem. Let q be a prime, A an elementary abelian group of order q^3. Suppose that A acts as a coprime group of automorphisms on a profinite group G in such a manner that C_G(a)' is periodic for each nontrivial element a in A. Then G' is locally finite.

preprint2011arXiv

Fixed points of coprime operator groups

Let m be a positive integer and A an elementary abelian group of order q^r with r greater than or equal to 2 acting on a finite q'-group G. We show that if for some integer d such that 2^{d} is less than or equal to (r-1) the dth derived group of C_{G}(a) has exponent dividing m for any nontrivial element a in A, then $G^{(d)}$ has {m,q,r}-bounded exponent and if $γ_{r-1}(C_G(a))$ has exponent dividing m for any nontrivial element a in A, then $γ_{r-1}(G)$ has {m,q,r}-bounded exponent.

preprint2011arXiv

On the exponent of a finite group admitting a fixed-point-free four-group of automorphisms

Let $A$ be a group isomorphic with either $S_4$ , the symmetric group on four symbols, or $D_8$ , the dihedral group of order 8. Let $V$ be a normal four-subgroup of $A$ and $α$ an involution in $A\setminus V$ . Suppose that $A$ acts on a finite group $G$ in such a manner that $C_G(V)=1$ and $C_G(α)$ has exponent $e$ . We show that if $A\cong S_4$ then the exponent of $G$ is $e$ -bounded and if $A\cong D_8$ then the exponent of the derived group $G'$ is $e$ -bounded. This work was motivated by recent results on the exponent of a finite group admitting an action by a Frobenius group of automorphisms.

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.

P. Shumyatsky

Research overview

Is this your work?

16 publications

Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks

Compact groups with countable Engel sinks

On profinite groups with automorphisms whose fixed points have countable Engel sinks

Almost Engel finite and profinite groups

On just-infiniteness of locally finite groups and their C*-algebras

Finite groups and Lie rings with an automorphism of order $2^n$

On the length of finite groups and of fixed points

On varieties of groups satisfying an Engel type identity

An Engel condition for orderable groups

Locally finite groups containing a $2$ -element with Chernikov centralizer

Nonsoluble and non-p-soluble length of finite groups

On the length of finite factorized groups

Words and pronilpotent subgroups in profinite groups

Derived Subgroups of Fixed Points in Profinite Groups

Fixed points of coprime operator groups

On the exponent of a finite group admitting a fixed-point-free four-group of automorphisms

See the researcher in context

Building this map preview

P. Shumyatsky

Research overview

Is this your work?

16 publications

Profinite groups with an automorphism of prime order whose fixed points have finite Engel sinks

Compact groups with countable Engel sinks

On profinite groups with automorphisms whose fixed points have countable Engel sinks

Almost Engel finite and profinite groups

On just-infiniteness of locally finite groups and their C*-algebras

Finite groups and Lie rings with an automorphism of order 2n2^n2n

On the length of finite groups and of fixed points

On varieties of groups satisfying an Engel type identity

An Engel condition for orderable groups

Locally finite groups containing a 222-element with Chernikov centralizer

Nonsoluble and non-p-soluble length of finite groups

On the length of finite factorized groups

Words and pronilpotent subgroups in profinite groups

Derived Subgroups of Fixed Points in Profinite Groups

Fixed points of coprime operator groups

On the exponent of a finite group admitting a fixed-point-free four-group of automorphisms

See the researcher in context

Building this map preview

Finite groups and Lie rings with an automorphism of order $2^n$

Locally finite groups containing a $2$ -element with Chernikov centralizer