Related papers: An Engel condition for orderable groups

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…

Recently, Baumslag and Wiegold proved that a finite group $G$ is nilpotent if and only if $o(xy)=o(x)o(y)$ for every $x,y\in G$ of coprime order. Motivated by this result, we study the groups with the property that $(xy)^G=x^Gy^G$ and those…

Let $G$ be a locally graded group and suppose that every non-nilpotent subgroup of $G$ is permutable. We prove that $G$ is soluble. (In light of previous results of the authors, it suffices to prove that $G$ is soluble if it is periodic.

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 $\delta_k$-values $a,b\in G$ of coprime orders. In the course of the…

Let $w \in F_2$ be a word and let $m$ and $n$ be two positive integers. We say that a finite group $G$ has the $w_{m,n}$-property if however a set $M$ of $m$ elements and a set $N$ of $n$ elements of the group is chosen, there exist at…

For a finite group $G$ and an element $x\in G$, the subset $$ nil_G(x)=\{y\in G \mid <x,y>~~ is ~~ nilpotent\}$$ is called nilpotentizer of $x$ in $G$. In this paper, we give two solvabilty criteria for a finite group by the structure and…

Let $\gamma_n=[x_1,\dots,x_n]$ be the $n$th lower central word. Denote by $X_n$ the set of $\gamma_n$-values in a group $G$ and suppose that there is a number $m$ such that $|g^{X_n}|\leq m$ for each $g\in G$. We prove 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.

In this paper we prove a group theoretic analogue of the well known local nilpotence theorem for sandwich Lie algebras due to Kostrikin and Zel'manov. We introduce the notion of a strong left 3-Engel element of a group G and show that these…

We prove that 5-Engel Lie algebras over a field of characteristic zero, or over a field of prime characteristic $p>7$, are nilpotent of class at most 11. We also prove that if $G$ is a finite 5-Engel $p$-group for $p>7$ then $G$ is…

We prove a version of the Wilson conjecture for $\omega$-categorical $3$-Engel Lie algebras over a field of characteristic $5$: every $\omega$-categorical Lie algebra over $\mathbb{F}_5$ which satisfies the identity $[x,y^3] = 0$ is…

We complete the study of finite and profinite groups admitting an action by an elementary abelian group under which the centralizers of automorphisms consist of Engel elements. In particular, we prove the following theorems. Let $q$ be a…

For an element $g$ of a group $G$, an Engel sink is a subset $\mathcal{E}(g)$ such that for every $ x\in G $ all sufficiently long commutators $ [x,g,g,\ldots,g] $ belong to $\mathcal{E}(g)$. We conjecture that if $G$ is a profinite group…

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.

A (vector space) basis B of a Lie algebra is said to be very nilpotent if all the iterated brackets of elements of B are nilpotent. In this note, we prove a refinement of Engel's Theorem. We show that a Lie algebra has a very nilpotent…

Let $m,n$ be positive integers and $p$ a prime. We denote by $\nu(G)$ an extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. We prove that if $G$ is a residually finite group satisfying some non-trivial identity $f…

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…

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…

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 $w$ be a multilinear commutator word. In the present paper we describe recent results that show that if $G$ is a profinite group in which all $w$-values are contained in a union of finitely (or in some cases countably) many subgroups…