Lie型单群~3D_4(q)和2-(v,k,1)设计

设口是一个2-(ν，κ，1)设计，G是口的自同构群。Delandtsheer证明了如果G是区本原的，且D不是射影平面，则G是几乎单群，即存在一个非交换单群T，使得T≤G≤Aut(T)。本文证明了T不同构于单群^3D4(q)，这是区本原设计分类工作的一个不可缺少的组成部分。