La flecha en diagonal representa el isomorfismo canónico entre Z/7Z y Z.