6次対称群

F2上の6次元内積空間の正規直交基底に対し、その和の生成する1次元部分空間をLとすると、(Lの零化空間)/Lは4次元シンプレクティック空間になる。こうしてS6からSp(4, F2)への同型が得られる。