Related papers: Sylow subgroups of the Macdonald group on 2 parame…

Consider the Macdonald groups $G(\alpha)=\langle A,B\,|\, A^{[A,B]}=A^\alpha,\, B^{[B,A]}=B^\alpha\rangle$, $\alpha\in{\mathbf Z}$. We fill a gap in Macdonald's proof that $G(\alpha)$ is always nilpotent, and proceed to determine the order,…

Let $G$ be a finite group admitting a coprime automorphism $\alpha$. Let $J_G(\alpha)$ denote the set of all commutators $[x,\alpha]$, where $x$ belongs to an $\alpha$-invariant Sylow subgroup of $G$. We show that $[G,\alpha]$ is soluble or…

For $\beta\in{\mathbb Z}$, let $G(\beta)=\langle A,B\,|\, A^{[A,B]}=A,\, B^{[B,A]}=B^\beta\rangle$ be the infinite Macdonald group, and set $C=[A,B]$. Then $G(\beta)$ is a nilpotent polycyclic group of the form $\langle…

Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $\delta_k$-values $a,b\in G$ of coprime orders. In the course of the…

We study the Wamsley group $\langle X,Y,Z\,|\, X^Z=X^\alpha, {}^Z Y=Y^\beta, Z^\gamma=[X,Y]\rangle$ and its Sylow subgroups, where $\alpha^\gamma\neq 1\neq \beta^\gamma$ and $\gamma>0$, obtaining the sharpest results when $\alpha=\beta$.

Let G be a finite group with Sylow p-subgroup P. We show that the character table of G determines whether P has maximal nilpotency class and whether P is a minimal non-abelian group. The latter result is obtained from a precise…

We show that every finite group $G$ of size at least $3$ has a nilpotent subgroup of class at most $2$ and size at least $|G|^{1/32\log\log|G|}$. This answers a question of Pyber, and is essentially best possible.

Let $G$ be a finite group, let $p$ be a prime and let $w$ be a group-word. We say that $G$ satisfies $P(w,p)$ if the prime $p$ divides the order of $xy$ for every $w$-value $x$ in $G$ of $p'$-order and for every non-trivial $w$-value $y$ in…

Let $A$ and $G$ be finite groups such that $A$ acts coprimely on $G$ by automorphisms. We provide a complete classification of a finite group $G$ in which every maximal $A$-invariant subgroup containing the normalizer of some $A$-invariant…

For subsets $X,Y$ of a finite group $G$, let $Pr(X,Y)$ denote the probability that two random elements $x\in X$ and $y\in Y$ commute. Obviously, a finite group $G$ is nilpotent if and only if $Pr(P,Q)=1$ whenever $P$ and $Q$ are Sylow…

We prove that the $k$th term of the lower central series of a finite group $G$ is nilpotent if and only if $|ab|=|a||b|$ for any $\gamma_k$-commutators $a,b\in G$ of coprime orders.

Let $F$ be a nilpotent group acted on by a group $H$ via automorphisms and let the group $G$ admit the semidirect product $FH$ as a group of automorphisms so that $C_G(F) = 1$. We prove that the order of $\gamma_\infty(G)$, the rank of…

Let $G$ be a finite group and let $k \geq 2$. We prove that the coprime subgroup $\gamma_k^*(G)$ is nilpotent if and only if $|xy|=|x||y|$ for any $\gamma_k^*$-commutators $x,y \in G$ of coprime orders (Theorem A). Moreover, we show that…

Suppose that the finite group $G=AB$ is a mutually permutable product of two subgroups $A$ and $B$. By using Sylow numbers of $A$ and $B$, we present some new bounds of the $p$-length $l_p(G)$ of a $p$-solvable group $G$ and the nilpotent…

A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups…

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 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 this Note we study the groups $G$ satisfying condition $(\mathcal{N},n)$, that is, every subset of $G$ with $n+1$ elements contains a pair $\{x,y\}$ such that the subgroup $<x,y>$ is nilpotent.

Let $G$ be a finite group and let $(P_i)_{i=1}^n$ be Sylow subgroups for distinct primes $p_1,\ldots,p_n$. We conjecture that there exists $x \in G$ such that $P_i \cap P_i^x$ is inclusion-minimal in $\{ P_i \cap P_i^g : g \in G\}$ for all…

Supersolubility of a finite group $G=\langle A,B\rangle$ with the nilpotent derived subgroup $G^\prime$ is established under the condition that the subgroups $A$ and $B$ are both subnormal and supersoluble.