<p>Finite quasiprimitive permutation groups of twisted wreath type are the finite permutation groups with a unique minimal normal subgroup which is non-abelian, non-simple and acts regularly. If <i>T</i> is a non-abelian simple group and <i>P</i> is a group that conveys transitive action on the set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{k}=\{1,2,\ldots ,k\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">k</mi> <mo>=</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>k</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\geqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>⩾</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, then every permutation group in this classification can be considered permutation isomorphic to <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=T^k{:}P\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <msup> <mi>T</mi> <mi>k</mi> </msup> <mo>:</mo> <mi>P</mi> </mrow> </math></EquationSource> </InlineEquation>, a twisted wreath product acting on its base group <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega =T^k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>=</mo> <msup> <mi>T</mi> <mi>k</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. We prove that if&#xa0;<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="182" /> </InlineMediaObject> <EquationSource Format="TEX">\(T\cong \textrm{A}_n,P\cong M^l{:}N\leqslant \textrm{S}_k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>≅</mo> <msub> <mtext>A</mtext> <mi>n</mi> </msub> <mo>,</mo> <mi>P</mi> <mo>≅</mo> <msup> <mi>M</mi> <mi>l</mi> </msup> <mo>:</mo> <mi>N</mi> <mo>⩽</mo> <msub> <mtext>S</mtext> <mi>k</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(M=\textrm{A}_s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <msub> <mtext>A</mtext> <mi>s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> or classical group with dimensions less than or equal to <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(n-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="93" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\leqslant \{8,s,\ell \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩽</mo> <mo stretchy="false">{</mo> <mn>8</mn> <mo>,</mo> <mi>s</mi> <mo>,</mo> <mi>ℓ</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, then the base size of <i>G</i> is 2. Additionally, we demonstrate three possible values of the base size when <i>P</i> is semiprimitive on <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textbf{k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">k</mi> </math></EquationSource> </InlineEquation> and <i>G</i> is quasiprimitive on <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_437_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>.</p>

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

Bases of twisted wreath products

  • Xiaomeng Shi,
  • Yin Liu,
  • Guiyun Chen,
  • Yanxiong Yan

摘要

Finite quasiprimitive permutation groups of twisted wreath type are the finite permutation groups with a unique minimal normal subgroup which is non-abelian, non-simple and acts regularly. If T is a non-abelian simple group and P is a group that conveys transitive action on the set \(\textbf{k}=\{1,2,\ldots ,k\}\) k = { 1 , 2 , , k } with \(k\geqslant 2\) k 2 , then every permutation group in this classification can be considered permutation isomorphic to \(G=T^k{:}P\) G = T k : P , a twisted wreath product acting on its base group \(\Omega =T^k\) Ω = T k . We prove that if  \(T\cong \textrm{A}_n,P\cong M^l{:}N\leqslant \textrm{S}_k\) T A n , P M l : N S k with \(M=\textrm{A}_s\) M = A s or classical group with dimensions less than or equal to \(n-2\) n - 2 , \(n\leqslant \{8,s,\ell \}\) n { 8 , s , } , then the base size of G is 2. Additionally, we demonstrate three possible values of the base size when P is semiprimitive on \(\textbf{k}\) k and G is quasiprimitive on \(\Omega \) Ω .