Related papers: On the Frattini lemma

We prove that Hall subgroups of finite simple groups are pronormal. Thus we obtain an affirmative answer to Problem 17.45(a) of "Kourovka notebook".

The object of this paper is to find a necessary and sufficient condition for the groups $G_1, G_2, ..., G_n$ so that every normal subgroup of the product $\prod_{i=1}^{n} G_i$ is of the type $\prod_{i=1}^{n} N_i$ with $N_i \trianglelefteq…

Problem 20.21 of Mazurov and Khukhro (Unsolved Problems in Group Theory: The Kourovka Notebook, 20th Issue, 2022), contributed by M.~Conder and attributed to G.~Verret, asks whether there exists a finite group $G$ with two normal subgroups…

Let G be an infinite group and let h and g be elements. We say that h is a root of g if some integer power of h is equal to g. We define K(G) to be the subgroup of all elements of G for which the number of elements which are not roots is of…

Let $G$ be a finite group. For subgroups $U$ and $V$ let $1_U^G$ and $1_V^G$ be the permutation characters for the action of $G$ on the right cosets of $U$ and $V$, respectively. Let $N$ be a normal subgroup of $G$. Norbert Klingen, in his…

Given a finite non-cyclic group $G$, call $\sigma(G)$ the smallest number of proper subgroups of $G$ needed to cover $G$. Lucchini and Detomi conjectured that if a nonabelian group $G$ is such that $\sigma(G) < \sigma(G/N)$ for every…

A subgroup $R$ of a finite group $G$ is weakly subnormal in $G$ if $R$ is not subnormal in $G$ but it is subnormal in every proper overgroup of $R$ in $G$. In this paper, we first classify all finite groups $G$ which contains a weakly…

We show that if G is a group and A is a finite subset of G with |A^2| < K|A|, then for all k there is a symmetric neighbourhood of the identity S with S^k a subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|.

Let $\mathbb{F}G$ denote the group algebra of the group $G$ over the field $\mathbb{F}$ with $char(\mathbb{F})\neq 2$. Given both a homomorphism $\sigma:G\rightarrow \{\pm1\}$ and a group involution $\ast: G\rightarrow G$, an oriented…

Let $H$ be a subgroup of a group $G$. The permutizer $P_G(H)$ is the subgroup generated by all cyclic subgroups of $G$ which permute with $H$. A subgroup $H$ of a group $G$ is strongly permutable in $G$ if $P_U(H)=U$ for every subgroup $U$…

Let $G$ be a finite group and $K$ a normal subset consisting of odd-order elements. The rational closure of $K$, denoted $\mathbf D_K$, is the set of elements $x \in G$ with the property that $\langle x \rangle = \langle y \rangle$ for some…

Suppose $\ell$ is a prime number, $\ell >3$, $K$ is a field that is an unramified finite extension of the field $\Q_\ell$ of $\ell$-adic numbers, and $G$ is a finite group that is a semi-direct product of a normal $\ell'$-subgroup $H$ and a…

Let $F$ be a local complete field with discrete valuation, and let $G$ be a quasi-split group over $F$ which splits over some unramified extension of $F$. Let $P$ be a parahoric subgroup of the group $G(F)$ of $F$-points of $G$; t he open…

A subgroup $H$ of a group $G$ is called {\it pronormal}, if for every $g\in G$ subgroups $H$ and $H^g$ are conjugate in $\langle H, H^g\rangle$. It is proven that if a finite group $G$ possesses a $\pi$-Hall subgroup for a set of primes…

The normal covering number $\gamma(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for…

If $G$ is an omega-stable group with a normal definable subgroup $H$, then the Sylow-$2$-subgroups of $G/H$ are the images of the Sylow-$2$-subgroups of $G$.

Let $G$ be a finite group and let $p_1,\dots,p_n$ be distinct primes. If $G$ contains an element of order $p_1\cdots p_n,$ then there is an element in $G$ which is not contained in the Frattini subgroup of $G$ and whose order is divisible…

Let K be any field and G be a finite group. We will prove that, if K is any field, p an odd prime number, and G is a non-abelian group of exponent p with |G|=p^3 or p^4 satisfying [K(\zeta_p):K] <= 2, then K(G) is rational over K. We will…

In 1974, Helmut Wielandt proved that in a finite group $G$, a subgroup $A$ is subnormal if and only if it is subnormal in every $\seq{A,g}$ for all $g\in G$. In this paper, we prove that the subnormality of an odd order nilpotent subgroup…

In recent years there has been significant progress in the study of products of subsets of finite groups and of finite simple groups in particular. In this paper we consider which families of finite simple groups $G$ have the property that…