Finite groups having a standard component \(L\) of type \(\widehat M_{12}\) or \(\widehat M_{22}\). (Q2474473)

The authors prove the following theorem: if \(G\) is a finite group with \(O(G)=1\) having a standard subgroup \(L\) with \(L/Z(L)\cong M_{12}\) or \(M_{22}\) and with \(|Z(L)|\) even, then \(L\) is normal in \(G\). Thus the standard subgroup problems for \(2M_{12}\), \(2M_{22}\) and \(4M_{22}\) are solved. The solutions of these problems were originally announced between 1974 and 1980, but their proofs remained incorrect or unpublished.