As it is a generalized Kac–Moody algebra whose simple roots…
As it is a generalized Kac–Moody algebra whose simple roots are known, it can be defined by explicit generators and relations; however, this presentation does not give an action of the monster group on it.