Buona sera,
stavo facendo degli esercizi, e una delle richieste era quello di spiegare perchè un gruppo ciclico di ordine \( n \) , sarà sempre isomorfo al gruppo $ ( ZZ_n, + )$.
Con $ZZ_n$ mi riferisco all'insieme delle classi di equivalenza, dove ogni elemento conterrà gli interi che divisi per $n$ daranno lo stesso resto.
Il problema è che questa dimostrazione non l'ho trovato in nessun testo o slide riguardante Algebra del mio corso.
Quindi mi chiedevo se qualche buon anima avesse la pazienza di spiegarmelo?
(O alternativamente indirizzarmi ad un sito con la dimostrazione)
Grazie