A new maximal subgroup of the Monster (Q1614662)

The article answers a longstanding open question about the existence of maximal subgroups of shape \(L_2(29):2\) in the Monster sporadic simple group \(M\). Using their computer construction of \(M\), the authors can prove that \(M\) contains exactly one conjugacy class of subgroups isomorphic to \(L_2(29)\) and that each of those groups is contained in a maximal subgroup \(L_2(29):2\). The article gives a detailed description of their strategy of computation.