Su explicación me parece buena.
En el caso general, encontrar el generador de un grupo cíclico es difícil. Por ejemplo, creo que no hay ningún algoritmo rápido para encontrar un generador para el grupo multiplicativo $(\mathbb Z/p^k\mathbb Z)^\times$ cuando $p$ es un primo grande. Pero la mayoría de las veces, cuando se trabaja con un grupo cíclico, también se conoce naturalmente un generador.
Si su grupo cíclico tiene orden $n$ Afirmo que habrá un generador para cada número entre $1$ y $n-1$ (inclusive) que es relativamente primordial para $n$ En otras palabras, hay $\varphi(n)$ generadores, donde $\varphi$ es Función totiente de Euler . ¿Por qué es correcta mi afirmación? Supongamos que $g$ es un generador para el grupo, por lo que $g$ tiene orden $n$ . Es un hecho, que te animo a probar si no lo has encontrado, que para un número entero $m$ entre $1$ y $n$ el orden de $g^m$ es $n/(m,n)$ , donde $(m,n)$ es el mayor denominador común de $m$ y $n$ . Así que para $g^m$ para que sea un generador -- o, de manera equivalente, para que $g$ tener orden $n$ -- es necesario y suficiente que $m$ ser relativamente primo de $n$ . Y cada elemento del grupo tiene la forma $g^m$ para algunos $m$ . Por lo tanto, hay $\varphi(n)$ generadores.
Si su grupo cíclico tiene orden infinito entonces es isomorfo a $\mathbb Z$ y sólo tiene dos generadores, las imágenes isomorfas de $+1$ y $-1$ . Pero cualquier otro elemento de un grupo cíclico infinito, excepto $0$ es un generador de un subgrupo propio que es de nuevo isomorfo a $\mathbb Z$ .