Generalized dihedral group for E9

Definition
This group is defined as the member of family::generalized dihedral group corresponding to the elementary abelian group of order nine. In other words, it is the semidirect product of the elementary abelian group of order nine with a cyclic group of order two acting via the inverse map.