Related papers: On the right and left 4-Engel elements

Let $G$ be an amenable group. We define and study an algebra $\mathcal{A}_{sn}(G)$, which is related to invariant means on the subnormal subgroups of $G$. For a just infinite amenable group $G$, we show that $\mathcal{A}_{sn}(G)$ is…

Consider the Macdonald group $G(\alpha,\beta)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\beta\rangle$, where $\alpha$ and $\beta$ are integers different from one. We fill a gap in Macdonald's original proof that $G(\alpha,\beta)$…

Let $G$ be a finite $p$-group of order $p^n$. YA. G. Berkovich (Journal of Algebra {\bf 144}, 269-272 (1991)) proved that $G$ is elementary abelian $p$-group if and only if the order of its Schur multiplier, $M(G)$, is at the maximum case.…

We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units V(FG) of the group algebra FG is locally nilpotent; (ii) the group algebra FG has a finite number of nilpotent elements and V(FG) is an…

We determine the blocks, i.e., the primitive central idempotents, of the bifree double Burnside ring $B^\Delta(G,G)$ and the left-free double Burnside ring $B^{\trl}(G,G)$, as well as the primitive central idempotents of the algebras…

The aim of this paper is to introduce and study the class of all left braces in which every subbrace is an ideal. We call them Dedekind left braces. It is proved that every finite Dedekind left brace is centrally nilpotent. Structural…

Suppose that a finite group $G$ admits a soluble group of coprime automorphisms $A$. We prove that if, for some positive integer $m$, every element of the centralizer $C_G(A )$ has a left Engel sink of cardinality at most $m$ (or a right…

A group law is said to be detectable in power subgroups if, for all coprime $m$ and $n$, a group $G$ satisfies the law if and only if the power subgroups $G^m$ and $G^n$ both satisfy the law. We prove that for all positive integers $c$,…

Using GAP4, we determine the number of ad-nilpotent and abelian ideals of a parabolic subalgebra of a simple Lie algebra of exceptional types E, F or G.

We show that every amenable group with a locally invariant partial order has a left-invariant total order (and is therefore locally indicable). We also show that if a group G admits a left-invariant total order, and H is a locally nilpotent…

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…

A (left) Engel sink of an element g of a group G is a subset containing all sufficiently long commutators [...[[x,g],g],...,g], where x ranges over G. We prove that if p is a prime and G a finite group in which, for some positive integer m,…

Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all elements $a,b,c\in L$. The…

This paper introduces and studies the higher-order group inverse in a ring. We extend known properties of the higher-order group inverse from complex matrices to elements of a ring and, in the process, derive new results. We further…

Regarding the question of how idempotent elements affect reversible property of rings, we study a version of reversibility depending on idempotents. In this perspective, we introduce {\it right} (resp., {\it left}) {\it $e$-reversible…

We introduce a special class of powerful $p$-groups that we call powerfully nilpotent groups that are finite $p$-groups that possess a central series of a special kind. To these we can attach the notion of a powerful nilpotence class that…

Let G be a finite group. An element x in G is a real element if x is conjugate to its inverse in G. For x in G, the conjugacy class x^G is said to be a real conjugacy class if every element of x^G is real. We show that if 4 divides no real…

Let $G$ be a classical linear algebraic group over an algebraically closed field, and let $\mathfrak{n}$ denote the subset of nilpotent elements in its Lie algebra. In this paper we study a partial order on the $G$-orbits in $\mathfrak{n}$…

We classify the nilpotent Lie rings of order $p^8$ with maximal class for $p \ge 5$. This also provides a classification of the groups of order $p^8$ with maximal class for $p \ge 11$ via the Lazard correspondence.

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…