Quaternion Group

The Quaternion Group is a non-abelian group of order , which is an -element subset of the quaternions under multiplication: