1: \begin{abstract}
2: In this article we give %#% self contained
3: self-contained existence proofs for the
4: sporadic simple groups $\Co_2$ and $\Fi_{22}$ using the second
5: author's algorithm \cite{michler1} constructing finite simple
6: groups from irreducible subgroups of $\GL_n(2)$. These %#% $2$
7: two sporadic groups were originally discovered by J.~Conway
8: \cite{conway1} and %#% B.~Fischer~\cite{fischer}
9: B.~Fischer~\cite{fischer}, respectively, by means of
10: completely different and unrelated methods. In this article $n =
11: 10$ and the irreducible subgroups are the Mathieu group $\M_{22}$
12: and its automorphism group %#% $Aut(\M_{22})$.
13: ${\rm Aut}(\M_{22})$. We construct their
14: %#% $5$ non isomorphic
15: five non-isomorphic extensions $E_i$ by the two $10$-dimensional
16: %#% non isomorphic
17: non-isomorphic simple modules of $\M_{22}$ and by the two
18: $10$-dimensional simple modules of $A_{22} = %#% Aut(\M_{22})$
19: {\rm Aut}(\M_{22})$ over $F = %#% GF(2)$.
20: {\rm GF}(2)$. In %#% $2$
21: two cases we construct the centralizer $H_i =
22: C_{G_i}(z_i)$ of a $2$-central involution $z_i$ of $E_i$ in any
23: target simple group $\mathfrak G_i$. Then we prove that all the
24: conditions of Algorithm 7.4.8 of \cite{michler} are satisfied.
25: This allows us to construct $\mathfrak G_3 \cong \Co_2$ inside
26: $\GL_{23}(13)$ and $\mathfrak G_2 \cong \Fi_{22}$ inside
27: $\GL_{78}(13)$. We also calculate their character tables and
28: presentations.
29: \end{abstract}
30: