Soluzione
Mostriamo innanzitutto che
è un sottogruppo di
:
; inoltre se
, si ha:
con
, e
, essendo
normale; allora
.
Inoltre
è normale; infatti
,
, si ha: