大学数学基礎解説

文献あり

12次マシュー群1/3 - S(2,3,9)の性質

ブロックデザイン,組合せ論,群論

201

フィッシャー不等式

算術三角形

自己同型群

アフィン平面
1. 相互直交ラテン方格

シュタイナー三重系
1. STSの直積

マシュー群 $M_{11}$ と $M_{12}$
1. S(2,3,9)の性質
2. S(3,4,10)の構成
3. $M_{11}$ と $M_{12}$

構成したシュタイナーシステム

(2,3,7) , (2,3,9) , (2,3,13) , (2,3,117)
(2,4,16) , (2,5,25)
(3,4,8)

本筋から逸れる証明は折畳んでいる場合があるが, クリックで開くことができる.

マシュー群

　以下のように定義されるシュタイナーシステムの自己同型群をマシュー群と呼ぶ.
$\begin{array}{r} M_{11} = Aut S (4, 5, 11) \\ M_{12} = Aut S (5, 6, 12) \\ M_{22} = Aut S (3, 6, 22) \\ M_{23} = Aut S (4, 7, 23) \\ M_{24} = Aut S (5, 8, 24) \end{array}$

余談

クリックして開く

マシュー群は複雑さや応用上の理由から群論の入門書で本格的に扱われている姿を見れず, 発展的な立ち位置にあるという印象だが, 歴史的に見れば基礎的なSylowの定理よりも早い段階で発見されている. 大まかな年表は以下の通り.

1845年　コーシーの定理cauchy
46年　Liouvilleによりガロア理論の原稿galoisが公開される
61年　マシュー群 $M_{11}, M_{12}$ mat61
72年　シローの定理sylow
73年　マシュー群 $M_{22}, M_{23}, M_{24}$ mat73

シローの定理は数十年の蓄積の結果であり, 年代の指標とするのはナンセンスかもしれないが, いずれにせよマシュー群が群論の黎明期に発見されたことは間違いない. 19世紀中頃の多重推移群としては, クロネッカーにより二重推移群が, エルミートにより三重推移群が研究されており, 四重・五重推移の群は未踏の領域であった. そのような中で, マシューはコーシーの回想録からヒントを得mat61, 鋭五重推移の $M_{12}$ を構成することで有限群論を前進させた. さらに, mat61の274ページには $M_{24}$ への示唆が確認でき, 1860年頃には既に5つのマシュー群の構想があったものと思われる. このことからもマシュー群は数年, 数十年を先取りしているような代物であることが窺えるが, 散在型有限単純群という視点からはその先駆性がより際立つ.

1861年　マシュー群 $M_{11}, M_{12}$
73年　マシュー群 $M_{22}, M_{23}, M_{24}$
1938年　 $S (5, 8, 24)$ の構成(ウィット)witt
65年　散在型のジャンコー群 $J_{1}$
66年　 $M_{24}$ の指標表と $S (5, 8, 24)$ の全ブロック列挙(トッド)
76年　ミラクル・オクタッド・ジェネレーターを用いた $S (5, 8, 24)$ の構成(カーティス)curtis

　カーティスが構築した $S (5, 8, 24)$ の構成法ミラクル・オクタッド・ジェネレーター (MOG)はジャンコー群 $J_{4}$ やモンスター $M$ の構成に必要不可欠でありwilson, マシュー群は有限群論の中心的な要素であり続けている.

$M_{11}$ と $M_{12}$ に関しては, $\begin{array}{r} S (5, 6, 12) = S (4 + 1, 5 + 1, 11 + 1) = S (2 + 3, 3 + 3, 9 + 3) \end{array}$
と, $S (2, 3, 9)$ からの拡大で得られ, アーネスト・ウィットwittに因んで $S (4, 5, 11), S (5, 6, 12)$ をそれぞれ $W_{11}, W_{12}$ と略記する.
$W_{11}, W_{12}$ を構成するためには $S (3, 4, 10) = : W_{10}$ を通らなければならないが, $W_{10}$ はブロックとして $S (2, 3, 9)$ の直線と四角形を持っており, 任意の三角形が必ずどこかの四角形に一度だけ含まれているという条件を満足している. そこで, $S (2, 3, 9)$ の四角形や自己同型群など基本的な性質について調べることから始める.
以下, $S : = S (2, 3, 9)$ とする.

$S$ の四角形

補題1

S

の任意の5点は少なくとも1本の直線に含まれる.

証明(修正前)

