Related papers: On the Frattini lemma
Let $G$ be a finite group and $p^k$ be a prime power dividing $|G|$. A subgroup $H$ of $G$ is called to be $\mathcal{M}$-supplemented in $G$ if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H_iK<G$ for every maximal subgroup…
Let S be a surface and let Mod(S,K) be the mapping class group of S permuting a Cantor subset K of S. We prove two structure theorems for normal subgroups of Mod(S,K). (Purity:) if S has finite type, every normal subgroup of Mod(S,K) either…
A subgroup H of a group G is called inert if for each $g\in G$ the index of $H\cap H^g$ in $H$ is finite. We give a classification of soluble-by-finite groups $G$ in which subnormal subgroups are inert in the cases where $G$ has no…
Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. Under some restrictions on the number of conjugacy classes of (non-normal) maximal subgroups of $G$, we prove that if $\sigma_1(G)<\frac{117}{20}\,$, then $G$ is…
The existence of invariant transversals for a normal subgroup $H$ in a group $G$ is investigated. This yields counterexamples to a conjecture in case $H$ is abelian and $G$ is finite.
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing…
A.A. Suslin proved a normality theorem for an elementary linear group and V.I. Kopeiko extended this result of Suslin for a symplectic group defined with respect to the standard skew-symmetric matrix of even size. We generalized the result…
Let $\sigma =\{\sigma_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $\sigma $-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall…
A subgroup $H$ of a finite group $G$ is called submodular in $G$, if we can connect $H$ with $G$ by a chain of subgroups, each of which is modular (in the sense of Kurosh) in the next. If a group $G$ is supersoluble and every Sylow subgroup…
Let D be a domain, n, k be positive integers and n >= K+3. Let F be a family of functions meromorphic in D. If each f in F satisfies (f^n)^(k) not equal to 1 for z in D, then F is normal family. This result was proved by Schwick. In this…
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.
We study Frattini subgroups of various generalizations of hyperbolic groups. For any countable group $G$ admitting a general type action on a hyperbolic space $S$, we show that the induced action of the Frattini subgroup $\Phi(G)$ on $S$…
In this manuscript, a solution to Problem 18.91(b) in the Kourovka Notebook is given by proving the following theorem. Let $P$ be a Sylow $p$-subgroup of a group $G$ with $|P| = p^n$. Suppose that there is an integer $k$ such that $1 < k <…
Let $W$ be a finite reflection group, either real or complex, and $S_\ell$ a Sylow $\ell$-subgroup of $W$. We prove the existence of a semidirect product decomposition of $N_W(S_\ell)$ in terms of the unique parabolic subgroup of $W$…
Suppose that $G$ is a finite group and $H$ is a subgroup of $G$. We say that $H$ is s-semipermutable in $G$ if $HG_p = G_pH$ for any Sylow $p$-subgroup $G_p$ of $G$ with $(p, |H|) = 1$. We investigate the influence of s-semipermutable…
Let $G$ be a group that is relatively hyperbolic with respect to a collection of subgroups $\{H_{\lambda}\}_{\lambda\in \Lambda}$. Suppose that $G$ is given by a finite relative presentation $\mathcal{P}$ with respect to this collection. We…
Let $G$ be a finite simple group of Lie type and let $P$ be a Sylow $2$-subgroup of $G$. In this paper, we prove that for any nontrivial element $x \in G$, there exists $g \in G$ such that $G = \langle P, x^g \rangle$. By combining this…
We study soluble groups G in which each subnormal subgroup H with infinite rank is commensurable with a normal subgroup, i.e. there exists a normal subgroup N such that the intersection of H and N has finite index in both H and N. We show…
A finite group $G$ admits a normal $2$-covering if there exist two proper subgroups $H$ and $K$ with $G=\bigcup_{g\in G}H^g\cup\bigcup_{g\in G}K^g$. For determining inductively the finite groups admitting a normal $2$-covering, it is…
If $G$ be a finite $p$-group and $\chi$ is a non-linear irreducible character of $G$, then $\chi(1)\leq |G/Z(G)|^{\frac{1}{2}}$. In \cite{fernandez2001groups}, Fern\'{a}ndez-Alcober and Moret\'{o} obtained the relation between the character…