馬修設計

馬修設計(Mathieu design)與馬修群有關的幾個施泰納系.若G是v元集X上的一個t可遷置換群，v是x的一個k元子集，G將X的全體k元子集劃分成一些區組軌道，則含v的區組軌道形成一個t-(v,k,)設計。

.若以G:記v的集穩定子群，則軌道大小為GI!IGoI，由此可計算參數幾.已知兩個5可遷的馬修群M, z及MZ4，兩個4可遷的馬修群M及Mzs，與之有關的還有一個3可遷的馬修群MZZ.適當選取區組軌道，可以從這些t可遷群得到一些施泰納系S(5,8,24),S(5,6,12),S(4,7,23),(SW,5,11)，以及(SC3622).稱這幾個設計為馬修設計.這些設計在同構意義下還是惟一的.