PSL(2, 7)
一般線型群GL2(7)は、7個の要素からなる有限体F7上の行列式が0でない2次正方行列全体のなす群である。SL2(7)はGL2(7)の部分群であり、行列式が1のものだけからなる。このときPSL2(7)は商群
S L 2 ( 7 ) / { I , − I } {\displaystyle \mathrm {SL} _{2}(7)/\{I,-I\}}
として定義される。ここで、Iは単位行列である。すなわち、SL2(7)内で1倍と-1倍を同一視したものがPSL2(7)である。