# Bimonster

In

mathematics, the

**Bimonster** is a

group that is the

wreath product of the

Monster group *M* with

**Z**_{2}:

The Bimonster is also a quotient of the

Coxeter group corresponding to the Coxeter-Dynkin diagram

*Y*_{555} (a Y-shaped

graph with 16 nodes); this conjecture was made by

John H. Conway, but remained unproven until

1990, when proof was given by Ivanov and Simon P. Norton.