Finite Groups with a Soluble Group of Coprime Automorphisms Whose Fixed Points Have Bounded Engel Sinks

Suppose that a finite group G admits a soluble group of coprime automorphisms A. We prove that if, for some positive integer m, every element of the centralizer CG(A) has a left Engel sink of cardinality at most m (or a right Engel sink of cardinality at most m), then G has a subgroup of (|A|,m)-bounded index which has Fitting height at most 2 alpha(A) + 2, where alpha(A) is the composition length of A. We also prove that if, for some positive integer r, every element of the centralizer CG(A) has a left Engel sink of rank at most r (or a right Engel sink of rank at most r), then G has a subgroup of (|A|, r)-bounded index which has Fitting height at most 4 alpha(A) + 4 alpha(A) + 3. Here, a left Engel sink of an element g of a group G is a set S(g) such that for every x is an element of G all sufficiently long commutators [...[[x, g], g], . . . , g] belong to E (g). (Thus, g is a left Engel element precisely when we can choose (g) = {1}.) A right Engel sink of an element g of a group G is a set R(g) such that for every x is an element of G all sufficiently long commutators [...[[g, x], x], . . . , x] belong to R(g). Thus, g is a right Engel element precisely when we can choose R(g) = {1}.