Soluzione
Consideriamo le applicazioni:
Si vede facilmente che
e
sono omomorfismi suriettivi; inoltre si
ha:
Allora
e
sono sottogruppi normali di
,
e per il teorema fondamentale di omomorfismo si ha:
Quindi in particolare
ha ordine
infinito, mentre
ha ordine
.