>
|
|
>
|
|
| (1) |
Use DirectFactor to access the -th direct factor of a direct product.
Access the coordinate projections, as follows.
| (4) |
>
|
|
| (6) |
>
|
|
Construct the Cyclic Group of order 2.
>
|
|
| (10) |
Now form the Klein 4 group.
>
|
|
| (11) |
| (12) |
We verify the isomorphic permutation form of the Klein 4 group.
>
|
|
Consider elements of the DirectProduct.
>
|
|
| (14) |
We verify that DirectProduct is associative and commutative.
>
|
|
| (15) |
>
|
|
| (16) |
>
|
|
>
|
|
| (18) |
>
|
|
| (19) |
>
|
|