Related papers: On groups in which Engel sinks are cyclic

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

Let $G$ be a finite group, $L_1(G)$ be its poset of cyclic subgroups and consider the quantity $\alpha(G)=\frac{|L_1(G)|}{|G|}$. The aim of this paper is to study the class $\cal{C}$ of finite nilpotent groups having…

In the paper we characterize the class of finite solvable groups by two-variable identities in a way similar to the characterization of finite nilpotent groups by Engel identities. More precisely, a sequence of words $u_1,...,u_n,... $ is…

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 G be a profinite group in which all pronilpotent subgroups generated by commutators are periodic. We prove that G' is locally finite.

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…

We study properties of Engel elements in weakly branch groups, lying in the group of automorphisms of a spherically homogeneous rooted tree. More precisely, we prove that the set of bounded left Engel elements is always trivial in weakly…

Let $G$ be a finite group and $x$ be an element of $G$. Define $\textrm{Sol}_G(x)$ as the set of all $y \in G$ such that $\langle {x,y}\rangle$ is soluble. We provide an equivalent condition for the normalizer-solubilizer conjecture, namely…

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 $G$ be a finite group and $\psi(G) = \sum_{g \in G} o(g)$, where $o(g)$ denotes the order of $g \in G$. In [M. Herzog, et. al., Two new criteria for solvability of finite groups, J. Algebra, 2018], the authors put forward the following…

Let G be a profinite group. The following results are proved. The commutator subgroup G' is finite if and only if G is covered by countably many abelian subgroups. The group G is finite-by-nilpotent if and only if G is covered by countably…

For a finite group $G,$ we investigate the direct graph $\Gamma(G),$ whose vertices are the non-hypercentral elements of $G$ and where there is an edge $x\mapsto y$ if and only if $[x,_ny]=1$ for some $n \in \mathbb N.$ We prove that…

Consider a totally disconnected group G, which is covirtually cyclic, i.e., contains a normal compact open subgroup L such that G/L is infinite cyclic. We establish a Wang sequence, which computes the algebraic K-groups of the Hecke algebra…

Let $G$ be a profinite group. The coprime commutators $\gamma_j^*$ and $\delta_j^*$ are defined as follows. Every element of $G$ is both a $\gamma_1^*$-value and a $\delta_0^*$-value. For $j\geq 2$, let $X$ be the set of all elements of $G$…

Let $g$ be an element of a finite group $G$ and let $R_{n}(g)$ be the subgroup generated by all the right Engel values $[g,{}_{n}x]$ over $x\in G$. In the case when $G$ is soluble we prove that if, for some $n$, the Fitting height of…

Let $R_n(G)$ denotes the set of all right $n$-Engel elements of a group $G$. We show that in any group $G$ whose 5th term of lower central series has no element of order 2, $R_3(G)$ is a subgroup. Furthermore we prove that $R_4(G)$ is a…

Suppose that a finite group $G$ admits a Frobenius group of automorphisms FH of coprime order with cyclic kernel F and complement H such that the fixed point subgroup $C_G(H)$ of the complement is nilpotent of class $c$. It is proved that…

A subset $X$ of a finite group $G$ is said to be prime-power-independent if each element in $X$ has prime power order and there is no proper subset $Y$ of $X$ with $\langle Y, \Phi(G)\rangle = \langle X, \Phi(G)\rangle$, where $\Phi(G)$ is…

The number of subgroups and the number of cyclic subgroups are natural combinatorial invariants of a finite group. We investigate how restrictions on these quantities, together with the number of distinct prime divisors of $|G|$, enforce…

We give a simple proof of the well-known fact: any group of n elements is cyclic if and only if n and \phi(n) are coprime. This note is accessible for students familiar with permutations and basic number theory. No knowledge of abstract…