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