Recognition of the projective special linear group over GF(3).

From MaRDI portal
Publication:2269608





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.











This page was built for publication: Recognition of the projective special linear group over \(\text{GF}(3)\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2269608)