<p>Given a finite transitive group <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(G\le \operatorname {Sym}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>≤</mo> <mo>Sym</mo> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, the intersection density of <i>G</i> is defined as the ratio between the size of the largest subsets of <i>G</i> in which any two permutations agree on at least one element of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, and the order of a point stabilizer of <i>G</i>. In this paper, we completely determine the intersection densities of the permutation groups <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\operatorname {PSL}_2(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>PSL</mo> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <i>q</i> is a power of an odd prime <i>p</i>, acting transitively with point stabilizers conjugate to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {Z}_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>. Our proof uses an auxiliary graph, which is a <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\operatorname {PGL}_{2}(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>PGL</mo> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-vertex-transitive graph, in which a clique corresponds to an intersecting set of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\operatorname {PSL}_2(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>PSL</mo> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. For the transitive action of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\operatorname {PSL}_2(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>PSL</mo> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with point stabilizers conjugate to <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {Z}_r\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>r</mi> </msub> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(r\mid \frac{q-1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∣</mo> <mfrac> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is an odd prime, we show that the auxiliary graph is not regular, and we construct an intersecting set which is sometimes of maximum size.</p>

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

The intersection densities of transitive actions of \(\operatorname {PSL}_2(q)\) with cyclic point stabilizers

  • Angelot Behajaina,
  • Roghayeh Maleki,
  • Andriaherimanana Sarobidy Razafimahatratra

摘要

Given a finite transitive group \(G\le \operatorname {Sym}(\Omega )\) G Sym ( Ω ) , the intersection density of G is defined as the ratio between the size of the largest subsets of G in which any two permutations agree on at least one element of \(\Omega \) Ω , and the order of a point stabilizer of G. In this paper, we completely determine the intersection densities of the permutation groups \(\operatorname {PSL}_2(q)\) PSL 2 ( q ) , where q is a power of an odd prime p, acting transitively with point stabilizers conjugate to \(\mathbb {Z}_p\) Z p . Our proof uses an auxiliary graph, which is a \(\operatorname {PGL}_{2}(q)\) PGL 2 ( q ) -vertex-transitive graph, in which a clique corresponds to an intersecting set of \(\operatorname {PSL}_2(q)\) PSL 2 ( q ) . For the transitive action of \(\operatorname {PSL}_2(q)\) PSL 2 ( q ) with point stabilizers conjugate to \(\mathbb {Z}_r\) Z r , where \(r\mid \frac{q-1}{2}\) r q - 1 2 is an odd prime, we show that the auxiliary graph is not regular, and we construct an intersecting set which is sometimes of maximum size.