wiki的整数模n乘法群里的生成元一节写了详细的条件……其实似乎就是所有素数p都满足……leipility (Sowhyjoke?) 在 ta 的帖子中提到:在讨论知乎上关于循环节的问题时挖坑挖大了,过来求助p为素数,模p同余类去掉零元tex\overline{0}/tex,剩余p-1个元素,和其乘法运算构成群这个群在什么条件下是循环群?
乘法群是一个p—1阶群,一个元素是生成元你得先验证它的p—1的所有真因子次幂不为1。p=13时群是12阶群,你得验证元素的2、3、4、6次幂不等于1才行。leipility (Sowhyjoke?) 在 ta 的帖子中提到:在讨论知乎上关于循环节的问题时挖坑挖大了,过来求助p为素数时,模p剩余类的乘法群tex$\mathbb{Z}/p\mathbb{Z}$/tex当a满足什么条件时,a是这个群的生成元?
leipility (Sowhyjoke?) 在 ta 的帖子中提到:我发现问题出在这上:tex$p=13$/tex时,tex$\overline{10}$/tex不是WTF,term下预览png明明有,网页上就是出不来tex$\mathbb{Z}/p\mathbb{Z}$/tex的生成元,而是它的一个六阶子群的:tex$\{\overline{1},\overline{10},\overline{9},\overline{12},\overline{3},\overline{4}\}$/tex原题已改
我觉得你说的这个东西叫「原根」?leipility (Sowhyjoke?) 在 ta 的帖子中提到:不知道..http://www.zhihu.com/question/27045840/answer/35032702http://www.zhihu.com/question/26408740/answer/32683410