MathCastle
Groups and FieldsSuperchallengeHomomorphisms and Isomorphisms

Homomorphisms and Isomorphisms · Superchallenge problem

The quaternion group Q8={1,−1,i,−i,j,−j,k,−k}Q_8 = \{1,-1,i,-i,j,-j,k,-k\} (order 88) satisfies i2=j2=k2=−1i^2=j^2=k^2=-1 and ij=kij=k, ji=−kji=-k (and cyclic variants). Find ∣Aut⁡(Q8)∣|\operatorname{Aut}(Q_8)|.