Soluzione
a)
,
, cioè
è un omomorfismo.
b)
Si ha:
cioè
è un sottogruppo normale di
.
c)
Inoltre, essendo
, per il
teorema fondamentale di omomorfismo
,
.