23.5. Επειδή η προσθετική ομάδα Ζ24 είναι κυκλική τάξεως 24 με γεννήτορα το 1
και, στην προσθετική ομάδα Ζ6, 24.1 = 0, από την άσκηση 12.12,
η συνάρτηση π : Ζ24 ® Ζ6 που στέλνει το n = n.1 της πρώτης στο n της
δεύτερης είναι καλά ορισμένη.
Προφανώς η π είναι επιμορφισμός με Kerπ = Η = { 0, 6, 12, 18 }.
Από το πόρισμα 23.1, Ζ24 / Η ~ Ζ6.