模p同余类的一个问题

[复制链接]
查看11 | 回复11 | 2021-1-29 04:25:29 | 显示全部楼层 |阅读模式
在讨论知乎上关于循环节的问题时挖坑挖大了,过来求助
p为素数时,模p剩余类的乘法群

当a满足什么条件时,a是这个群的生成元?

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
wiki的整数模n乘法群里的生成元一节写了详细的条件……其实似乎就是所有素数p都满足……leipility (Sowhyjoke?) 在 ta 的帖子中提到:在讨论知乎上关于循环节的问题时挖坑挖大了,过来求助p为素数,模p同余类去掉零元tex\overline{0}/tex,剩余p-1个元素,和其乘法运算构成群这个群在什么条件下是循环群?

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
我发现问题出在这上:

时,

不是

的生成元,而是它的一个六阶子群的:


原题已改
lcdlyxrqy (小落叶|天亮了) 在 ta 的帖子中提到:wiki的整数模n乘法群里的生成元一节写了详细的条件……其实似乎就是所有素数p都满足……

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
乘法群是一个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是这个群的生成元?

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
这个是显然对的……但是我觉得lz是想知道有没有一个a和p之间的简单的关系……liuhy (catcher) 在 ta 的帖子中提到:乘法群是一个p—1阶群,一个元素是生成元你得先验证它的p—1的所有真因子次幂不为1。p=13时群是12阶群,你得验证元素的2、3、4、6次幂不等于1才行。

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
这已经够简单了,好像没什么办法了
lcdlyxrqy (小落叶|天亮了) 在 ta 的帖子中提到:这个是显然对的……但是我觉得lz是想知道有没有一个a和p之间的简单的关系……

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层

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原题已改

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
你就是想要这个么原来==leipility (Sowhyjoke?) 在 ta 的帖子中提到:这已经够简单了,好像没什么办法了

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
不知道..
http://www.zhihu.com/question/27045840/answer/35032702
http://www.zhihu.com/question/26408740/answer/32683410
lcdlyxrqy (小落叶|天亮了) 在 ta 的帖子中提到:你就是想要这个么原来==

回复

使用道具 举报

千问 | 2021-1-29 04:25:29 | 显示全部楼层
我觉得你说的这个东西叫「原根」?leipility (Sowhyjoke?) 在 ta 的帖子中提到:不知道..http://www.zhihu.com/question/27045840/answer/35032702http://www.zhihu.com/question/26408740/answer/32683410

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行