<p>We prove that the natural permutation representation of highly transitive finite groups cannot be realized as the full automorphism group of an idempotent, finite-dimensional evolution algebra acting on the set of lines spanned by its natural elements. Specifically, for any sufficiently large integer <i>n</i> and <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k \ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, there does not exist an idempotent evolution algebra <i>X</i> of dimension <i>n</i> such that <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {Aut}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Aut</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is isomorphic to a proper <i>k</i>-transitive subgroup of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>S</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>. Nevertheless, we show that for any finite group <i>G</i>, any permutation representation <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi :G \rightarrow S_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ξ</mi> <mo>:</mo> <mi>G</mi> <mo stretchy="false">→</mo> <msub> <mi>S</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, and any field <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation>, there exists an idempotent, finite-dimensional evolution <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation>-algebra <i>X</i> such that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {Aut}(X) \cong G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Aut</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo>≅</mo> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>, and the induced representation of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {Aut}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Aut</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> on the natural idempotents of <i>X</i> is equivalent to <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="9_2025_2924_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ξ</mi> </math></EquationSource> </InlineEquation>.</p>

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

Permutation Representations and Automorphisms of Evolution Algebras

  • Cristina Costoya,
  • Pedro Mayorga,
  • Antonio Viruel

摘要

We prove that the natural permutation representation of highly transitive finite groups cannot be realized as the full automorphism group of an idempotent, finite-dimensional evolution algebra acting on the set of lines spanned by its natural elements. Specifically, for any sufficiently large integer n and \(k \ge 4\) k 4 , there does not exist an idempotent evolution algebra X of dimension n such that \(\operatorname {Aut}(X)\) Aut ( X ) is isomorphic to a proper k-transitive subgroup of \(S_n\) S n . Nevertheless, we show that for any finite group G, any permutation representation \(\xi :G \rightarrow S_n\) ξ : G S n , and any field \(\mathbb {k}\) k , there exists an idempotent, finite-dimensional evolution \(\mathbb {k}\) k -algebra X such that \(\operatorname {Aut}(X) \cong G\) Aut ( X ) G , and the induced representation of \(\operatorname {Aut}(X)\) Aut ( X ) on the natural idempotents of X is equivalent to \(\xi \) ξ .