1: \begin{abstract}

2: Let  $\mathbb{M}$ be the  monster group which is the largest 

3: sporadic finite simple  group, and  has first been constructed in 1982 by

4: Griess. In 1985, Conway has constructed a  196884-dimensional 

5: representation $\rho$ of $\mathbb{M}$ with matrix coefficients in 

6: $\mathbb{Z}[\frac{1}{2}]$.

7: So these matrices may be reduced modulo any (not necessarily prime) odd

8: number $p$, leading to representations of $\mathbb{M}$ in odd characteristic.

9: The representation $\rho$  is based on representations of two maximal 

10: subgroups $G_{x0}$ and $N_0$ of $\mathbb{M}$. In ATLAS notation, $G_{x0}$ 

11: has structure $2_+^{1+24}.\mbox{Co}_1$ and $N_0$ has structure 

12: $2^{2+11+22}.( M_{24} \times S_3)$. Conway has 

13: constructed an explicit set of generators of $N_0$, but not of $G_{x0}$.

14: 

15: This paper is essentially a rewrite of Conway's construction augmented

16: by an explicit construction of an element of $G_{x0} \setminus N_0$.

17: This gives us a complete set of generators of $\mathbb{M}$.

18: It turns out that the matrices of all generators of $\mathbb{M}$ 

19: consist of monomial blocks, and of blocks which are essentially

20: Hadamard matrices scaled by a negative power of two. Multiplication

21: with such a generator can be programmed very efficiently if the

22: modulus $p$ is of shape $2^k-1$. 

23: 

24: So this paper may be considered a as programmer's reference for 

25: Conway's construction of the monster group $\mathbb{M}$.

26: We have implemented representations

27: of $\mathbb{M}$ modulo 3, 7, 15, 31, 127, and 255.

28:   \end{abstract}