Sylow intersections and control of fusion (Q6101258)

In a finite group \(G\), with subgroups \(K \le H \le G\), we say that \(H\) controls strong \(G\)-fusion in \(K\) if and only if the following holds: For all subsets \(X \subseteq H\) and all \(g \in G\) such that \(X^g \subseteq K\), there is some \(c \in C_G(X)\) and some \(h \in H\) such that \(g=ch\). This article investigates criteria for a subgroup of \(G\) to control strong \(G\)-fusion in a Sylow \(p\)-subgroup of \(G\), where \(p\) is a prime. Hence, let \(G\) be a finite group, let \(p\) be a prime and let \(P\) be a Sylow \(p\)-subgroup of \(G\). For each subgroup \(H\) of \(G\), we use the notation \(\Aut_G(H)\) for the automizer of \(H\) in \(G\), which is the subgroup of \(\Aut(H)\) of elements induced by inner automorphisms of \(N_G(H)\). Here are two of the main results of the article, and we recall that \(P\) is a Sylow \(p\)-subgroup of \(G\). \begin{itemize} \item[1.] Suppose that \(N_G(P) \le T \le G\) and that, for all \(g \in G \setminus T\), it is true that \(\Aut_G(P \cap P^g)\) is a \(p\)-group. Then \(T\) controls strong \(G\)-fusion in \(P\). \item[2.] If \(\Aut_G(P \cap P^g)\) is a \(p\)-group for all \(g \in G\), then \(G\) is \(p\)-nilpotent. \end{itemize} The authors also give an alternative proof for a result by \textit{I. M. Isaacs} and \textit{M. Y. Kızmaz} [Arch. Math. 113, No. 6, 561--563 (2019; Zbl 1515.20099)]: If \(P\) is not cyclic and if \(P \le H \le G\) is such that, for all \(g \in G \setminus N_G(H)\), the Sylow \(p\)-subgroups of \(H \cap H^g\) are cyclic, then \(N_G(H)\) controls strong \(G\)-fusion in \(P\).