查看: 1416  |  回复: 6

王老白

银虫 (小有名气)

[求助] 求助一个群论问题 已有1人参与

请问如果M/N同构于Z_5,其中N的阶为p^2,那么能得到M是N和Z_5的直积吗? 请给出原因,谢谢谢谢
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sskkyy

银虫 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
不能。比如p=5,M=Z/p^3,N=pZ/p^3。

[ 发自手机版 http://muchong.com/3g ]
2楼2014-07-01 23:15:05
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

根据楼下SSKKYY的例子, 可以看出,
若 M/N=Z_5, 其中|N|=p^2, p是素数, 那么M=N X Z_5 的充分(非必要)条件是: 5 不整除 p(p-1)(p+1).

充分性的说明:
设Z_5的一个生成元为a, 那么a在M中任意原像b,在N的共轭作用定义了N的一个自同构phi: x --> b^{-1}* x *b. 由于p^2阶的群N总是交换群(要么是循环的 (Z/p^2Z), 要么等于Z_p * Z_p), 所以phi^5=1.

由于 Aut(Z/p^2Z)的阶为 [Euler函数(p^2) ]=p(p-1),  Aut(Z_p X Z_p)的阶为 (p^2-1)*(p^2-p)=p*(p-1)^2*(p+1). 如果5整除这些自同构的阶, 那么完全可以构造例子, 使得M就是N和Z_5的半直积(不是直积). 反之, 如果5 不整除 p(p-1)(p+1), 那么由phi^5=1 可以推出 phi=1.

当 phi=1(恒同映射)时, 大群M自己 就是交换群.那么由交换群的标准分解(分解成循环群的直积)直接看出, 如果p不等于 5, M必然等于N X Z_5.
We_must_know. We_will_know.
3楼2014-07-02 01:04:54
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

王老白

银虫 (小有名气)

引用回帖:
3楼: Originally posted by hank612 at 2014-07-02 01:04:54
根据楼下SSKKYY的例子, 可以看出,
若 M/N=Z_5, 其中|N|=p^2, p是素数, 那么M=N X Z_5 的充分(非必要)条件是: 5 不整除 p(p-1)(p+1).

充分性的说明:
设Z_5的一个生成元为a, 那么a在M中任意原像b,在N的共轭作用定 ...

是的,一般情况下应该是半直积,因为只能证明N是M的正规子群,N交Z_5为单位,但证明不了Z_5是M的正规子群。谢谢哈
4楼2014-07-02 09:11:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

王老白

银虫 (小有名气)

引用回帖:
2楼: Originally posted by sskkyy at 2014-07-01 23:15:05
不能。比如p=5,M=Z/p^3,N=pZ/p^3。

谢谢你啊
5楼2014-07-02 09:11:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
4楼: Originally posted by 王老白 at 2014-07-02 09:11:08
是的,一般情况下应该是半直积,因为只能证明N是M的正规子群,N交Z_5为单位,但证明不了Z_5是M的正规子群。谢谢哈...

Z_5只在商群中,不在大群M中, 所以N 交Z_5没有定义的。 比如M=<a,b|a^25=b^5=[a,b]=1>
N=<a^5> X <b>, 那么M/N=<a BAR>, 没法考虑N 交Z_5。

其实, 2 mod 5, 3 mod5 的素数还是很多的, 比如 7, 13, 17, 23,37, 43, 47, etc. 换句话说, 直积情况还是很普遍的。
We_must_know. We_will_know.
6楼2014-07-02 09:54:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

王老白

银虫 (小有名气)

引用回帖:
6楼: Originally posted by hank612 at 2014-07-02 09:54:02
Z_5只在商群中,不在大群M中, 所以N 交Z_5没有定义的。 比如M=<a,b|a^25=b^5==1>
N=<a^5> X <b>, 那么M/N=<a BAR>, 没法考虑N 交Z_5。

其实, 2 mod 5, 3 mod5 的素数还是很多的, 比 ...

恩呢,是我在条件那写的不够明确,应该是M/N同构于Z_5.谢谢谢谢
7楼2014-07-02 20:20:16
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 王老白 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[有机交流] OpenAI又攻克数学难题了,离AI做有机合成还有多远? +4 wangyl_123 2026-10-10 8/400 2026-10-12 18:09 by wangyl_123
[硕博家园] 极限拉扯,如何抉择 +5 Isak0320 2026-10-12 7/350 2026-10-12 18:03 by 有人要害朕
[教师之家] 课题组会帮你通过考核么? +3 好运来~9527 2026-10-10 6/300 2026-10-12 14:55 by 简单化xn
[公派出国] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:34 by XQNyDCa1Tk5n
[公派出国] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:26 by XQNyDCa1Tk5n
[找工作] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 22:26 by XQNyDCa1Tk5n
[考博] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:15 by XQNyDCa1Tk5n
[教师之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:06 by XQNyDCa1Tk5n
[基金申请] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:06 by XQNyDCa1Tk5n
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 14:25 by VOMexwnDzOFZ
[教师之家] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 (EPI+-1)(金币-50) +4 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 14:05 by VOMexwnDzOFZ
[考研] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:51 by VOMexwnDzOFZ
[硕博家园] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:45 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:54 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +4 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:34 by VOMexwnDzOFZ
[考博] 招收博士生一名 +3 mandolin 2026-10-10 3/150 2026-10-11 10:21 by 不是山谷!
[公派出国] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +4 qR2AdCWTVtkw 2026-10-09 4/200 2026-10-11 03:14 by M0zrYVSAnxpE
[有机交流] 各位大佬,路线设计求助 +6 zapen 2026-10-08 8/400 2026-10-10 15:59 by zapen
[基金申请] 入职后第一次管课题组的专利缴费,对账才发现官费比别人多掏了一倍 +5 13108017953 2026-10-08 5/250 2026-10-10 11:15 by wdwd123
[有机交流] 我应该选哪条合成路线让实验成功率高一些? +5 jing816y 2026-10-08 9/450 2026-10-10 09:05 by zapen
信息提示
请填处理意见