( is the multiplicative group of units in and is the quaternion group.)
You can earn partial credit on this problem.