In $S_4$ se considero il sottogruppo $H $ $ <(12)(34),(13)(24) > = { e, (12 )(34),(13 )(24),(14 )(23)} $ come posso fare per dimostrare che si tratta di un sottogruppo normale utilizzando un omomorfismo.
Io sono arrivato a questo, basandomi sulla definizione del $Kern$ di un gruppo
$pi(e) = eH = e$
$pi(12)(34) = (12)(34)H = e$
$pi(13)(24) = (13)(24)H = e$
$pi(14)(23) = (14)(23)H = e$
Ne segue che il $Ker(pi)= H$
Grazie