Related papers: A nilpotency criterion for some verbal subgroups

Let $H$ be a subgroup of a group $G$. $H$ is said satisfying $\Pi$-property in $G$, if $|G/K:N_{G/K}(HK/K\cap L/K)|$ is a $\pi(HK/K\cap L/K))$-number for any chief factor $L/K$ of $G$, and, if there is a subnormal supplement $T$ of $H$ in…

Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{\sigma (i_1)}…

We study groups $G$ where the $\varphi$-conjugacy class $[e]_{\varphi}=\{g^{-1}\varphi(g)~|~g\in G\}$ of the unit element is a subgroup of $G$ for every automorphism $\varphi$ of $G$. If $G$ has $n$ generators, then we prove that the $k$-th…

Around 1980 commutator theory was generalized from groups to arbitrary algebras using the socalled term condition commutator. The semigroups that are abelian with respect to this commutator were classified by Warne (1994). We study what…

The following question is proposed in [4, Question 1.20]: Let $G$ be a compact group, and suppose that $$\mathcal{N}_k(G) = \{(x1,\dots,x_{k+1}) \in G^{k+1} \;\|; [x_1,\dots, x_{k+1}] = 1\}$$ has positive Haar measure in $G^{k+1}$. Does $G$…

Let G be a finite quasisimple group of Lie type. We show that there are regular semisimple elements x,y in G, x of prime order, and |y| is divisible by at most two primes, such that the product of the conjugacy classes of x and y contain…

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…

The parameter coclass has been used successfully in the study of nilpotent algebraic objects of different kinds. In this paper a definition of coclass for nilpotent semigroups is introduced and semigroups of coclass 0, 1, and 2 are…

The paper is devoted to finding a homomorphic image for the $c$-nilpotent multiplier of the verbal product of a family of groups with respect to a variety ${\mathcal V}$ when ${\mathcal V} \subseteq {\mathcal N}_{c}$ or ${\mathcal…

We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial…

We introduce the notion of a subgraph generated by an $R$-word $r$ of the Sch\"{u}tzenberger graph of a positive word $w$, $S\Gamma(w)$, where $w$ contains $r$ as its subword. We show that the word problem for a finitely presented Adian…

Let $\mathrm{WP}_G$ denote the word problem in a finitely generated group $G$. We consider the complexity of $\mathrm{WP}_G$ with respect to standard deterministic Turing machines. Let $\mathrm{DTIME}_k(t(n))$ be the complexity class of…

The second author introduced notions of weak permutability and commutativity between groups and proved the finiteness of a group generated by two weakly permutable finite groups. Two groups H,K weakly commute provided there exists a…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms, assume that $G$ has a maximal $A$-invariant subgroup $M$ that is a direct product of some isomorphic simple groups, we prove that if $G$ has a…

The classical Waring problem deals with expressing every natural number as a sum of g(k) kth powers. Similar problems for finite simple groups have been studied recently, and in this paper we study them for finite quasisimple groups G. We…

In this note we show that if $p$ is an odd prime and $G$ is a powerful $p$-group with $N\leq G^{p}$ and $N$ normal in $G$, then $N$ is powerfully nilpotent. An analogous result is proved for $p=2$ when $N\leq G^{4}$.

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…

In this short note, we provide an inequality that holds in any finite group, only involving the orders of the elements; we prove that equality holds if and only if the group is nilpotent.

Let $N$ be a minimax nilpotent torsion-free normal subgroup of a soluble group $G$ of finite rank, $R$ be a finitely generated commutative domain and $R*N$ be a crossed product of $R$ and $N$. In the paper we construct a correspondence…

Let $B$ be a $p$-block of a finite group, and set $m=$ $\sum \chi(1)^2$, the sum taken over all height zero characters of $B$. Motivated by a result of M. Isaacs characterising $p$-nilpotent finite groups in terms of character degrees, we…