Direct product of Z8 and E8

Definition
This group is defined as the uses as intermediate construct::external direct product of the cyclic group of order eight and the elementary abelian group of order eight.

It is the abelian group of prime power order for the prime $$p = 2$$ and corresponding to the partition $$6 = 3 + 1 + 1 + 1$$.