既約剰余類群
既約剰余類からなる集合$ (\mathbb{Z}/n\mathbb{Z})^\ast
これは乗法において群となる
アーベル群