Use DirectFactor to access the -th direct factor of a direct product.
Access the coordinate projections, as follows.
Construct the Cyclic Group of order 2.
Now form the Klein 4 group.
We verify the isomorphic permutation form of the Klein 4 group.
Consider elements of the DirectProduct.
We verify that DirectProduct is associative and commutative.