Related papers: Right 4-Engel elements of a group

In \cite{1}, a class of gyrogroups $(G,\odot)$ has been associated to certain groups $(G,\cdot)$. We give a necessary and sufficient condition for $(G,\odot)$ to be gyrocommutative. We also prove that under a suitable assumption two finite…

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…

We present a CFSG-free proof of the fact that the degree of nilpotence of a finite nonnilpotent group is less than $1/2$.

The average order of a finite group G is denoted by o(G). In this note, we classify groups whose average orders are less than o(S4), where S4 is the symmetric group on four elements. Moreover, we prove that G \cong S4 if and only if o(G) =…

We first show that every group-theoretical category is graded by a certain double coset ring. As a consequence, we obtain a necessary and sufficient condition for a group-theoretical category to be nilpotent. We then give an explicit…

The current article continues a series of papers on decomposition of unipotents and its applications. Let $G(\Phi,R)$ be a Chevalley group with a reduced irreducible root system $\Phi$ over a commutative ring $R$. Fix $h\in G(\Phi,R)$. Call…

Let $G$ be a finite group, and let $\mathrm{Irr}(G)$ denote the set of irreducible complex characters of $G$. An element $x$ of $G$ is said to be vanishing, if for some $\chi$ in $\mathrm{Irr}(G)$, we have $\chi(x)=0$. Also the element $x$…

We show that any simple group of Morley rank 4 must be a bad group with no proper definable subgroups of rank larger than 1. We also give an application to groups acting on sets of Morley rank 2.

It is known that the norm map N_G for a finite group G acting on a ring R is surjective if and only if for every elementary abelian subgroup E of G the norm map N_E for E is surjective. Equivalently, there exists an element x_G in R with…

Regular abelian semigroups are isomorphic to a direct product of an abelian group and a rectangular band (Warne, 1994). Seeking for a similar result for nilpotency, solvability and supernilpotency of regular semigroups, we obtain that…

Let $G$ be a group. The orbits of the natural action of $\Aut(G)$ on $G$ are called "automorphism orbits" of $G$, and the number of automorphism orbits of $G$ is denoted by $\omega(G)$. Let $G$ be a virtually nilpotent group such that…

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…

Let $G$ be a finite group and denote by $o(g)$ the order of an element $g\in G$. We say that $G$ is an $LCM$-group if $o(x^ny)$ is a divisor of the least common multiple of $o(x^n)$ and $o(y)$ for all $x, y\in G$ and $n\in\mathbb{N}$. This…

We develop an abstract framework for studying the strong form of Malle's conjecture for nilpotent groups $G$ in their regular representation. This framework is then used to prove the strong form of Malle's conjecture for any nilpotent group…

We show that any connected algebraic group $G$ over a field admits a nilpotent normal subgroup $Z_\infty(G)$ such that the quotient $G/Z_\infty(G)$ has trivial center. We construct $Z_\infty(G)$ as the final term of the transfinitely…

Let $G$ be a non-Engel group and let $L(G)$ be the set of all left Engel elements of $G$. Associate with $G$ a graph $\mathcal{E}_G$ as follows: Take $G\backslash L(G)$ as vertices of $\mathcal{E}_G$ and join two distinct vertices $x$ and…

Let $a$ be a non-invertible transformation of a finite set and let $G$ be a group of permutations on that same set. Then $\genset{G, a}\setminus G$ is a subsemigroup, consisting of all non-invertible transformations, in the semigroup…

We consider groups of the nilpotency class $3$ of order $p^4$ which are the additive groups of local nearrings. It was shown that, for $p>3$, there exist a local nearring on one of such 4 groups.

A 2-covering for a finite group $G$ is a set of proper subgroups of $G$ such that every pair of elements of $G$ is contained in at least one subgroup in the set. The minimal number of subgroups needed to 2-cover a group $G$ is called the…

We consider groups of the nilpotency class $2$ of order $p^4$ which are the additive groups of local nearrings. It was shown that, for odd p, out of 6 of such groups 4 of them are the additive groups of local nearrings. Some examples of…