A primitive root g mod p generates all non-zero residues as powers g¹, g², …, g^(p−1). The cycle is shown as a circular arc. Non-generators cycle through only a subset.