On subgroups of the Monster containing \(A_5\)'s. (Q926832): Difference between revisions

Let \(G\) be a finite group. Any maximal subgroup \(N\) of \(G\) is equal to the normalizer of a characteristically simple subgroup \(A\) of \(G\). But \(A\) is the direct product of copies of the cyclic group of order \(p\) where \(p\) is a prime number, or a direct product of isomorphic simple groups \(S\). In the first case \(N\) is called a local maximal subgroup of \(G\) and in the second case it is called a non-local subgroup of \(G\). The largest sporadic simple group is called the Monster or the Fischer-Griess Friendly Giant which is denoted by \(M\). Finding maximal subgroups of \(M\) is still a challenging problem. As a matter of fact all the maximal local subgroups of \(M\) are known, and to complete the set of all the maximal subgroups of \(M\) one has to find the simple subgroups of \(M\). In the paper under review the authors prove that the group \(L(2,71)\) is a subgroup of \(M\). They also prove that the groups \(L(2,19):2\) and \(L(2,71)\) are maximal subgroups of \(M\) which are new.