Elementary abelian subgroups in GL3 over F2
ID: elementary-abelian-subgroups-in-gl3-over-f2
Every involution of is a transvection , because its nilpotent part has square zero and rank one. Two distinct commuting transvections either have common image line or common fixed plane. This gives two types of elementary abelian groups of order four, displayed above. No larger elementary abelian -subgroup is possible: a transvection commuting with all three elements of a common-image group must have that same image, and the dual argument applies to a common-fixed-plane group. Their normalizers are respectively point and plane stabilizers of order . The common fixed-space dimensions one and two distinguish their conjugacy classes.
New to topics? Read the docs here!