On Sylow permutable subgroups of finite groups

A subgroup

Finite groups in which normality, permutability or Sylow permutability is transitive

Y. Li gave a characterization of the class of finite soluble groups in which every subnormal subgroup is normal by means of NE-subgroups: a subgroup H of a group G is called an NE-subgroup of G if NG(H) ∩ HG = H. We obtain a new characterization of these groups related to the local Wielandt subgroup. We also give characterizations of the classes of finite soluble groups in which every subnormal subgroup is permutable or Sylow permutable in terms of NE-subgroups.

ON GENERALISED PRONORMAL SUBGROUPS OF FINITE GROUPS

For a formation $\mathfrak F$, a subgroup M of a finite group G is said to be $\mathfrak F$-pronormal in G if for each g ∈ G, there exists x ∈ 〈U,Ug〉$\mathfrak F$ such that Ux = Ug. Let f be a subgroup embedding functor such that f(G) contains the set of normal subgroups of G and is contained in the set of Sylow-permutable subgroups of G for every finite group G. Given such an f, let fT denote the class of finite groups in which f(G) is the set of subnormal subgroups of G; this is the class of all finite groups G in which to be in f(G) is a transitive relation in G. A subgroup M of a finite group G is said to be $\mathfrak F$-normal in G if G/CoreG(M) belongs to $\mathfrak F$. A subgroup U of a finite group G is called K-$\mathfrak F$-subnormal in G if either U = G or there exist subgroups U = U0 ≤ U1 ≤ . . . ≤ Un = G such that Ui–1 is either normal or $\mathfrak F$-normal in Ui, for i = 1,2, …, n. We call a finite group G an $fT_{\mathfrak F}$-group if every K-$\mathfrak F$-subnormal subgroup of G is in f(G). In this paper, we analyse for certain formations $\mathfrak F$ the structure of $fT_{\mathfrak F}$-groups. We pay special attention to the $\mathfrak F$-pronormal subgroups in this analysis.

Algorithms for permutability in finite groups

In this paper we describe some algorithms to identify permutable and Sylow-permutable subgroups of finite groups, Dedekind and Iwasawa finite groups, and finite T-groups (groups in which normality is transitive), PT-groups (groups in which permutability is transitive), and PST-groups (groups in which Sylow permutability is transitive). These algorithms have been implemented in a package for the computer algebra system GAP.

Finite Groups Whose Cyclic Subnormal Subgroups Are Permutable

Finite groups in which each cyclic subnormal subgroup is Sylow-permutable, permutable or normal are investigated. Characterizations are found in both the soluble and insoluble cases.