同一直線上にない5点集合 $F$ を選べたと仮定すると, $F$ の中の点を通る2直線の位置関係は, $F$ の外で交差するか, $F$ の中で交差するか, そうでなければ平行であるかの3通りであり, どの場合でも $F$ の外に1つ以上の点がなければならない.
即ち, $F$ の中の点を通る2直線を決めれば, $F$ の外にある点が1つ以上定まり, $F$ の中から2直線を選ぶ方法は少なくとも $(\begin{matrix} 5 \\ 4 \end{matrix}) = 5$ 通りあるため, $F$ の外には5つ以上の点が存在することになるが, $S$ は9点集合であるため矛盾.
したがって, $S$ の任意の5点は少なくとも1本の直線に含まれる.

証明(修正後)

5点集合を $F = {α_{1}, α_{2}, α_{3}, α_{4}, α_{5}}$ とする.
$S$ の2点を選べば一意にそれらを含む直線が決まることから, $(α_{i}, α_{j})$ が含まれる直線を $(α_{i}, α_{j}, α_{i \circ j})$ と表記する. ここで, $i, j, k$ がすべて異なれば, 同じ2点が複数の直線に含まれることはあり得ないため, $α_{i \circ j}, α_{j \circ k}, α_{k \circ i}$ はすべて異なる. このことを $F$ に適用することで矛盾を導く.
$α_{1 \circ i} (i = 2, 3, 4, 5)$ はすべて異なり, 仮定からすべて $F$ の外にある. $S$ は9点集合であったから, $α_{1}, α_{i}, α_{1 \circ i}$ で $S$ の点は言い尽くされている.
$α_{2 \circ j} (j = 3, 4, 5)$ についてもすべて異なり, $j$ に対して $α_{2 \circ j} = α_{1 \circ k} (k = 3, 4, 5, j \neq k)$ なる $k$ を取ることができる.
このとき, $α_{3 \circ 4} = α_{1 \circ 2}$ が決まる.
なぜなら, $α_{3 \circ 4}$ は $α_{1 \circ 3}, α_{1 \circ 4}$ と異なり, $α_{1 \circ 5} = α_{2 \circ 3}$ または $α_{1 \circ 5} = α_{2 \circ 4}$ であるから, いずれにせよ $α_{3 \circ 4} \neq α_{1 \circ 5}$ .
同様に $α_{3 \circ 5} = α_{1 \circ 2}$ が成り立つが, これは $α_{3 \circ 4} \neq α_{3 \circ 5}$ に矛盾.
したがって, $α_{1 \circ i}$ のいずれかは $F$ の中にいなければいけない.
添数は任意だったため, $S$ のすべての5点集合について同様のことが示せる.

定理2

S

の任意の5点は少なくも1つの四角形を含む.

証明

α \in l

α \notin l

