1: \begin{abstract}

2: For $G$ and $H_1,\dots, H_n$ finite groups, does there exist a $3$-manifold

3: group with $G$ as a quotient but no $H_i$ as a quotient?  

4: We answer all such questions in terms of the group cohomology of  finite groups.

5: We prove non-existence with topological results generalizing the theory of semicharacteristics.  

6: To prove existence of

7: 3-manifolds with certain finite quotients but not others, we use a

8: probabilistic method, by first proving a formula for the distribution

9: of the (profinite completion of) the fundamental group of a random

10: 3-manifold in the Dunfield-Thurston model of random Heegaard splittings

11: as the genus goes to infinity.   We believe this is the first construction of a new distribution of random groups from its moments.

12: \end{abstract}

13: