Let G be a finite group. A subgroup A of G is said to be S-permutable in G if A permutes with every Sylow subgroup P of G, that is, $AP=PA$. Let $A_{sG}$ be the subgroup of A generated by all S-permutable subgroups of G contained in A and $A^{sG}$ be the intersection of all S-permutable subgroups of G containing A. We prove that if G is a soluble group, then S-permutability is a transitive relation in G if and only if the nilpotent residual $G^{\mathfrak {N}}$ of G avoids the pair $(A^{s G}, A_{sG})$, that is, $G^{\mathfrak {N}}\cap A^{sG}= G^{\mathfrak {N}}\cap A_{sG}$ for every subnormal subgroup A of G.

Let D be a division ring and N be a subnormal subgroup of the multiplicative group $D^*$. We show that if N contains a nonabelian solvable subgroup, then N contains a nonabelian free subgroup.

If P is a closed 3-manifold the covering space associated to a finitely presentable subgroup ν of infinite index in π1(P) is finitely dominated if and only if P is aspherical or . There is a corresponding result in dimension 4, under further hypotheses on π and ν. In particular, if M is a closed 4-manifold, ν is an ascendant, FP3, finitely-ended subgroup of infinite index in π1(M), π is virtually torsion free and the associated covering space is finitely dominated then either M is aspherical or or S3. In the aspherical case such an ascendant subgroup is usually Z, a surface group or a PD3-group.