提出，然而他从未发表此证明的细节。第一个关于怪兽群唯一性的证明则由格里斯、麦尔法兰肯菲尔德(Meierfrankenfeld)和塞格夫(Segev)给出。
月光猜想.怪兽群是康威(Conway)和诺顿(Norton)所提出的怪兽月光理论的两个主要成份之一。此猜想与离散和非离散数学相关，并在1992年为理查‧伯切德斯(Richard Borcherds)所证明。在此设定下，怪兽群可由怪兽群模组的自同构群示现：亦即由一作用在怪兽李代数上，属广义Kac–Moody代数，且包含Grie