<p>A subspace <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>t</mi> </math></EquationSource> <EquationSource Format="TEX">$t$</EquationSource> </InlineEquation>-design with parameters <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mi>t</mi> </math></EquationSource> <EquationSource Format="TEX">$t$</EquationSource> </InlineEquation>-<InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <msub> <mi>λ</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>q</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$(v,k,\lambda _{t})_{q}$</EquationSource> </InlineEquation> is a pair <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi mathvariant="script">V</mi> <mo>,</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{D}=(\mathcal{V}, \mathcal{B})$</EquationSource> </InlineEquation> where <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{V}$</EquationSource> </InlineEquation> is the <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <mi>v</mi> </math></EquationSource> <EquationSource Format="TEX">$v$</EquationSource> </InlineEquation>-dimensional vector space over the field <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$\mathbb{F}_{q}$</EquationSource> </InlineEquation>, and ℬ is a collection of <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> <EquationSource Format="TEX">$k$</EquationSource> </InlineEquation>-dimensional subspaces of <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{V}$</EquationSource> </InlineEquation> such that every <InlineEquation ID="IEq10"> <EquationSource Format="MATHML"><math> <mi>t</mi> </math></EquationSource> <EquationSource Format="TEX">$t$</EquationSource> </InlineEquation>-dimensional subspace of <InlineEquation ID="IEq11"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{V}$</EquationSource> </InlineEquation> is contained in precisely <InlineEquation ID="IEq12"> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mi>t</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$\lambda _{t}$</EquationSource> </InlineEquation> members of ℬ. In this paper, we give new general necessary conditions for the existence of a subspace 3-design <InlineEquation ID="IEq13"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{D}$</EquationSource> </InlineEquation> with a prescribed automorphism group <InlineEquation ID="IEq14"> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation>. These necessary conditions are based on a tactical decomposition of <InlineEquation ID="IEq15"> <EquationSource Format="MATHML"><math> <mi mathvariant="script">D</mi> </math></EquationSource> <EquationSource Format="TEX">$\mathcal{D}$</EquationSource> </InlineEquation> induced by the action of <InlineEquation ID="IEq16"> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> <EquationSource Format="TEX">$G$</EquationSource> </InlineEquation> and are given by means of a system of equations involving the coefficients of the tactical decomposition matrices.</p>

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

Necessary Conditions for the Existence of Subspace 3-Designs with Nontrivial Automorphism Groups

  • Maarten De Boeck,
  • Anamari Nakić

摘要

A subspace t $t$ -design with parameters t $t$ - ( v , k , λ t ) q $(v,k,\lambda _{t})_{q}$ is a pair D = ( V , B ) $\mathcal{D}=(\mathcal{V}, \mathcal{B})$ where V $\mathcal{V}$ is the v $v$ -dimensional vector space over the field F q $\mathbb{F}_{q}$ , and ℬ is a collection of k $k$ -dimensional subspaces of V $\mathcal{V}$ such that every t $t$ -dimensional subspace of V $\mathcal{V}$ is contained in precisely λ t $\lambda _{t}$ members of ℬ. In this paper, we give new general necessary conditions for the existence of a subspace 3-design D $\mathcal{D}$ with a prescribed automorphism group G $G$ . These necessary conditions are based on a tactical decomposition of D $\mathcal{D}$ induced by the action of G $G$ and are given by means of a system of equations involving the coefficients of the tactical decomposition matrices.