Let $σ=\{σ_{i} | i\in I\}$ be a partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $σ$-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $i\in I$ and $\cal H$ contains exactly one Hall $σ_{i}$-subgroup of $G$ for every $i$ such that $σ_{i}\cap π(G)\ne \emptyset$. In this paper, we study the structure of $G$ assuming that some subgroups of $G$ permutes with all members of ${\cal H}$.
The subgroups $A$ and $B$ of a group~$G$ are called {\rm msp}-permutable, if the following statements hold: $AB$~is a subgroup of~$G$; the subgroups $P$ and $Q$ are mutually permutable, where $P$~is an arbitrary Sylow $p$-subgroup of~$A$ and $Q$~is an arbitrary Sylow $q$-subgroup of~$B$, ${p\neq q}$. In the present paper, we investigate groups that factorized by two {\rm msp}-permutable subgroups. In particular, the supersolubility of the product of two supersoluble {\rm msp}-permutable subgroups is proved.
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$ of $G$ such that~$H\le U\le G$. We investigate groups with $\mathbb{P}$-subnormal or strongly permutable Sylow and primary cyclic subgroups. In particular, we prove that groups with all strongly permutable primary cyclic subgroups are supersoluble.
Let $R$ be a subset of a group $G$. We call a subgroup $H$ of $G$ the $R$-conjugate-permutable subgroup of $G$, if $HH^{x}=H^{x}H$ for all $x\in R$. This concept is a generalization of conjugate-permutable subgroups introduced by T. Foguel. Our work focuses on the influence of $R$-conjugate-permutable subgroups on the structure of finite groups in case when $R$ is the Fitting subgroup or its generalizations $F^{*}(G)$ (introduced by H. Bender in 1970) and $\tilde{F}(G)$ (introduced by P. Shmid 1972). We obtain a new criteria for nilpotency and supersolubility of finite groups which generalize …
Let $σ=\{π_i | i\in I$ and $π_i\capπ_j=\emptyset$ for all $i\neq j\}$ be a partition of the set of all primes into mutually disjoint subsets. In this paper we considered subgroups that permutes with given sets of $π_i$-maximal subgroups for all $π_i\in σ$. In particular we showed that such subgroups forms a sublattice of the lattice of all subgroups of a finite group. As corollaries we obtained some well known results about $S$-permutable subgroups.
We prove that if a group $G=AB$ is the mutually permutable product of the supersoluble subgroups $A$ and $B$, then the supersoluble residual of $G$ coincides with the nilpotent residual of the derived subgroup $G'$.
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$, $G$ a finite group and $σ(G) =\{σ_{i} |σ_{i}\cap π(G)\ne \emptyset \}$. A set ${\cal H}$ of subgroups of $G$ is said to be a complete Hall $σ$-set of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in σ$ and ${\cal H}$ contains exactly one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in σ(G)$. A subgroup $A$ of $G$ is said to be $σ$-permutable in $G$ if $G$ possesses a complete Hall $σ$-set and $A$ permutes with each Hall $σ_{i}$-subgroup $H$ of $G$, that is, $AH=HA$ fo…
Let G be a finite group and σ = {σ_i, i \in I} be a partition of the set of all primes \mathbb{P}. A set \mathcal{H} of subgroups of G with 1 \in \mathcal{H} is said to be a complete Hall σ-set of G if every non-identity member of \mathcal{H} is a Hall σ_i-subgroup of G. A subgroup H of G is said to be σ-permutable if G possesses a complete Hall σ-set \mathcal{H} such that HA^x = A^xH for all A \in \mathcal{H} and all x \in G. We say that a subgroup H of G is weakly σ-permutable in G if there exists a σ-subnormal subgroup T of G such that G = HT and H \cap T \leq H_σG. where H_σG is the subgro…
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $Π$ a non-empty subset of the set $σ$. A set ${\cal H}$ of subgroups of a finite group $G$ is said to be a \emph{ complete Hall $Π$-set} of $G$ if every member of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in Π$ and ${\cal H}$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in Π$ such that $σ_i\cap π(G)\neq\emptyset$. A subgroup $H$ of $G$ is called \emph{$Π$-quasinormal} or \emph{$Π$-permutable} in $G$ if $G$ possesses a complete Hall $Π$-set ${\cal H}=\{H_{1}, \ldots , H_{t}…
The additivity with respect to exact sequences is notoriously a fundamental property of the algebraic entropy of group endomorphisms. It was proved for abelian groups by deeply exploiting their structure. On the other hand, a solvable counterexample was recently found, showing that it does not hold in general. Nevertheless, we give a rather short proof of the additivity of the algebraic entropy for locally finite groups that are either quasihamiltonian or FC-groups.
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and let $G$ be a finite group. Then $G$ is said to be $σ$-full if $G$ has a Hall $σ_{i}$-subgroup for all $i$. A subgroup $A$ of $G$ is said to be $σ$-permutable in $G$ provided $G$ is $σ$-full and $A$ permutes with all Hall $σ_{i}$-subgroups $H$ of $G$ (that is, $AH=HA$) for all $i$. We obtain a characterization of finite groups $G$ in which $σ$-permutability is a transitive relation in $G$, that is, if $K$ is a $σ$-permutable subgroup of $H$ and $H$ is a $σ$-permutable subgroup of $G$, then $K$ is a $σ$-permutabl…
According to T. Foguel a subgroup $H$ of a group $G$ is called conjugate-permutable if $ HH^x=H^xH$ for every $x\in G$. Mingyao Xu and Qinhai Zhang studied finite groups with every subgroup conjugate-permutable (ECP-groups) and asked three questions about them. We gave the answers on these questions. In particular, every group of exponent 3 is ECP-group, there exist non-regular ECP-$3$-groups and the class of all finite ECP-groups is neither formation nor variety.
The generalized Fitting height $h^*(G)$ of a finite group $G$ is the least number $h$ such that $\mathrm{F}_h^* (G) = G$, where $\mathrm{F}_{(0)}^* (G) = 1$, and $\mathrm{F}_{(i+1)}^*(G)$ is the inverse image of the generalized Fitting subgroup $\mathrm{F}^*(G/\mathrm{F}^*_{(i)} (G))$. Let $p$ be a prime, $1=G_0\leq G_1\leq\dots\leq G_{2h+1}=G$ be the shortest normal series in which for $i$ odd the factor $G_{i+1}/G_i$ is $p$-soluble (possibly trivial), and for $i$ even the factor $G_{i+1}/G_i$ is a (non-empty) direct product of nonabelian simple groups. Then $h=λ_p(G)$ is called the non-$p$-s…
The Hawkes graph $Γ_H(G)$ of $G$ is the directed graph whose vertex set coincides with $π(G)$ and it has the edge $(p, q)$ whenever $q\inπ(G/O_{p',p}(G))$. The Sylow graph $Γ_s(G)$ of $G$ is the directed graph with vertex set $π(G)$ and $(p, q)$ is an edge of $Γ_s(G)$ whenever $q \inπ(N_G(P)/PC_G(P))$ for some Sylow $p$-subgroup $P$ of $G$. The $N$-critical graph $Γ_{Nc}(G)$ of a group $G$ the directed graph whose vertex set coincides with $π(G)$ such that $(p, q)$ is an edge of $Γ_{Nc}(G)$ whenever $G$ contains a Schmidt $(p, q)$-subgroup, i.e. a Schmidt $\{p, q\}$-subgroup with a normal Sylo…
Let $G$ be a finite group. Let $σ=\{σ_{i} | i\in I\}$ be a partition of the set of all primes $\Bbb{P}$ and $n$ an integer. We write $σ(n) =\{σ_{i} |σ_{i}\cap π(n)\ne \emptyset \}$, $σ(G) =σ(|G|)$. A set $ {\cal H}$ of subgroups of $G$ is said to be a complete Hall $σ$-set of $G$ if every member of ${\cal H}\setminus \{1\}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}$ and ${\cal H}$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in σ(G)$. A subgroup $A$ of $G$ is called: (i) a $σ$-Hall subgroup of $G$ if $σ(|A|) \cap σ(|G:A|)=\emptyset$; (ii) $σ$-permutable in $G$ if $G…
A subgroup $H$ of a group $G$ is called weakly s-supplemented in $G$ if there is a subgroup $T$ such that $G=HT$ and $H\cap T\le H_{sG}$, where $H_{sG}$ is the subgroup of $H$ generated by all those subgroups of $H$ which are s-permutable in $G$. The influence of primary weakly s-supplemented subgroups on the structure of finite groups is investigated. An open question promoted by Skiba is studied and some known results are generalized.
In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown that the set of all $\mathbb{F}$-functorials is a complete distributive lattice and the cardinality of this lattice is continuum. The sharp bounds on the generalized Fitting height of mutually permutable product of two subgroups were obtained.
A subgroup $H$ of a finite group $G$ is said to be SS-permutable in $G$ if $H$ has a supplement $K$ in $G$ such that $H$ permutes with every Sylow subgroup of $K$. A finite group $G$ is called an SST-group if SS-permutability is a transitive relation on the set of all subgroups of $G$. The structure of SST-groups is investigated in this paper.
Let $\frak{F}$ be a class of finite groups. A subgroup $H$ of a finite group $G$ is said to be $\mathfrak{F_{\mathrm s}}$-quasinormal in $G$ if there exists a normal subgroup $T$ of $G$ such that $HT$ is $s$-permutable in $G$ and $(H\cap T)H_G/H_G$ is contained in the $\frak{F}$-hypercenter $Z_\infty^\mathfrak{F}(G/H_G)$ of $G/H_G$. In this paper, we investigate further the influence of $\mathfrak{F_{\mathrm s}}$-quasinormality of some subgroups on the structure of finite groups. New characterization of some classes of finite groups are obtained.
We consider groups of the form $G=AB$ with two locally cyclic subgroups $A$ and $B$. The structure of these groups is determined in the cases when $A$ and $B$ are both periodic or when one of them is periodic and the other is not. Together with a previous study of the case when $A$ and $B$ are torsion-free, this gives a complete classification of all groups that are the product of two locally cyclic groups. It is also shown that the product of a finite number of pairwise permutable periodic locally cyclic subgroups is a locally supersoluble group.
In the paper, it is proved that if a finite group $G$ possesses a $π$-Hall subgroup for a set $π$ of primes, then every normal subgroup $A$ of $G$ possesses a $π$-Hall subgroup $H$ such that ${G=AN_G(H)}$.
A Schmidt group is a non-nilpotent group whose every proper subgroup is nilpotent. We study the properties of a non-nilpotent group G in which every Schmidt subgroup is a Hall subgroup of G.
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 $π$-Hall subgroup for a set of primes $π$, the every its normal subgroup (in particular, $G$ itself) possesses a $π$-Hall subgroup that is pronormal in~$G$.
Let $G$ be a finite group and let $π$ be a set of primes. In this paper, we prove a criterion for the existence of a solvable $π$-Hall subgroup of $G$, precisely, the group $G$ has a solvable $π$-Hall subgroup if, and only if, $G$ has a $\{p,q\}$-Hall subgroup for any pair $p$, $q\inπ$.
Let $π$ be a set of primes. We say that a finite group $G$ is a $D_π$-group if all its maximal $π$-subgroups are conjugate. In this paper, we give an affirmative answer to the problem 17.44(b) from "The Kourovka notebook": we prove that in a $D_π$-group an overgroup of a $π$-Hall subgroup is always a $D_π$-group.
Assume that a finite almost simple group with simple socle isomorphic to an exceptional group of Lie type possesses a solvable Hall subgroup. Then there exist four conjugates of the subgroup such that their intersection is trivial.
Fix a set of primes $π$. A finite group is said to satisfy $C_π$ or, in other words, to be a $C_π$-group, if it possesses exactly one class of conjugate $π$-Hall subgroups. The pronormality of $π$-Hall subgroups in $C_π$-groups is proven, or, equivalently, we prove that $C_π$ is inherited by overgroups of $π$-Hall subgroups. Thus an affirmative solution to Problem 17.44(a) from the "Kourovka notebook" is obtained. We also provide an example, showing that Hall subgroups in finite groups are not pronormal in general.
In this paper we find the number of conjugate $π$-Hall subgroups in all finite almost simple groups. We also complete the classification of $π$-Hall subgroups in finite simple groups and correct some mistakes from our previous paper.
Let $π$ be a set of primes. We say that a finite group $G$ is a $\mathcal{D}_π$-group if the maximal $π$-subgroups of $G$ are conjugate. In this paper, we give an affirmative answer to Problem 17.44(b) from "Kourovka notebook", namely we prove that in a $\mathcal{D}_π$-group an overgroup of a $π$-Hall subgroup is always a $\mathcal{D}_π$-group.
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. $G$ is said to be \emph{$σ$-soluble} if every chief factor $H/K$ of $G$ is a $σ_{i}$-group for some $i=i(H/K)$. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $σ$-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in σ$ and ${\cal H}$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $i \in I$ such that $σ_{i}\cap π(G)\ne \emptyset$. A subgroup $A$ of $G$ is said to be \emph{$σ$-permutable} or \emph{$σ$-quasin…
In this paper we show that if S is a simple classical group, a group G is contained in inner-diagonal automorphisms of S and contains S, and H is a solvable Hall subgroup of G, then there exists five conjugates of H, whose intersection is trivial.
P. Hall constructed a universal countable locally finite group U, determined up to isomorphism by two properties: every finite group C is a subgroup of U, and every embedding of C into U is conjugate in U. Every countable locally finite group is a subgroup of U. We prove that U is a subgroup of the abstract commensurator of a finite-rank nonabelian free group.
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. $G$ is said to be $σ$-soluble if every chief factor $H/K$ of $G$ is a $σ_{i}$-group for some $i=i(H/K)$. A set ${\cal H}$ of subgroups of $G$ is said to be a complete Hall $σ$-set of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in σ$ and ${\cal H}$ contains exactly one Hall $σ_{i}$-subgroup of $G$ for every $i \in I$ such that $σ_{i}\cap π(G)\ne \emptyset$. A subgroup $A$ of $G$ is said to be $σ$-permutable in $G$ if $G$ has a complete Hall $σ$-…
A finite group $G$ is said to satisfy $C_π$ for a set of primes $π$, if $G$ possesses exactly one class of conjugate $π$-Hall subgroups. In the paper we obtain a criterion for a finite group $G$ to satisfy $C_π$ in terms of a normal series of the group.
In this note we introduce the class of $\mathcal H$-groups (or Hall groups) related to the class of $\mathcal B$-groups defined by Ph. Hall in 1950's. Establishing some basic properties of Hall groups we use them to obtain results concerning embeddings of abelian groups. In particular, we give an explicit classification of all abelian groups that can occur as subgroups in finitely-generated metabelian groups. Hall groups allow to give a negative answer to the Baumslag's conjecture of 1990 on the cardinality of the set of isomorphism classes for abelian subgroups in finitely generated metabelia…
In this paper, we mainly investigate the converse of a well-known theorem proved by P. Hall, and present detailed characterizations under the various assumptions of the existence of some families of Hall subgroups. In particular, we prove that if $p\neq 3$ and a finite group $G$ has a Hall $\{p,q\}$-subgroup for every prime $q\neq p$, then $G$ is $p$-soluble.
Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$, $G$ a finite group and $σ(G) =\{σ_{i} |σ_{i}\cap π(G)\ne \emptyset \}$. A set ${\cal H}$ of subgroups of $G$ is said to be a \emph{complete Hall $σ$-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in σ$ and ${\cal H}$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in σ(G)$. A subgroup $H$ of $G$ is said to be: \emph{$σ$-semipermutable in $G$ with respect to ${\cal H}$} if $HH_{i}^{x}=H_{i}^{x}H$ for all $x\in G$ and all $H_i\in {\cal H}$ such th…
Let $σ=\{σ_{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 $σ$-set} of $G$ if every member $\ne 1$ of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$, for some $i\in I$, and $\cal H$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in σ(G)$. A subgroup $H$ of $G$ is said to be: \emph{$σ$-permutable} or \emph{$σ$-quasinormal} in $G$ if $G$ possesses a complete Hall $σ$-set set ${\cal H}$ such that $HA^{x}=A^{x}H$ for all $A\in {\cal H}$ and $x\in G$: \emph{$σ$-subnormal} in $G$ if there i…
In the present paper, the structure of a finite group $G$ having a nonnormal T.I. subgroup $H$ which is also a Hall $π$-subgroup is studied. As a generalization of a result due to Gow, we prove that $H$ is a Frobenius complement whenever $G$ is $π$-separable. This is achieved by obtaining the fact that Hall T.I. subgroups are conjugate in a finite group. We also prove two theorems about normal complements one of which generalizes a classical result of Frobenius.
The aim of this paper is to prove the following result: Let $π$ be a set of odd primes. If the group $G=AB$ is the product of two $π$-decomposable subgroups $A=A_π\times A_{π'}$ and $B=B_π\times B_{π'}$, then $G$ has a unique conjugacy class of Hall $π$-subgroups, and any $π$-subgroup is contained in a Hall $π$-subgroup (i.e. $G$ satisfies property $D_π$).
