1: \begin{abstract}

2: Let $S$ be a surface and let $\Mod(S,K)$ be the mapping class group of $S$ 

3: permuting a Cantor subset $K \subset S$. We prove two structure theorems

4: for normal subgroups of $\Mod(S,K)$.

5: 

6: (Purity:) if $S$ has finite type, every normal subgroup of $\Mod(S,K)$ either 

7: contains the kernel of the forgetful map to the mapping class group of $S$, or it is `pure' 

8: --- i.e.\/ it fixes the Cantor set pointwise. 

9: 

10: (Inertia:) for any $n$ element subset $Q$ of the Cantor set, there is a forgetful map 

11: from the pure subgroup $\PMod(S,K)$ of $\Mod(S,K)$ to the mapping class group of 

12: $S,Q$ fixing $Q$ pointwise.

13: If $N$ is a normal subgroup of $\Mod(S,K)$ contained in $\PMod(S,K)$, its image $N_Q$ is likewise

14: normal. We characterize exactly which finite-type normal subgroups $N_Q$ arise this way.

15: 

16: Several applications and numerous examples are also given.

17: \end{abstract}

18: