In the square . . .
The affine group over GF(2) of order 24 acting on
the 4 vertices of a square
is generated by (and is) S4 actions
on the set of 4 vertices.
In the cube . . .
The affine group over GF(2) of order 1344 acting on
the 8 vertices of a cube
is generated by combining S4 actions
on each of the 3 sets of 4 parallel edges.
In the hypercube . . .
The affine group over GF(2) of order 322,560 acting on
the 16 vertices of a hypercube
is generated by combining S4 actions
on each of the 6 sets of 4 parallel faces.
Exercise . . . To what extent can these results be generalized?
(Specifically, is it true or false that the general n-dimensional
vector space over GF(2) is made up of sets of 4 parallel
(n-2)-dimensional subspaces, and that combining arbitrary
S4 permutations within these subspace-sets yields the
affine group on the full n-dimensional space?)




