[i] 明らかに $Ω^{'}$ は $v - 1$ 点集合.
[ii] $S$ のブロックから $α$ を含むものを取り, そこから $α$ を取り除いたものが $B^{'}$ であるから, $^{\forall} B_{i} \in B^{'}, | B_{i} | = k - 1$ .
[iii] ある $Ω^{'}$ の $t - 1$ 元部分集合を $T$ とする. $S (Ω, B)$ はSteinerシステムであるから, $T \cup {α}$ を含むブロック $B \in B$ が存在して一意である. $B$ は $B = B^{'} \cup {α}$ と一意に分解でき,
$\begin{array}{rcl} ^{\exists!} T & \in & Ω^{'}, (T \cup {α}) \in (B^{'} \cup {α}) \\ ^{\exists!} T & \in & Ω^{'}, T \in B^{'} \end{array}$

　任意のSteinerシステムで縮小は存在するが, 拡大が存在するとは限らない.
$S (t, k, v)$ が存在するための必要条件は $S (t - 1, k - 1, v - 1)$ が存在することであるとも換言できる.

Steinerシステムの自己同型群

定義2　自己同型群

S = S (t, k, v) = S (Ω, B)

をSteinerシステムとする.

σ \in S y m Ω, B \in B

に対して,

\begin{array}{r} σ B = {σ (α) | α \in B} \end{array}

と定める. このとき,

\begin{array}{r} A u t S : = {σ \in S y m Ω |^{\forall} B \in B, σ B \in B} \end{array}

は置換群

S y m Ω

の部分群であり,

B

に左から作用する.
このような

A u t S

を

S

の自己同型群とする.

部分群の条件と作用の公理を確認すればよいため, 省略.

例. Fano平面

　Fano平面 $S (2, 3, 7)$
$\begin{array}{rcl} (1, 2, 3) & , (2, 4, 6), (2, 5, 7) \\ (1, 4, 7) & , (3, 4, 5), (3, 6, 7) \\ (1, 5, 6) \end{array}$
に対して, $(\begin{matrix} 2 & 7 & 5 \end{matrix}) (\begin{matrix} 3 & 4 & 6 \end{matrix}) \in S_{7}$ はそれぞれのブロックを
$\begin{array}{rcl} (1, 7, 4) & , (7, 6, 3), (7, 2, 5) \\ (1, 6, 5) & , (4, 6, 2), (4, 3, 5) \\ (1, 2, 3) \end{array}$
と動かすため, $(\begin{matrix} 2 & 7 & 5 \end{matrix}) (\begin{matrix} 3 & 4 & 6 \end{matrix}) \in A u t S (2, 3, 7)$ .
他方, $(\begin{matrix} 1 & 7 & 6 & 5 & 4 & 3 & 2 \end{matrix}) \in S_{7}$ は
$\begin{array}{r} (\begin{array}{c} 1 & 7 & 6 & 5 & 4 & 3 & 2 \end{array}) (1, 2, 3) = (7, 1, 2) \notin S (2, 3, 7) \end{array}$
より $(\begin{matrix} 1 & 7 & 6 & 5 & 4 & 3 & 2 \end{matrix}) \notin A u t S (2, 3, 7)$

縮小の構造

　Steinerシステムにおいて, 縮小と自己同型を取る操作は可換である. ただし, 自己同型群の縮小とは1点を固定して安定化群を得る操作のことで, 厳密には次が成り立つ.

Steinerシステム $S = S (Ω, B)$ から $α \in Ω$ を取ったとき, $A u t S_{α} ≅ (A u t S)_{α}$ .
ただし,
$\begin{array}{r} (A u t S)_{α} = {σ \in A u t S | σ (α) = α} \end{array}$

証明

