<p>In this paper, we study the flag-transitive quasi-symmetric 2-<InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((v,k,\lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> designs. Let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> be a quasi-symmetric 2-design with intersection numbers <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(x=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2\le y\le 10\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>≤</mo> <mi>y</mi> <mo>≤</mo> <mn>10</mn> </mrow> </math></EquationSource> </InlineEquation>, which we assume throughout. We prove that if <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(G\le Aut({\mathcal {D}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>≤</mo> <mi>A</mi> <mi>u</mi> <mi>t</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">D</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is flag-transitive and point-imprimitive, then <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> has exactly two possible parameter arrays <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((b,v,r,k,\lambda ,c,d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>b</mi> <mo>,</mo> <mi>v</mi> <mo>,</mo> <mi>r</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>λ</mi> <mo>,</mo> <mi>c</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, which we explicitly determine. Furthermore, we show that <i>G</i> is point quasi-primitive if and only if it is point-primitive. Moreover, if <i>G</i> is flag-transitive and point-primitive on a 2-<InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((v,k,\lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> design <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathcal {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> with socle <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textrm{PSL}_2(q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>PSL</mtext> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((q \ge 4)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>≥</mo> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(r\mid f q (q-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∣</mo> <mi>f</mi> <mi>q</mi> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(p\mid r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∣</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(q\mid (y-1)r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∣</mo> <mo stretchy="false">(</mo> <mi>y</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(q = p^f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <msup> <mi>p</mi> <mi>f</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. In particular, if <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(gcd(r,\lambda )=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mi>c</mi> <mi>d</mi> <mo stretchy="false">(</mo> <mi>r</mi> <mo>,</mo> <mi>λ</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\({\mathcal {D}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> </InlineEquation> is the unique 2-(8,&#xa0;4,&#xa0;3) design up to isomorphism.</p>

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

On flag-transitive quasi-symmetric 2-designs

  • Wanbao Zhang,
  • Zhilin Zhang,
  • Shenglin Zhou

摘要

In this paper, we study the flag-transitive quasi-symmetric 2- \((v,k,\lambda )\) ( v , k , λ ) designs. Let \({\mathcal {D}}\) D be a quasi-symmetric 2-design with intersection numbers \(x=0\) x = 0 and \(2\le y\le 10\) 2 y 10 , which we assume throughout. We prove that if \(G\le Aut({\mathcal {D}})\) G A u t ( D ) is flag-transitive and point-imprimitive, then \({\mathcal {D}}\) D has exactly two possible parameter arrays \((b,v,r,k,\lambda ,c,d)\) ( b , v , r , k , λ , c , d ) , which we explicitly determine. Furthermore, we show that G is point quasi-primitive if and only if it is point-primitive. Moreover, if G is flag-transitive and point-primitive on a 2- \((v,k,\lambda )\) ( v , k , λ ) design \({\mathcal {D}}\) D with socle \(\textrm{PSL}_2(q)\) PSL 2 ( q ) \((q \ge 4)\) ( q 4 ) , then \(r\mid f q (q-1)\) r f q ( q - 1 ) , \(p\mid r\) p r , and \(q\mid (y-1)r\) q ( y - 1 ) r , where \(q = p^f\) q = p f . In particular, if \(gcd(r,\lambda )=1\) g c d ( r , λ ) = 1 , then \({\mathcal {D}}\) D is the unique 2-(8, 4, 3) design up to isomorphism.