1: \begin{abstract}

2: The Monster Lie algebra $\m$, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway--Norton Monstrous Moonshine conjecture.

3: Here we construct an analog~$G(\frak m)$ of a Lie group, or Kac--Moody group,

4: associated to~$\frak m$. 

5: The group~$G(\frak m)$ is given by generators and relations, analogous to the Tits construction of a Kac--Moody group. 

6: In the absence of local nilpotence of the adjoint representation  of $\frak m$, we introduce the notion of pro-summability of an infinite sum of operators. 

7: We use this to construct a complete pro-unipotent group $\Uhp$

8: of automorphisms of a completion $\widehat{\mathfrak{m}}=\frak n^-\ \oplus\ \frak h\ \oplus\ \widehat{\frak n}^+$ of~$\mathfrak{m}$,  where $\widehat{\frak n}^+$ is the formal product of the positive root spaces of $\frak m$. The elements of $\Uhp$  are pro-summable infinite  series with constant term 1. The group $\Uhp$ has a subgroup~$\Uhimp $, which is an analog of a complete unipotent group corresponding to the positive imaginary roots of $\frak m$.

9: We construct  analogs 

10:  $\Exp: \widehat{\mathfrak{n}}^+\to\Uhp$

11:  and  

12: ${\Ad} :\Uhp \to \Aut(\widehat{\frak{n}}^+)$ of the classical exponential map  and  adjoint representation.

13: Although the group $G(\mathfrak m)$ is not a group of automorphisms, it contains the analog of a unipotent subgroup~$U^+$, which conjecturally acts as automorphisms of~$\widehat{\mathfrak{m}}$. 

14:  We also construct groups of automorphisms of  $\mathfrak{m}$, of certain $\gl_2$ subalgebras of $\mathfrak{m}$, of the completion $\widehat{\mathfrak{m}}$ and of similar completions of $\frak m$ that are conjecturally identified with subgroups of~$G(\mathfrak m)$.

15: \end{abstract}

16: