既約剰余類
$ \mathbb{Z}/n\mathbb{Z}
の元の中で
$ n
と互いに素な元