Soluzione
Abbiamo già provato nell'
esercizio 16
che
è un gruppo.
Sia
è un omomorfismo:
,
è suriettiva, ed è iniettiva essendo
Quindi
è un isomorfismo.