Sia S(Z) il gruppo delle biiezioni di Z (numeri interi) in sé e G = {σ ∈ S(Z) : h ≡ k mod 3 ⇔ σ(h) ≡ σ(k) mod 3, ∀h, k ∈ Z}. Determinare un omomorfismo suriettivo ϕ : G → S3 (gruppo simmetrico)
Sia S4 il gruppo simmetrico, mostrare che se ϕ : S4 → S3 è un omomorfismo suriettivo, allora il suo nucleo è il sottogruppo (di S4) K={e, (12)(34), (13)(24), (14)(23)}