Por otro lado por el Teorema 4.2 ya⟨a⟩={a0,a1,…,an−1}. queo(a)=n tenemos Así que el mapeoφ:Zn→⟨a⟩ definido por la regla...Por otro lado por el Teorema 4.2 ya⟨a⟩={a0,a1,…,an−1}. queo(a)=n tenemos Así que el mapeoφ:Zn→⟨a⟩ definido por la reglaφ(i)=ai parai=0,1,2,…,n−1, es claramente uno a uno y sobre.
