Groups and FieldsHardNormal Subgroups and Quotient Groups
Normal Subgroups and Quotient Groups · Hard problem
A homomorphism is determined by (any choice works, since every element of has order dividing , which divides ). For how many of the elements does the resulting have image of order exactly ?