MathCastle
Groups and FieldsHardNormal Subgroups and Quotient Groups

Normal Subgroups and Quotient Groups · Hard problem

A homomorphism φ:Z12→D4\varphi: \mathbb Z_{12} \to D_4 is determined by h=φ(1)∈D4h = \varphi(1) \in D_4 (any choice works, since every element of D4D_4 has order dividing 44, which divides 1212). For how many of the 88 elements h∈D4h \in D_4 does the resulting φ\varphi have image of order exactly 22?