MathCastle
Groups and FieldsHardNormal Subgroups and Quotient Groups

Normal Subgroups and Quotient Groups · Hard problem

In Z90\mathbb Z_{90}, let K=⟨9⟩K = \langle 9\rangle. Of the two candidates N=⟨18⟩N = \langle 18\rangle and N′=⟨15⟩N' = \langle 15\rangle, exactly one satisfies N≤KN \le K, as the Third Isomorphism Theorem requires. For that valid subgroup, what is ∣K/N∣|K/N|?