Abstract <p> The set of orders of the elements of a finite group <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is called the spectrum of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation>. A group <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation> is said to be unrecognizable by spectrum if there are infinitely many pairwise nonisomorphic finite groups that have the same spectrum as <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(G\)</EquationSource> </InlineEquation>. There is a conjecture that every finite simple classical group unrecognizable by spectrum is contained in the following list: <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSL_3(3)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSU_3(q)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSU_5(2)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSp_4(q)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSp_8(q)\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(P\Omega_9(q)\)</EquationSource> </InlineEquation>. The only groups in this list that were not known to be unrecognizable by spectrum are <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSp_8(7^m)\)</EquationSource> </InlineEquation>. In the present paper, it is shown that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11006_2025_3056_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(PSp_8(7^m)\)</EquationSource> </InlineEquation> are not unrecognizable and, moreover, any of these groups is uniquely (up to isomorphism) determined by its spectrum in the class of all finite groups. </p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Recognizability of the Groups \(PSp_8(7^m)\) by the Set of Element Orders

  • M. A. Grechkoseeva

摘要

Abstract

The set of orders of the elements of a finite group \(G\) is called the spectrum of \(G\) . A group \(G\) is said to be unrecognizable by spectrum if there are infinitely many pairwise nonisomorphic finite groups that have the same spectrum as \(G\) . There is a conjecture that every finite simple classical group unrecognizable by spectrum is contained in the following list: \(PSL_3(3)\) , \(PSU_3(q)\) , \(PSU_5(2)\) , \(PSp_4(q)\) , \(PSp_8(q)\) , and \(P\Omega_9(q)\) . The only groups in this list that were not known to be unrecognizable by spectrum are \(PSp_8(7^m)\) . In the present paper, it is shown that \(PSp_8(7^m)\) are not unrecognizable and, moreover, any of these groups is uniquely (up to isomorphism) determined by its spectrum in the class of all finite groups.