finite group with 8 elements, whose elements can be represented by multiplication of unit quaternions {±1, ±i, ±j, ±k}