<p>In this paper, we investigate Cartan subalgebras in the general linear algebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {gl}_{n}(\mathbb {K})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">gl</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and the special linear algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {sl}_{n}(\mathbb {K})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">sl</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> over an arbitrary field <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> of positive characteristic <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> </InlineEquation>. Specifically, when <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> is the finite field <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>q</mi> </math></EquationSource> </InlineEquation> elements, we classify the conjugacy classes of Cartan subalgebras of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {gl}_{n}(\mathbb {F}_{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">gl</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> under the conjugation action of the general linear group <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{GL}_{n}(\mathbb {F}_{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, relying solely on algebraic and combinatorial arguments. Using this elementary approach, we show that the total number of Cartan subalgebras of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {gl}_{n}(\mathbb {F}_{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">gl</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(q^{n(n-1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>q</mi> <mrow> <mi>n</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>. Moreover, this result extends to the total number of Cartan subalgebras of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {sl}_{n}(\mathbb {F}_{q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">sl</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, except in the case when <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1446_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(p = n = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Elementary enumeration of Cartan subalgebras over finite fields

  • Kyoung-Tark Kim

摘要

In this paper, we investigate Cartan subalgebras in the general linear algebra \(\mathfrak {gl}_{n}(\mathbb {K})\) gl n ( K ) and the special linear algebra \(\mathfrak {sl}_{n}(\mathbb {K})\) sl n ( K ) over an arbitrary field \(\mathbb {K}\) K of positive characteristic \(p\) p . Specifically, when \(\mathbb {K}\) K is the finite field \(\mathbb {F}_{q}\) F q with \(q\) q elements, we classify the conjugacy classes of Cartan subalgebras of \(\mathfrak {gl}_{n}(\mathbb {F}_{q})\) gl n ( F q ) under the conjugation action of the general linear group \(\textrm{GL}_{n}(\mathbb {F}_{q})\) GL n ( F q ) , relying solely on algebraic and combinatorial arguments. Using this elementary approach, we show that the total number of Cartan subalgebras of \(\mathfrak {gl}_{n}(\mathbb {F}_{q})\) gl n ( F q ) is \(q^{n(n-1)}\) q n ( n - 1 ) . Moreover, this result extends to the total number of Cartan subalgebras of \(\mathfrak {sl}_{n}(\mathbb {F}_{q})\) sl n ( F q ) , except in the case when \(p = n = 2\) p = n = 2 .