Let H be a subgroup of a finite group G and let SG1(H)be the set of all elements g of G such that H is subnormal in H, Hg. A result of Wielandt states that H is subnormal in G if and only if G = SG1(H). In this paper, we let A be a subgroup of G contained in SG1(H) and ask if this implies (and therefore is equivalent to) the subnormality of H in H, A. We show with an example that the answer is no, even for soluble groups with Sylow subgroups of nilpotency class at most 2. However, we prove that the two conditions are equivalent whenever A either is subnormal in G or has p-power index in G (for p any prime number).
展开▼