$S_{α} = S (Ω ∖ {α}, B^{'})$ とする.
$(A u t S)_{α}$ は $B$ に作用するため, $σ \in (A u t S)_{α}$ によって定まる写像
$\begin{array}{rcl} σ : B & ⟶ & B \\ B_{i} & ⟼ & B_{j} \end{array}$
は全単射である.
$\begin{array}{r} ϕ : (A u t S)_{α} ⟶ A u t S_{α} \end{array}$
を
$\begin{array}{rcl} ϕ (σ) : B^{'} & ⟶ & B^{'} \\ B_{i} ∖ {α} & ⟼ & σ B_{i} ∖ {α} \end{array}$
によって定め, これが全単射準同型であることを示す.
(全射)
任意の
$\begin{array}{rcl} ϕ (σ) : B^{'} & ⟶ & B^{'} \\ B_{i} & ⟼ & B_{j} \end{array}$
に対して, 縮小の定義から
$\begin{array}{rcl} σ : B & ⟶ & B \\ B_{i} \cup {α} & ⟼ & B_{j} \cup {α} \end{array}$
が存在する.

(単射)
$B \in B, σ, τ \in (A u t S)_{α}$ に対して, $σ B = B^{'}, τ B = B^{″}$ とすると, $σ (α) = τ (α) = α$ であるから,
$\begin{array}{rcl} σ (B ∖ {α}) & = & B^{'} ∖ {α} \\ τ (B ∖ {α}) & = & B^{″} ∖ {α} \end{array}$
よって,
$\begin{array}{rcl} ϕ (σ) & = & ϕ (τ) \\ ^{\forall} B ∖ {α} \in B^{'}, ϕ (σ) (B ∖ {α}) & = & ϕ (τ) (B ∖ {α}) \\ B^{'} ∖ {α} & = & B^{″} ∖ {α} \\ σ (B ∖ {α}) & = & τ (B ∖ {α}) \\ σ & = & τ \end{array}$

(準同型)
$\begin{array}{rcl} ϕ (σ τ) (B ∖ {α}) & = & σ τ (B) ∖ {α} \\ = & σ (τ B) ∖ {α} \\ = & ϕ (σ) (τ B ∖ {α}) \\ = & ϕ (σ) (ϕ (τ) (B ∖ {α})) \\ = & ϕ (σ) ϕ (τ) (B ∖ {α}) \end{array}$
より $ϕ (σ τ) = ϕ (σ) ϕ (τ)$

拡大の構造

補題1

S = S (Ω, B)

をSteinerシステム,

S

に点

α

を付加して得られた拡大を

S^{*}

とすると, 単射

ψ : A u t S ⟶ A u t S^{*}

が存在して,

σ \in A u t S

に対して,

ψ (σ) (α) = α

安定化群 $(A u t S^{*})_{α}$ は $A u t S^{*}$ の部分群であるから, 埋込 $ι : (A u t S^{*})_{α} ↪ A u t S^{*}$ が存在する. また, constaから $ϕ^{- 1} : A u t S_{α}^{*} ⟶ (A u t S^{*})_{α}$ は同型射である.
以上から, 次の図式を可換にする単射 $ψ : = ι \circ ϕ^{- 1} \circ {i d}_{A u t S} : A u t S ⟶ A u t S^{*}$ が存在する.
$A u t S i d_{A u t S} ψ A u t S^{*} A u t S_{α}^{*} \sim ϕ^{- 1} (A u t S^{*})_{α} ι$
$ι$ は安定化群の埋込であるから, $σ \in A u t S$ に対して, $ψ (σ) (α) = α$ .

定理2

S = S (Ω, B)

をSteinerシステム,

S

に点

α

を付加して得られた拡大を

S^{*}

ψ

を補題1の埋込とする.

S^{*} = (Ω \cup {α}, B^{*})

として,

B^{*} = X \cup {B \cup {α} | B \in B},^{\forall} B^{'} \in X, α \notin B^{'}

のように

B^{*}

を

α

を含むブロックと含まないブロックに分割したとき,

A u t S ≅ A u t S^{*}

であるための必要十分条件は,

^{\forall} B \in X,^{\forall} σ \in A u t S, ψ (σ) \in X

(必要であること)

$ψ$ が同型射だと措定したため, $σ, τ \in A u t S$ に対して $ψ (σ τ) = ψ (σ) ψ (τ)$
$B \in X$ に対して, $ψ (σ) B = B^{'} \cup {α}$ なる $σ \in A u t S$ が存在すると仮定すると,
$\begin{array}{rcl} ψ (σ^{- 1} σ) B & = & ψ (σ)^{- 1} (ψ (σ) B) \\ = & ψ (σ)^{- 1} (B^{'} \cup {α}) \\ B & = & ψ (σ)^{- 1} B^{'} \cup {α} \\ \notin & X \end{array}$
となり, $B \in X$ と矛盾するため, $ψ (σ)$ は $X$ のブロックを $X$ のブロックに移す.
(十分であること)
$ψ$ が全射準同型であることを確認すればよいため, 省略.

定理2-系

S = S (Ω, B)

をSteinerシステム,

S

に点

α

を付加して得られた拡大を

S^{*}

とする.

S^{*} = (Ω \cup {α}, B^{*})

として,

B^{*} = X \cup {B \cup {α} | B \in B},^{\forall} B^{'} \in X, α \notin B^{'}

のように

B^{*}

を

α

を含むブロックと含まないブロックに分割したとき,

A u t S

の生成系を

L

とすると,

^{\forall} l \in L,^{\forall} B \in X, l X \in X

ならば

A u t S ≅ A u t S^{*}

$L$ の元が $A u t S$ 全体を生成することから直ちに従う.

　実用上は定理2の十分条件が重要で, 系から $A u t S ≅ A u t S^{*}$ の判定に要する計算量が大幅に減る.

例. Fano平面の1点拡大

　Fano平面の1点拡大 $S (3, 4, 8)$ について, ブロックを列挙すると,
$\begin{array}{rcl} (1, 2, 3, 8) & , (2, 4, 6, 8), (2, 5, 7, 8) \\ (1, 4, 7, 8) & , (3, 4, 5, 8), (3, 6, 7, 8) \\ (1, 5, 6, 8) & , \\ (1, 2, 4, 5) & , (1, 3, 4, 6), (2, 3, 4, 7) \\ (1, 2, 6, 7) & , (1, 3, 5, 7), (2, 3, 5, 6) \\ (4, 5, 6, 7) \end{array}$
この中で拡大により追加されたブロックは
$\begin{array}{rcl} (1, 2, 4, 5) & , (1, 3, 4, 6), (2, 3, 4, 7) \\ (1, 2, 6, 7) & , (1, 3, 5, 7), (2, 3, 5, 6) \\ (4, 5, 6, 7) \end{array}$
の7つである. Fano平面の自己同型群は $A u t S (2, 3, 7) = ⟨ (\begin{matrix} 1 & 2 \end{matrix}) (\begin{matrix} 6 & 7 \end{matrix}), (\begin{matrix} 2 & 7 & 5 \end{matrix}) (\begin{matrix} 3 & 4 & 6 \end{matrix}) ⟩$ の2元生成であるから, $2 \cdot 7 = 14$ 回の計算で $A u t S (2, 3, 7)$ と $A u t S (3, 4, 8)$ が同型かどうか判別できる. 実際, 生成元は追加されたブロックを外に移さないことから,
$\begin{array}{r} A u t S (2, 3, 7) ≅ A u t S (3, 4, 8) \end{array}$
が成り立つ.