剰余群は巡回群である

以前に剰余群（Z/ｐZ）が出てきました。

ここで、pは素数とします。

ベキ乗を計算すると、すべての元になるような元を

pの原始根といいます。これは、既出です。

pの原始根はかならず存在します。

これらのことから（Z/ｐZ）は、位数ｐ－１の巡回群に同型に

なります。証明は略します。