Related papers: On the sharp Baer--Suzuki theorem for the $\pi$-ra…

Let $\pi$ be a proper subset of the set of all primes. Denote by $r$ the smallest prime which does not belong to $\pi$ and set $m = r$ if $r = 2$ or $3$ and $m = r-1$ if $r \geqslant 5$. We study the following conjecture: a conjugacy class…

In the paper we prove (modulo the classification of finite simple groups) an analogue of the famous Baer-Suzuki theorem for the $\pi$-radical of a finite group, where $\pi$ is a set of primes

We prove that if $L=\mbox{}^2F_4(2^{2n+1})'$ and $x$ is a nonidentity automorphism of $L$ then $G=\langle L,x\rangle$ has four elements conjugate to $x$ that generate $G$. This result is used to study the following conjecture about the…

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…

Let $G$ be a finite group and $\pi$ be a set of primes. We show that if the number of conjugacy classes of $\pi$-elements in $G$ is larger than $5/8$ times the $\pi$-part of $|G|$ then $G$ possesses an abelian Hall $\pi$-subgroup which…

The aim of this paper is to prove the following result: Let $\pi$ be a set of odd primes. If the group $G=AB$ is the product of two $\pi$-decomposable subgroups $A=A_\pi \times A_{\pi'}$ and $B=B_\pi \times B_{\pi'}$, then $G$ has a unique…

Let $G$ be a finite group and $\pi$ be a set of primes. We study finite groups with a large number of conjugacy classes of $\pi$-elements. In particular, we obtain precise lower bounds for this number in terms of the $\pi$-part of the order…

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…

We prove the Arad-Herzog conjecture for various families of finite simple groups- if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are…

We prove that an element $g$ of prime order $>3$ belongs to the solvable radical $R(G)$ of a finite (or, more generally, a linear) group if and only if for every $x\in G$ the subgroup generated by $g, xgx^{-1}$ is solvable. This theorem…

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…

For a set of primes $\pi$, denote by $E_\pi$ the class of finite groups containing a Hall $\pi$-subgroup. We establish that $E_{\pi_1}\cap E_{\pi_2}$ is contained in $E_{\pi_1\cap\pi_2}$. As a corollary, we prove that if $\pi$ is a set of…

Let $\pi$ be a set of primes. By H.Wielandt definition, {\it Sylow $\pi$-theorem} holds for a finite group $G$ if all maximal $\pi$-subgroups of $G$ are conjugate. In the paper, the following statement is proven. Assume that $\pi$ is a…

It is shown that in the units of augmentation one of an integral group ring $\mathbb{Z} G$ of a finite group $G$, a noncyclic subgroup of order $p^{2}$, for some odd prime $p$, exists only if such a subgroup exists in $G$. The corresponding…

Let $G$ be a finite group, let $\pi$ be a set of primes and let $p$ be the smallest prime in $\pi$. In this work, we prove that $G$ possesses a normal and abelian Hall $\pi$-subgroup if and only if the probability that two random…

For $p$ a prime, $G$ a finite group and $A$ a normal subset of elements of order $p$, we prove that if $A^2 = \{ab \mid a, b \in A\}$ consists of $p$-elements then $Q = \langle A \rangle$ is soluble. Further, if $O_p(G) = 1$, we show that…

Let G be a finite abelian group with |G|>1. Let a_1,...,a_k be k distinct elements of G and let b_1,...,b_k be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that…

Suppose that G is a finite group and x in G has prime order p > 3. Then x is contained in the solvable radical of G if (and only if) <x,x^g> is solvable for all g in G. If G is an almost simple group and x in G has prime order p > 3 then…

We provide structural criteria for some finite factorised groups $G = AB$ when the conjugacy class sizes in $G$ of certain $\pi$-elements in $A\cup B$ are either $\pi$-numbers or $\pi'$-numbers, for a set of primes $\pi$. In particular, we…

Suppose that $x$, $y$ are elements of a finite group $G$ lying in conjugacy classes of coprime sizes. We prove that $\langle x^G \rangle \cap \langle y^G \rangle$ is an abelian normal subgroup of $G$ and, as a consequence, that if $x$ and…