Automorphisms fixing every subnormal subgroup of a finite group (Q5906695)

If \(G\) is a group, the set of all automorphisms that fix every subnormal subgroup of \(G\) is a normal subgroup of the full automorphism group \(\text{Aut}(G)\) which will be denoted by \(\text{Aut}_{sn}(G)\). The main result is the following: Theorem 1. Let \(G\) be a finite group and write \(A = \text{Aut}_{sn}(G)\). Then \(A/A \cap \text{Inn}(G)\) is soluble with derived length at most 4; moreover the derived length is at most 3 if \(H'(G/S, Z(S)) = 0\) where \(S\) is the soluble radical of \(G\). Corollary 2. The group \(A\) is an extension of a \(T\)-group by a soluble group of length at most 4.