Related papers: Groups generated by a finite Engel set

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…

For a finite group $G$, let $LC(G)$ be the subgroup generated by elements $x$ such that, for all $y \in G$ and all integers $n$, the order of $x^n y$ divides the least common multiple of the orders of $x$ and $y$. This subgroup is a…

We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.

It is shown that finite groups in which the order of the product of every pair of elements of co-prime order is the product of the orders, is nilpotent.

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…

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…

Given a finite group $G$, we denote by $\nu(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup. We prove that if $\nu(G)>1/12,$ then $G$ is solvable.

Let $G$ be a group. A subset $D$ of $G$ is a determining set of $G$, if every automorphism of $G$ is uniquely determined by its action on $D$. The determining number of $G$, denoted by $\alpha(G)$, is the cardinality of a smallest…

A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $\sym(G)$ that contains all right translations. We prove that every nonabelian nilpotent Schur group…

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 associate a graph $\mathcal{N}_{G}$ with a group $G$ (called the non-nilpotent graph of $G$) as follows: take $G$ as the vertex set and two vertices are adjacent if they generate a non-nilpotent subgroup. In this paper we study the graph…

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…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

We compute the numbers g(n,2,2) of nilpotent groups of order n, of class at most 2 generated by at most 2 generators, by giving an explicit formula for the Dirichlet generating function \sum_{n=1}^\infty g(n,2,2)n^{-s}.

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…

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…

We consider decidability problems associated with Engel's identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) in groups generated by an automaton. We give a partial algorithm that decides, given $x,y$, whether an…

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…

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.

For any group G, let C(G) denote the intersection of the normal- izers of centralizers of all elements of G. Set C0 = 1. Define Ci+1(G)=Ci(G) = C(G=Ci(G)) for i ? 0. By C1(G) denote the terminal term of the ascending series. In this paper,…