<p>Let <i>q</i> be an odd prime, and let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_n(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote one of the finite classical groups—namely, the general linear, unitary, symplectic, or orthogonal group—of rank <i>n</i> over the field <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{GF}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>GF</mtext> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <i>q</i> elements. Given an integer <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(M \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, an element <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(g \in G_n(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msub> <mi>G</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is said to be a root of identity if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(g^M = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>g</mi> <mi>M</mi> </msup> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In this article, we derive generating functions for the probability that a randomly chosen element of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_n(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is an <i>M</i>-th root of identity. Our results depend on the specific types of irreducible factors that appear in the factorization of the polynomial <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq7.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\( x^M-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>x</mi> <mi>M</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10958_2025_8031_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{GF}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>GF</mtext> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

ROOTS OF IDENTITY IN FINITE CLASSICAL GROUPS

  • Saikat Panja

摘要

Let q be an odd prime, and let \(G_n(q)\) G n ( q ) denote one of the finite classical groups—namely, the general linear, unitary, symplectic, or orthogonal group—of rank n over the field \(\textrm{GF}(q)\) GF ( q ) with q elements. Given an integer \(M \ge 2\) M 2 , an element \(g \in G_n(q)\) g G n ( q ) is said to be a root of identity if \(g^M = 1\) g M = 1 . In this article, we derive generating functions for the probability that a randomly chosen element of \(G_n(q)\) G n ( q ) is an M-th root of identity. Our results depend on the specific types of irreducible factors that appear in the factorization of the polynomial \( x^M-1\) x M - 1 over \(\textrm{GF}(q)\) GF ( q ) .