群。
定义.一般线性群 GL (2,7) 由 F（七元素的有限域）上所有可逆的二阶方阵组成。它们的行列式不为零。子群 SL (2,7) 包含所有行列式为单位的矩阵。PSL (2,7) 则定义为在上视 I 和 -I 等同得到的商群，其中 I 是单位矩阵。 在本文中，我们用 G 表示任一与 PSL (2,7) 同构的群。
性质."G" = PSL(2, 7) 有 168 个元素，这可通过统计可能的列数得到：第一列有7−1 = 48 种可能，第二列有 7−7