また "g" を "z" を生成元とする位数 "p" の巡回群とする。