Related papers: On $\mathcal{M}$-supplemented subgroups

Let for a prime $p$, $\mathfrak{X}$ (respectively $\mathfrak{Y}$) be the class of all $p$-biprimitively finite (respectively periodic $p$-conjugatively biprimitively finite) groups and $G\in \mathfrak{X}$ (respectively $G\in \mathfrak{Y}$),…

Let $G$ be a group. We give an explicit description of the set of elements $x \in G$ such that $x^{|G:H|} \in H$ for every subgroup of finite index $H \leqslant G$. This is related to the following problem: given two subgroups $H$ and $K$,…

Let $G$ be a finite group and let $\pi$ be a set of primes. In this paper, we prove a criterion for the existence of a solvable $\pi$-Hall subgroup of $G$, precisely, the group $G$ has a solvable $\pi$-Hall subgroup if, and only if, $G$ has…

Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is…

Let us call a (para)topological group \emph{strongly submetrizable} if it admits a coarser separable metrizable (para)topological group topology. We present a characterization of simply $sm$-factorizable (para)topo\-logical groups by means…

In this paper, we consider semi-extraspecial $p$-groups $G$ that have an automorphism of order $|G:G'| - 1$. We prove that these groups are isomorphic to Sylow $p$-subgroups of ${\rm SU}_3 (p^{2a})$ for some integer $a$. If $p$ is odd, this…

A finite group $P$ is said to be \emph{primary} if $|P|=p^{a}$ for some prime $p$. We say a primary subgroup $P$ of a finite group $G$ satisfies the \emph{Frobenius normalizer condition} in $G$ if $N_{G}(P)/C_{G}(P)$ is a $p$-group provided…

We prove that the subgroup graph of a finite group $G$ is regular if and only if $G$ is cyclic with square-free order.

Let G be a connected and reductive algebraic group over an algebraically closed field of characteristic p > 0. An interesting class of representations of G consists of those G-modules having a good filtration -- i.e. a filtration whose…

Thompson's theorem stated that a finite group $G$ is solvable if and only if every $2$-generated subgroup of $G$ is solvable. In this paper, we prove some new criteria for both solvability and nilpotency of a finite group using certain…

Let $G=C_{p^n}$ be a finite cyclic p-group, and let $Hol(G)$ denote its holomorph. In this work, we find and characterize the regular subgroups of $Hol(G)$ that are mutually normalizing each other in the permutation group $Sym(G)$. We…

Let $G$ be a finite $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. In this article we classify non-abelian $p$-groups $G$ of…

The prime graph $\Gamma(G)$ of a finite group $G$ (also known as the Gruenberg-Kegel graph) has as its vertices the prime divisors of $|G|$, and $p\text-q$ is an edge in $\Gamma(G)$ if and only if $G$ has an element of order $pq$. Since…

We prove that, for every integer $n \ge 2$, a finite or infinite countable group $G$ can be embedded into a 2-generated group $H$ in such a way that the solvability of quadratic equations of length at most $n$ is preserved, i.e., every…

Suppose $p$ is a prime and $S$ is a Sylow $p$-subgroup of a finite group $G$. If $S$ is normal in $G$, then $Z(S)$ is the direct product of $S \cap Z(G)$ with $[Z(S), G]$. We prove an analogous result for all groups except in some cases…

For a finite group $G$, we study the probability $sp(G)$ that, given two elements $x,y \in G$, the cyclic subgroup $\langle x \rangle$ is subnormal in the subgroup $\langle x, y \rangle$. This can be seen as an intermediate invariant…

We consider pairs of finitely presented, residually finite groups $P\hookrightarrow\G$ for which the induced map of profinite completions $\hat P\to \hat\G$ is an isomorphism. We prove that there is no algorithm that, given an arbitrary…

For a finite group $G$ and a positive integer $n$, let $G(n)$ be the set of all elements in $G$ such that $x^{n}=1$. The groups $G$ and $H$ are said to be of the same (order) type if $G(n)=H(n)$, for all $n$. The main aim of this paper is…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the $ \Pi $-property in $ G $ if $ | G/K : N_{G/K}((H \cap L)K/K)| $ is a $ \pi(( H \cap L)K/K ) $-number for any chief factor $ L/K $ of $ G $; and we call that $…

Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the partial $ \Pi $-property in $ G $ if if there exists a chief series $ \varGamma_{G}: 1 =G_{0} < G_{1} < \cdot\cdot\cdot < G_{n}= G $ of $ G $ such that for…