<p>A base for a permutation group <i>G</i> acting on a set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq1.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> is a sequence <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">B</mi> </math></EquationSource> </InlineEquation> of points of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq3.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> such that the pointwise stabiliser <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(G_{{\mathcal {B}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi mathvariant="script">B</mi> </msub> </math></EquationSource> </InlineEquation> is trivial. The base size of <i>G</i> is the size of a smallest base for <i>G</i>. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for <i>G</i> of size <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(l\in {\mathbb {N}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>l</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga for the base size of the symmetric group <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{S}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>S</mtext> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> acting on the <i>k</i>-element subsets of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2120_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{1,2,3,\ldots ,n\}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Our methods also provide a formula for the base size of many product type permutation groups.</p>

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

A character theoretic formula for the base size

  • Coen del Valle

摘要

A base for a permutation group G acting on a set \(\Omega \) Ω is a sequence \({\mathcal {B}}\) B of points of \(\Omega \) Ω such that the pointwise stabiliser \(G_{{\mathcal {B}}}\) G B is trivial. The base size of G is the size of a smallest base for G. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for G of size \(l\in {\mathbb {N}}.\) l N . As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga for the base size of the symmetric group \(\textrm{S}_n\) S n acting on the k-element subsets of \(\{1,2,3,\ldots ,n\}.\) { 1 , 2 , 3 , , n } . Our methods also provide a formula for the base size of many product type permutation groups.