BIMONSTER

In mathematics, the Bimonster is a group that is the wreath product of the Monster group M with Z₂:

The Bimonster is also a quotient of the Coxeter group corresponding to the Coxeter-Dynkin diagram Y₅₅₅ (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.