巡回群 $G = \langle a \rangle$ において、要素 $a^k$ の位数が $G$ の位数 $n$ と等しくなるための条件はどれか。

$k$ が $n$ と互いに素なときに限り、$a^k$ は群の生成元となる。