Recognition of the projective special linear group over \(\text{GF}(3)\). (Q2269608): Difference between revisions

Let \(G\) be a finite group and denote by \(\omega(G)\) the set of its element orders. \(G\) is called \(k\)-recognizable if up to isomorphism there are \(k\) groups \(H\) with the property \(\omega(G)=\omega(H)\). In this paper the author proves that the group \(\text{PSL}_p(3)=L_p(3)\), where \(p>3\) is a prime number, is at most \(2\)-recognizable. More precisely, he proves that if \(G\) is a finite group with \(\omega(G)=\omega(L_p(3))\), \(p>3\) is a prime number, then either \(G\simeq L_p(3)\) or \(G\simeq L_p(3):2\), where \(2\) denotes a group of order 2 generated by a graph automorphism of \(L_p(3)\). -- The main tools for the proof of this result are a theorem of Gruenberg-Kegel which lists the possibilities for the structure of \(G\) if the prime graph of \(G\) is disconnected and an argument which relies on the classification of simple groups together with some results of number theory.