Supponendo che (Zn,+)x(Zm,+) sia ciclico allora esiste un generatore che denoto con ([a]_n , [b]_m)
voglio dimostrare che l’ordine di ([a]_n , [b]_m) è minore o uguale all’ ordine di ([1]_n , [1]_m)
Se Zn x Zm è ciclico allora m ed n sono coprimi quindi ordine(a,b)=|<(a,b)>|=|ZnxZm|=nm mentre ordine(1,1)=mcm(ordine(1),ordine(1))=mcm(n,m)=nm quindi coincidono