In group theory, the quaternion group Q₈ is a non-abelian group of order eight, isomorphic to the eight-element subset of the quaternions under multiplication. It is given by the group presentation where e is the identity element and e commutes... Wikipedia