\(\langle 4\rangle\) son los 9 residuos pares de \(\mathbb{Z}_{18}\), pues \(\gcd(4,18)=2\). Un elemento genera lo mismo cuando su mcd con 18 también es 2: eso sucede con 8. Los de mcd 6 o 9 generan subgrupos más pequeños.
El subgrupo generado por un subconjunto \(S\) de un grupo \(G\) es el menor subgrupo \(H\) de \(G\) que contiene a \(S\); se denota \(\langle S\rangle\) y a \(S\) se le llama conjunto de generadores.