Related papers: When right n-Engel elements of a group form a subg…

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…

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…

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.

We give an infinite family of examples that generalise the construction given in arXiv:1811.12074 of a locally finite 2-group $G$ containing a left 3-Engel element $x$ where ${\langle x \rangle}^G$, the normal closure of $x$ in $G$, is not…

In this paper we study left and right 4-Engel elements of a group. In particular, we prove that $<a, a^b>$ is nilpotent of class at most 4, whenever $a$ is any element and $b^{\pm 1}$ are right 4-Engel elements or $a^{\pm 1}$ are left…

A subset $S$ of a group $G$ is called an Engel set if, for all $x,y\in S$, there is a non-negative integer $n=n(x,y)$ such that $[x,\,_n y]=1$. In this paper we are interested in finding conditions for a group generated by a finite Engel…

Let $G$ be a group and let $x\in G$ be a left $3$-Engel element of order dividing $60$. Suppose furthermore that $\langle x\rangle^{G}$ has no elements of order $8$, $9$ and $25$. We show that $x$ is then contained in the locally nilpotent…

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $<x,y>$ is…

In this paper we study left 3-Engel elements in groups. In particular, we prove that for any prime $p$ and any left 3-Engel element $x$ of finite $p$-power order in a group $G$, $x^p$ is in the Baer radical of $G$. Also it is proved that…

We give an affrmative answer to the question whether a residually finite Engel group satisfying an identity is locally nilpotent. More generally, for a residually finite group G with an identity, we prove that the set of right Engel…

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…

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…

Let x be an element of a group G. For a positive integer n let E_n(x) be the subgroup generated by all commutators [...[[y,x],x],...,x] over y in G, where x is repeated n times. There are several recent results showing that certain…

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…

Let $q$ be a prime, $n$ a positive integer and $A$ an elementary abelian group of order $q^r$ with $r\geq2$ acting on a finite $q'$-group $G$. The following results are proved. We show that if all elements in $\gamma_{r-1}(C_G(a))$ are…

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…

A right Engel sink of an element $g$ of a group $G$ is a subset containing all sufficiently long commutators $[...[[g,x],x],\dots ,x]$. We prove that if $G$ is a compact group in which, for some $k$, every commutator $[...[g_1,g_2],\dots…

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…

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.

For an element $g$ of a group $G$, a right Engel sink of $g$ is a subset of $G$ containing all sufficiently long commutators $[...[[g ,x],x],\dots ,x]$ for all $x\in G$. A left Engel sink of $g$ is a subset of $G$ containing all…