$S$ の5点集合を $F = {α_{1}, α_{2}, α_{3}, α_{4}, α_{5}}$ とする.
補題1から同一直線上にある点が存在して, それを $l = {α_{3}, α_{4}, α_{5}}$ としても一般性を失わない.
アフィン平面の同値な条件から $l$ に対して $α_{2}$ を選ぶと $l$ と共通部分を持たず, $α_{2}$ を通る直線が一意に定まり, これを $l^{'}$ とする.
残りの $α_{1}$ がどこに位置していたとしても四角形が存在することを示す.
まず $α_{1}$ は $l$ 上にはない.
$l^{'}$ 上にあったとすると, $l$ 上の任意の2点と $α_{1}, α_{2}$ で四角形が作れる.
直線 $(α_{1}, α_{2}, α_{3})$ が存在していたとすると, $(α_{1}, α_{2}, α_{4}, α_{5})$ で四角形が作れる.
これは $(α_{1}, α_{2}, α_{4})$ も $(α_{1}, α_{2}, α_{5})$ のときも同様である.
$α_{1}$ が上のどの場合にも当てはまらないとき, $F$ の点で同一直線上にあるのは $(α_{3}, α_{4}, α_{5})$ のみであるから, $l$ の任意の2点と $α_{1}, α_{2}$ で四角形が作れる.

平行類への作用

定理3

A u t S

は

S

の平行類に

S_{4}

として作用する.

証明

( $A u t S$ が平行類に作用すること)
$σ \in A u t S, l_{1}, l_{2} \in S$ とすると
$\begin{array}{r} σ (l_{1} \cap l_{2}) = σ l_{1} \cap σ l_{2} \end{array}$
であるから, $l_{1}, l_{2}$ が平行であることと $σ l_{1}, σ l_{2}$ が平行であることが同値である.
よって, $σ$ は平行類の置換を引き起こす.
(作用が $S_{4}$ であること)
$\begin{array}{r} S = {(1, 2, 9), (3, 4, 5), (6, 7, 8), (1, 3, 8), \\ (2, 4, 6), (5, 7, 9), (1, 4, 7), (2, 5, 8), \\ (3, 6, 9), (1, 5, 6), (2, 3, 7), (4, 8, 9)} \end{array}$
として,平行類を
$\begin{array}{r} A = {(1, 2, 9), (3, 4, 5), (6, 7, 8)} \\ B = {(1, 3, 8), (2, 4, 6), (5, 7, 9)} \\ C = {(1, 4, 7), (2, 5, 8), (3, 6, 9)} \\ D = {(1, 5, 6), (2, 3, 7), (4, 8, 9)} \end{array}$
とおく. 対称群は隣接互換から生成されるのだから $(\begin{matrix} A & B \end{matrix}), (\begin{matrix} B & C \end{matrix}), (\begin{matrix} C & D \end{matrix})$ という置換を見つければ十分である.
実際, $(\begin{matrix} 1 & 5 \end{matrix}) (\begin{matrix} 2 & 7 \end{matrix}) (\begin{matrix} 4 & 8 \end{matrix}) \in A u t S$ は $(\begin{matrix} A & B \end{matrix})$ を,
$(\begin{matrix} 2 & 9 \end{matrix}) (\begin{matrix} 3 & 4 \end{matrix}) (\begin{matrix} 7 & 8 \end{matrix})$ は $(\begin{matrix} B & C \end{matrix})$ を,
$(\begin{matrix} 1 & 3 \end{matrix}) (\begin{matrix} 2 & 4 \end{matrix}) (\begin{matrix} 5 & 9 \end{matrix})$ は $(\begin{matrix} C & D \end{matrix})$ を引き起こすため, $A u t S$ は $S$ の平行類に $S_{4}$ として作用する.

　証明中に登場した3つの置換はすべてアフィン平面を反転させる操作を表している.

Fig1.　

(\begin{matrix} 1 & 3 \end{matrix}) (\begin{matrix} 2 & 4 \end{matrix}) (\begin{matrix} 5 & 9 \end{matrix})

の作用

$S$ の一意性

　これまで $S$ の構成法として, $K_{9}$ の辺彩色 , STSの直積 , ラテン方格を用いた方法の3種類を扱ってきたが, 実のところ生成されたシステムはすべて同じ構造を持っている. このようなことから, シュタイナーシステムも群などと同様, ある構造に従う無限系列であることが見え隠れしていて, 実際「システム」よりも「族」という語が適切との指摘もあるhanani.

定理4

S

は同型を除いて一意に定まる.

証明

任意の $S$ に対して, 以下に示すような操作が可能である.
アフィン平面-定理2 より, $S$ について, 3つの直線を含んだ4つの平行類が得られ, その中の2つを $R, C$ とする.
$R, C$ から直線 $B_{R}, B_{C}$ をそれぞれ取ると, $| B_{R} \cap B_{C} | = 1$ .
$R = {B_{R 1}, B_{R 2}, B_{R 3}}, C = {B_{C 1}, B_{C 2}, B_{C 3}}$ とおき, その交点を $| B_{R 1} \cap B_{C 1} | = α_{1}, | B_{R 2} \cap B_{C 2} | = α_{2}$ とすると, この2点を含む直線 $B = {α_{1}, α_{2}, α_{3}}$ と点 $α_{3}$ が存在する.
このとき, $α_{3} \in B_{R 1}$ とすると, $α_{1}, α_{3} \in B_{R 1}$ であるから, $B = B_{R 1}$ となるが, $α_{2} \notin B_{R 1}$ より矛盾.
同様に $α_{3} \in B_{R 2}, B_{C 1}, B_{C 2}$ とすると矛盾するため, $α_{3} \notin B_{R 1}, B_{R 2}, B_{C 1}, B_{C 2}$ .
アフィン平面の同値な条件から, $α_{3}$ は $B_{R 1}, B_{R 2}, B_{R 3}$ のいずれかに含まれていなければならない.
したがって, $α_{3} \in B_{R 3}$ .
同様にして, $α_{3} \in B_{C 3}$ .
$B_{R 1} \cap B_{C 1}, B_{R 2} \cap B_{C 3}$ , $B_{R 1} \cap B_{C 2}, B_{R 2} \cap B_{C 1}$ , $B_{R 1} \cap B_{C 2}, B_{R 2} \cap B_{C 3}$ , $B_{R 1} \cap B_{C 3}, B_{R 2} \cap B_{C 1}$ , $B_{R 1} \cap B_{C 3}, B_{R 2} \cap B_{C 2}$ の5つについても上記の操作を行えば, すべて合わせて12本の直線が得られ, $S$ のブロックを網羅できる.
与えられた2つの異なる $S$ に対して, この操作を行い, 点と点, ブロックとブロックを対応させれば同型が得られる.

$S$ と ${F_{3}}^{2}$

　 $S$ はSTSの直積を用いて
$\begin{array}{r} S = S T S (9) = S T S (3) \times S T S (3) \end{array}$
と表せ, ブロックを下図のように直線として表現できるのだった.

Fig2.　

S T S (3) \times S T S (3)

これは次のように上下左右に循環したトーラスとしても描ける.

Fig3.　

S

と

{F_{3}}^{2}

Fig3. を $F_{3}$ 上の線型空間と見做す. 原点を1とすると, 任意のベクトル $v \in {F_{3}}^{2}$ は $S$ の直線と対応付けができる. ${F_{3}}^{2}$ のベクトルは8つしかないので列挙してみると
$\begin{array}{r} [\begin{matrix} 1 \\ 3 \end{matrix}] \mapsto (1, 3, 8) [\begin{matrix} 1 \\ 5 \end{matrix}] \mapsto (1, 5, 6) [\begin{matrix} 1 \\ 9 \end{matrix}] \mapsto (1, 2, 9) [\begin{matrix} 1 \\ 7 \end{matrix}] \mapsto (1, 4, 7) \\ [\begin{matrix} 1 \\ 8 \end{matrix}] \mapsto (1, 3, 8) [\begin{matrix} 1 \\ 6 \end{matrix}] \mapsto (1, 5, 6) [\begin{matrix} 1 \\ 2 \end{matrix}] \mapsto (1, 2, 9) [\begin{matrix} 1 \\ 4 \end{matrix}] \mapsto (1, 4, 7) \end{array}$
が得られる. $S$ の自己同型群は, $S$ の直線を直線に移すような写像全体であり, これは ${F_{3}}^{2}$ のベクトルをベクトルに移す一般線型群 $G L_{2} (F_{3})$ と同じ構造を持つことが分かる. さらに, 原点を1に固定する必要はないため, そこへ平行移動を加えたアフィン群
$\begin{array}{r} {A G L}_{2} (F_{3}) = {t_{a, v} | t_{a, v} (u) = a u + v, a \in {G L}_{2} (F_{3}), u, v \in {F_{3}}^{2}} \end{array}$
が $S$ の対称性を表している.

定理5　

S

の自己同型群

\begin{array}{r} {A G L}_{2} (F_{3}) ≅ A u t S \end{array}

証明(概略)

$F_{3} = {0, 1, 2}$ , $Ω_{1}, Ω_{2}$ を $F_{3}$ によって添え字付けられた集合とし, それぞれの元を $Ω_{1} = {α_{0}, α_{1}, α_{2}}, Ω_{2} = {β_{0}, β_{1}, β_{2}}$ とする.
定理4から $S$ はすべて $S T S (3) \times S T S (3)$ と同型であり, $S T S (Ω_{1}) \times S T S (Ω_{2})$
$\begin{array}{r} {\begin{cases} ((α_{0}, β_{r}), (α_{1}, β_{r}), (α_{2}, β_{r})) & β_{r} \in Ω_{2} \\ ((α_{i}, β_{0}), (α_{i}, β_{1}), (α_{i}, β_{2})) & α_{i} \in Ω_{1} \\ ((α_{0}, β_{r}), (α_{1}, β_{s}), (α_{2}, β_{t})) & β_{r}, β_{s}, β_{t} \in Ω_{2} \end{cases} \end{array}$
に $S$ を代表させても一般性を失わない.
${F_{3}}^{2}$ の基底 $[\begin{matrix} 1 \\ 0 \end{matrix}], [\begin{matrix} 0 \\ 1 \end{matrix}] \in {F_{3}}^{2}$ をそれぞれ $(α_{1}, β_{0}), (α_{0}, β_{1}) \in Ω_{1} \times Ω_{2}$ へ送れば, ${F_{3}}^{2}$ のベクトルと $Ω_{1} \times Ω_{2}$ の元が一対一に対応する. よって, $t \in {A G L}_{2} (F_{3})$ は $α, β$ の添え字を動かすが, $S T S (Ω_{1}) \times S T S (Ω_{2})$ の構成では $α$ か $β$ の添え字が固定されているため, $t$ は $S T S (Ω_{1}) \times S T S (Ω_{2})$ のブロックをブロックへ移す.
基底が対応しているため, ${A G L}_{2} (F_{3}) ⟶ A u t S$ は全単射であり, ${A G L}_{2} (F_{3}) ≅ A u t S$

　要するに, ${F_{3}}^{2}$ と $S T S (3) \times S T S (3)$ が等価であるため, その写像も等価ということである.

補題6

p

を素数とする. 一般線型群

{G L}_{n} (F_{p})

の位数は

\begin{array}{r} (p^{n} - 1) (p^{n} - p) (p^{n} - p^{2}) \dots (p^{n} - p^{n - 1}) = \prod_{i = 0}^{n - 1} (p^{n} - p^{i}) \end{array}

証明(概略)

正則であることと行列式が0でないことは同値である.
ある列の成分がすべて0である行列の行列式は0であるから, 1列目の選び方は $p^{n} - 1$ 通り.
2列目が1列目の定数倍であれば, 列基本変形で2列目の成分をすべて0にできてしまうため, 2列目には, 1列目の線型結合ではない, という制約が加わる. よって2列目の選び方は $p^{n} - p$ 通り.
以下同様に列を選んでいくと, 正則な行列の個数は $\prod_{i = 0}^{n - 1} (p^{n} - p^{i})$ となる.

詳細については, yukie青雪江p. 130-131, suz鈴木p. 77-78などを参照されたい.

補題6-系

\begin{array}{r} # A u t S = 432 \end{array}

補題6から $# {G L}_{2} (F_{3}) = (9 - 1) (9 - 3) = 48$ .
原点を含め9つの平行移動があるため, $# A u t S = 9 \cdot 48 = 432$

参考文献

[1]

Ernst Witt, Die 5-fach transitiven gruppen von mathieu, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 1937, 256–264

[2]

E. Holmes, Mathieu Groups M11 & M12 - Steiner System Construction, The University of Warwick, 閲覧日 2025年5月2日, https://warwick.ac.uk/fac/sci/maths/people/staff/holmes/final_project.pdf

[3]

Haim Hanani, On Quadruple Systems, Canadian Journal of Mathematics, 1960, 145 - 157

[4]

雪江明彦, 代数学2　環と体とガロア理論

[5]

鈴木道夫, 群論上

[6]

Mathieu, Émile, Mémoire sur l'étude des fonctions de plusieurs quantités, sur la manière de les former et sur les substitutions qui les laissent invariables, Journal de Mathématiques Pures et Appliquées, 1861, 241-323

[7]

Mathieu, Émile, Sur la fonction cinq fois transitive de 24 quantités, Journal de Mathématiques Pures et Appliquées, 1873, 25-46

[8]

Cauchy, A.-L., Mémoire sur les arrangements que l'on peut former avec des lettres données, et sur les permutations ou substitutions à l'aide desquelles on passe d'un arrangement à un autre, Exercises d'analyse et de physique mathématique, 1845, 151-252

[9]

Sylow, L., Théorèmes sur les groupes de substitutions, Mathematische Annalen, 1872, 584–594

[10]

Galois, Évariste, OEuvres mathématiques d'Évariste Galois, Journal de Mathématiques Pures et Appliquées, 1847

[11]

Luis Joaquín Boya, Introduction to Sporadic Groups, Symmetry Integrability and Geometry Methods and Applications, 2011

[12]

R. T. Curtis, A new combinatorial approach to M24, Mathematical Proceedings of the Cambridge Philosophical Society, 1976, 25-42

[13]

J. A. Todd, A representation of the Mathieu group M24 as a collineation group, Annali di Matematica Pura ed Applicata, 1966, 199–238

[14]

Robert A. Wilson, 248 and all that, 閲覧日 2025年5月5日, https://webspace.maths.qmul.ac.uk/r.a.wilson/talks_files/RTCtalk.pdf