1: \begin{definition}[External semidirect product of localities]\label{D:ExtProdLoc}

2: Suppose a locality $(\X, \Delta_\X, S_\X)$ acts on a locality $(\N, \Gamma,T)$ via some homomorphism $\phi\colon \X\rightarrow \Aut(\N)$. Set $\L = \X \ltimes_\varphi \N$ and $S = (S_\X, T)$ (and note that $S$ is a $p$-subgroup of $\L$ by Theorem~\ref{external.internal.par} and Lemma~\ref{L:SylowProduct}). For $P\leq S$ set 

3: \[P_\X^\phi:=\{s\in \C_{S_\X}^\phi(\N)\colon \exists t\in T\mbox{ such that }(s,t)\in P\}\] 

4: and 

5: \[P_\N^\phi:=\{t\in T\colon \exists s\in \C_{S_\X}^\phi(\N)\mbox{ such that }(s,t)\in P\}.\]

6: Define moreover

7: \[\Delta_\phi:=\{P\leq S\colon \exists\; Q \in \Delta_\X\;\exists R \in \Gamma\mbox{ such that }(Q,R)\leq P\}\]

8: and

9: \[\Delta^+_\phi:=\{P\leq S\colon P_\X^\phi\in\Delta_\X\mbox{ and }P_\N^\phi\in\Gamma\}.\]

10: Then 

11: \begin{itemize}

12: \item the \emph{sparse external semidirect product} of $(\X,\Delta_\X,S_\X)$ with $(\N,\Gamma,T)$ (via $\phi$) is the triple $(\L,\Delta_\phi,S)$;

13: \item the \emph{ample external semidirect product} of $(\X,\Delta_\X,S_\X)$ with $(\N,\Gamma,T)$ (via $\phi$) is the triple $(\L,\Delta^+_\phi,S)$.

14: \end{itemize}

15: More generally, \emph{external semidirect product} of $(\X,\Delta_\X,S_\X)$ with $(\N,\Gamma,T)$ (via $\phi$) is a triple $(\L,\Delta^*,S)$, where $\Delta_\phi\subseteq\Delta^*\subseteq\Delta^+_\phi$ and $\Delta^*$ is closed under taking $\L$-conjugates and overgroups in $S$. 

16: \end{definition}