8] A subgroup H of a group G is said to be an SS-quasinormal subgroup of G if there is a subgroup B such that G = HB and H permutes with every Sylow subgroup of B.
Suppose that every maximal subgroup of any Sylow subgroup of a group G is either E-supplemented or SS-quasinormal in G.
Next let C be a subgroup of order 2 that will remain fixed throughout the discussion, and let N(C) be its normalizer (= the unique Sylow subgroup
containing C); as noted in Section 1 the group N(C)/C acts by reflection on Fix (C, [Sigma]) [approximately equal to] [S.
More recently, many authors invest presented some conditions for a group to be p-nilpotent and supersolvable under the condition that some subgroups of Sylow subgroup are SCAP-subgroups (see [12, 13, 14]).
In this paper, we will try an attempt to unify the two concepts and establish the structure of groups under the assumption that all maximal subgroups or all minimal subgroups of a Sylow subgroup or are SCAP or S-supplemented subgroups.
Hall proved that a group G is soluble if and only if every Sylow subgroup
of G is complemented in G.
His topics include the Schur-Zassenhaus theorem: a bit of history and motivation, abelian and minimal normal subgroups, normal subgroups with abelian sylow subgroups
, and groups with specific classes of subgroups complemented.
k]) can be characterized only by the order of normalizer of its Sylow subgroups.
Comparing this type of characterization with characterization by orders of normalizers of Sylow subgroups, it seems that characterization by the number of Sylow subgroups is much stronger than characterization by orders of normalizers of Sylow subgroups.
This notion can be strengthen in various ways, for example one can say that a subgroup H is S-permutable (or S-quasinormal) in G, if H permutes with all Sylow subgroups of G (for all primes in the set [pi](G) of the prime divisors of [absolute value G]).
For instance, [1, 2] describe the structure of the groups in which the subnormal subgroups permute with all Sylow subgroups (called PST-groups).
Under this condition, all Sylow subgroups
of G are abelian and so G is an M-group by Theorem 6.