Conjugacy functor whose normalizer generates whole group with p'-core controls fusion
Suppose is a finite group, is a prime number, and is a -conjugacy functor on whose normalizer, along with the p'-core, generates the whole group. Explicitly, this means that if is a -Sylow subgroup of :
Then, controls fusion in . In other words, any two subsets of that are conjugate in are also conjugate in .