50aada6f2dab36b0.tex
1: \begin{definition} \label{def D_L}
2: For a $\fp$-perfect subgroup $L \leq G$, let $D_L \subseteq \Set^G$ be the wide subgraph consisting of all
3: the maps of finite $G$-sets $f \colon X \to Y$ such that the orbit $G_{f(x)}/G_x$ obtained from stabilizer
4: subgroups satisfies the conditions of Theorem~\ref{local Thm A} for all points $x \in X$.
5: \end{definition}
6: