Related papers: Left 3-Engel elements in groups

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…

We consider the conjugation-action of the Borel subgroup of the symplectic or the orthogonal group on the variety of nilpotent complex elements of nilpotency degree $2$ in its Lie algebra. We translate the setup to a…

The Baer--Suzuki theorem says that if $p$ is a prime, $x$ is a $p$-element in a finite group $G$ and $\langle x, x^g \rangle$ is a $p$-group for all $g \in G$, then the normal closure of $x$ in $G$ is a $p$-group. We consider the case where…

We prove that an integral Jacobson radical ring is always nil, which extends a well known result from algebras over fields to rings. As a consequence we show that if every element x of a ring R is a zero of some polynomial p_x with integer…

R. Baer has proved that if the factor-group G/{\zeta}_{n}(G) of a group G by the member {\zeta}_{n}(G) of its upper central series is finite (here n is a positive integer) then the member {\gamma}_{n+1}(G) of the lower central series of G…

A description of finitely generated left nilpotent braces of class at most two is presented in this paper. The description heavily depends on the fact that if $B$ is left nilpotent of class at most $2$, that is $B^3 = 0$, then $B$ is right…

For a class of groups $G$ over a field $\mathbb{F}$, including certain Lie groups, Algebraic groups and finite groups, we develop a general method to determine rational and real elements, thereby unifying earlier group-specific results into…

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.…

Guralnick, Kunyavskii, Plotkin and Shalev have shown that the solvable radical of a finite group $G$ can be characterized as the set of all $x\in G$ such that $<x,y>$ is solvable for all $y\in G$. We prove two generalizations of this…

We prove that any multiplicative subgroup G of the prime field f_p with |G| < p^{1/2} satisfies |3G| \gg |G|^2 / \log |G|. Also, we obtain a bound for the multiplicative energy of any nonzero shift of G, namely E^* (G+x) \ll |G|^2 log |G|,…

Recent investigations on the set of commutators between the elements of a finite group having relatively prime orders have prompt us to propose a variant of the Ore conjecture: For every finite non-abelian simple group and for every $g\in…

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…

It is well known that n x n upper-triangular real matrices with 1's on the diagonal form a nilpotent Lie group with an interesting family of non-isotropic dilations and corresponding geometry, as in [9]. Here we look at p-adic versions of…

Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest…

In this paper we study the ratio between the number of $p$-elements and the order of a Sylow $p$-subgroup of a finite group $G$. As well known, this ratio is a positive integer and we conjecture that, for every group $G$, it is at least the…

We consider the variety of nilpotent elements in the dual of the Lie algebra of a reductive algebraic group over an algebraically closed field. We propose a definition of a partition of this variety into smooth locally closed smooth…

For G = PSL(2,p^f) denote by ZG the integral group ring, by V(ZG) the group of normalized units of ZG and let r be a prime different from p. Using the so called HeLP-method we prove, that units of r-power order in V(ZG) are rationally…

Let $G$ be a finite group and $H$ be a subgroup of $G$. In this paper, we prove that if $G$ is a finite nilpotent group and $H$ a subgroup of $G$, then $H$ is normal in $G$ if and only if all normalized right transversals of $H$ in $G$ are…

Let $p$ be a prime and $G$ a pro-$p$ group of finite rank that admits a faithful, self-similar action on the $p$-ary rooted tree. We prove that if the set $\{g\in G \ | \ g^{p^n}=1\}$ is a nontrivial subgroup for some $n$, then $G$ is a…

The greatest power of a prime $p$ dividing the natural number $n$ will be denoted by $n_p$. Let $Ind_G(g)=|G:C_G(g)|$. Suppose that $G$ is a finite group and $p$ is a prime. We prove that if there exists an integer $\alpha>0$ such that…