[論文レビュー] Minimal blocking sets in PG(n,2) and covering groups by subgroups

Aliréza Abdollahi, Mohammad Javad Ataei+1 more|ArXiv.org|Aug 16, 2007

Finite Group Theory Research参考文献 5被引用数 8

ひとこと要約

この論文は、2つの元の体上の射影幾何における最小ブロッキング集合の完全な特徴付けを確立し、$PG(n,2)$におけるこのような集合が、$d$ が奇数で、$d+2$ 個の点から成り、かつ $d+1$ 個の点が同一の超平面にのらない $d$ 次元部分空間に含まれる集合であることを証明する。主な応用として、有限2群が $ olinebreak cap{C}_{n+1}$-カバー（$n+1$ 個の極大部分群による冗長でない、最大で、核のないカバー）をもつための必要十分条件として、$n$ が偶数であり、かつ群が位数 $2^n$ の初等アーベル群であることを示している。これは、$PG(n,2)$における極端なブロッキング集合と群論的カバー性質を結びつける。

ABSTRACT

In this paper we prove that a set of points $B$ of PG(n,2) is a minimal blocking set if and only if $<b>=PG(d,2)$ with $d$ odd and $B$ is a set of $d+2$ points of $PG(d,2)$ no $d+1$ of them in the same hyperplane. As a corollary to the latter result we show that if $G$ is a finite 2-group and $n$ is a positive integer, then $G$ admits a $\mathfrak{C}_{n+1}$-cover if and only if $n$ is even and $G\cong (C_2)^{n}$, where by a $\mathfrak{C}_m$-cover for a group $H$ we mean a set $\mathcal{C}$ of size $m$ of maximal subgroups of $H$ whose set-theoretic union is the whole $H$ and no proper subset of $\mathcal{C}$ has the latter property and the intersection of the maximal subgroups is core-free. Also for all $n&lt;10$ we find all pairs $(m,p)$ ($m&gt;0$ an integer and $p$ a prime number) for which there is a blocking set $B$ of size $n$ in $PG(m,p)$ such that $<b>=PG(m,p)$.</b></b>

研究の動機と目的

• $\mathbb{F}_2$ 上の有限射影空間 $PG(n,2)$ におけるすべての最小ブロッキング集合を、その幾何的および組合せ的構造を特定することで特徴付けること。
• $PG(d,2)$ における最小ブロッキング集合と有限2群の $\mathfrak{C}_{n+1}$-カバーとの間の対応関係を確立すること。
• $n=7,8,9$ に対して、$\mathfrak{C}_n$-カバーをもつすべての初等アーベル $p$-群を、$PG(m,p)$ におけるブロッキング集合の結果を用いて特定すること。
• 問題4.11を解決し、$PG(m,p)$ にサイズ $n<10$ のブロッキング集合が存在するようなすべてのペア $(m,p)$ を、$d(B)=m$（つまり空間全体を張る）条件下で分類すること。
• 様々な幾何的および群論的技術を用いて、$n<10$ のすべてのこのようなペア $(m,p)$ を完全に列挙し、GAP などの計算ツールへの依存を減らすこと。

提案手法

• 論文は、$\mathbb{F}_2$ 上の射影幾何を用いて最小ブロッキング集合の構造を分析し、集合の張る次元 $d$ と、$d+1$ 個の点が同一の超平面にのらないという条件に注目する。
• 有限群の最大で冗長でない核のないカバーの理論を適用し、特に $p$-群に対して、包含除法の原理と部分群の指数制約を用いる。
• $\mathfrak{C}_n$-カバーが存在する $p$-群は初等アーベル群であることを証明し、[11] および [2] の結果を用い、$|G:M_i|=p$ および $|G:M_i\cap M_j|=p^2$（$i\neq j$）である事実を活用する。
• 極大部分群の交差に関する組合せ的議論を用いる：$T\subseteq[9]$ で $|T|\geq7$ のとき、$|\bigcap_{i\in T}M_i|=1$ であり、これは可能な群の位数を制限する。
• 包含除法の原理を用いて交差サイズから $|G|$ を計算し、より大きな群の位数を仮定すると矛盾が生じることを示し、$|G|=3^7$ のとき $\mathfrak{C}_9$-カバーが存在しないことを証明する。
• $(C_3)^5$ に対して明示的な $\mathfrak{C}_9$-カバーを構成し、GAP を用いた計算的検証（例：GAP を用いた検証）により、$PG(4,3)$ における対応する点集合が最小ブロッキング集合をなすことを確認しているが、主な証明は組合せ論的である。

実験結果

リサーチクエスチョン

• RQ1 $PG(n,2)$ における最小ブロッキング集合の完全な幾何的特徴付けは何か？
• RQ2 どの有限2群が $\mathfrak{C}_{n+1}$-カバーをもつのか？ そしてそのような群の正確な構造は何か？
• RQ3 $n=7,8,9$ に対して、どの初等アーベル $p$-群が $\mathfrak{C}_n$-カバーをもつのか？ そしてこれは $PG(m,p)$ におけるブロッキング集合を用いてどのように特定できるか？
• RQ4 $n<10$ の各 $n$ に対して、$PG(m,p)$ にサイズ $n$ のブロッキング集合が存在し、かつ $d(B)=m$（つまり空間全体を張る）となるようなすべてのペア $(m,p)$ は何か？
• RQ5 $p$-群における $\mathfrak{C}_n$-カバーの存在は、$PG(m,p)$ におけるブロッキング集合の幾何を用いて完全に特徴付けられるか？

主な発見

• $PG(n,2)$ における集合 $B$ が最小ブロッキング集合であるための必要十分条件は、$\langle B\rangle = PG(d,2)$ で $d$ が奇数であり、$B$ がちょうど $d+2$ 個の点から成り、かつ $d+1$ 個の点が同一の超平面にのらないことである。
• 有限2群 $G$ が $\mathfrak{C}_{n+1}$-カバーをもつための必要十分条件は、$n$ が偶数であり、$G \cong (C_2)^n$ であることである。これは明確な構造的分類を確立する。
• $n=7$ の場合、$\mathfrak{C}_7$-カバーをもつ唯一の $p$-群は $(C_2)^6$ と $(C_3)^4$ であり、後者は $PG(3,3)$ にサイズ7の最小ブロッキング集合に対応する。
• $n=8$ の場合、同様に唯一の $p$-群は $(C_3)^4$ と $(C_7)^2$ であり、$PG(3,3)$ にサイズ8の最小ブロッキング集合が存在する。
• $n=9$ の場合、唯一の $p$-群は $(C_2)^8$、$(C_3)^5$、$(C_5)^3$ であり、論文は $PG(4,3)$ にサイズ9の最小ブロッキング集合を構成している。
• 論文は、$n<10$ に対して、$d(B)=m$ を満たす $PG(m,p)$ にサイズ $n$ のブロッキング集合が存在するすべてのペア $(m,p)$ を完全に列挙しており、$(7,2)$、$(2,5)$、$(4,3)$ などが $n=9$ の場合に含まれる。