Related papers: Engel groups with an identity

Let $q$ be a prime. Let $G$ be a residually finite group satisfying an identity. Suppose that for every $x \in G$ there exists a $q$-power $m=m(x)$ such that the element $x^m$ is a bounded Engel element. We prove that $G$ is locally…

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…

Let $m,n$ be positive integers. Suppose that $G$ is a residually finite group in which for every element $x \in G$ there exists a positive integer $q=q(x) \leqslant m$ such that $x^q$ is $n$-Engel. We show that $G$ is locally virtually…

Let m, n be positive integers, v a multilinear commutator word and w = v^m. We prove that if G is a locally graded group in which all w-values are n-Engel, then the verbal subgroup w(G) is locally nilpotent.

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…

Following Plotkin we say that the automorphism $x$ of the group $G$ is a nil-automorphism if, for every $g\in G$, there exists $n=n(g)$ such that $[g,_n x]=1$. If the integer $n$ can be chosen independently of $g$, then $x$ is said to be…

For an element $g$ of a group $G$, an Engel sink is a subset ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. A~finite group is nilpotent if and only if…

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…

Let $ n, q $ be positive integers. We show that if $ G $ is a finitely generated residually finite group satisfying the identity $ [x,_ny^q]\equiv 1, $ then there exists a function $ f(n) $ such that $ G $ has a nilpotent subgroup of finite…

Let $G$ be a profinite group in which for every element $x\in G$ there exists a natural number $q=q(x)$ such that $x^q$ is Engel. We show that $G$ is locally virtually nilpotent. Further, let $p$ be a prime and $G$ a finitely generated…

We say that a group $G$ is almost Engel if for every $g\in G$ there is a finite 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)$, that is, for every…

An element $g$ of a group $G$ is said to be right Engel if for every $x\in G$ there is a number $n=n(g,x)$ such that $[g,{}_{n}x]=1$. We prove that if a profinite group $G$ admits a coprime automorphism $\varphi$ of prime order such that…

For any odd prime $p$, we give an example of a locally finite $p$-group $G$ containing a left 3-Engel element $x$ where $\langle x \rangle^G$ is not nilpotent.

A classical theorem of R. Baer describes the nilpotent radical of a finite group G as the set of all Engel elements, i.e. elements y in G such that for any x in G the n-th commutator [x,y,...,y] equals 1 for n big enough. We obtain a…

We prove that the set of right 4-Engel elements of a group $G$ is a subgroup for locally nilpotent groups $G$ without elements of orders 2, 3 or 5; and in this case the normal closure $<x>^G$ is nilpotent of class at most 7 for each right…

We give an example of a locally nilpotent group $G$ containing a left $3$-Engel element $x$ where $\langle x\rangle^{G}$ is not nilpotent.

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…

We prove that if a linear group $G$ is almost Engel, then $G$ is finite-by-hypercentral. If $G$ is almost nil, then $G$ is finite-by-nilpotent.

We say that an element $g$ of a group $G$ is almost right Engel if there is a finite 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)$, that is, for…

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…