24小时热门版块排行榜    

查看: 2203  |  回复: 8
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

谁负韶华

新虫 (小有名气)

[求助] 两道证群不同构的题,求解啊!

1.Prove that An×Z2 is not isomorphic to Sn when n≥3.
2.Show that SOn×Z2 is not isomorphic to On when n is even.
最近看近代,表示这一类证明不同构的题不怎么会啊!求指导,最好是英文版的解答!多谢了!

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

谁负韶华

新虫 (小有名气)

引用回帖:
6楼: Originally posted by hank612 at 2013-08-19 12:13:04
我个人觉得十有八九不可以的, 虽然你可以试着把证明写出来让大家参考。

一般证明不同构,需要找一些不变量,二者不一样。比如,我找的是中心群的大小。...

假设φ是两群间的映射,(ε,1)是An×Z2的单位元则φ((ε,1))=ε。那么φ((ε,1)(ε,1))=φ((ε,0))=φ(ε,1)φ(ε,1)=ε.ε=ε。即φ(ε,1)=φ(ε,0)=ε,矛盾。这样行么?

[ 发自小木虫客户端 ]
7楼2013-08-19 13:25:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答

zenmebuxing

木虫 (初入文坛)

【答案】应助回帖

感谢参与,应助指数 +1
感觉你这个结论有问题啊;
第一题 两个好像是同构的啊;
2楼2013-08-18 23:43:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

★ ★ ★ ★ ★
感谢参与,应助指数 +1
谁负韶华: 金币+5, ★★★★★最佳答案 2013-09-24 20:31:42
you may use the information of center group to prove the first.

It is known that Sn only has trivial center (when n>=3), this you can see from the conjugation action on the generating set (1k) k=2,...,n.
(1k)^phi = (1^phi k^phi).

but An X Z2 has nontrivial center, at least Z2 is in the center. (when n=3, the whole group is abelian). So no isomorphism.

O_n (when n is even) has center I and -I. (you need to prove this, though I cannot come up a simple proof). but both these two elements belong to SOn. Therefore if On is isomorphic to SOn X Z2, then its center is at least (I, -I) X Z2, has four elements. which is not true.

» 本帖已获得的红花(最新10朵)

We_must_know. We_will_know.
3楼2013-08-19 00:32:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

谁负韶华

新虫 (小有名气)

引用回帖:
2楼: Originally posted by zenmebuxing at 2013-08-18 23:43:39
感觉你这个结论有问题啊;
第一题 两个好像是同构的啊;

不,第一题不同构的。

[ 发自小木虫客户端 ]
4楼2013-08-19 11:54:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[文学芳草园] 梦想 +5 myrtle 2026-08-26 7/350 2026-09-01 15:18 by myrtle
[基金申请] 为什么资助数各大高校都创新高,自己申请怎么就这么难 +13 Kittylucky 2026-08-27 14/700 2026-09-01 11:06 by feng6531
[基金申请] 麻烦专家们看看评委们的意见(F口面上) +7 gdd2018 2026-08-28 12/600 2026-09-01 08:32 by 尼古拉斯小虫
[基金申请] 国社科又开始会评了,不知道这次命运如何 +7 雨打竹帘 2026-08-30 11/550 2026-08-31 23:16 by hittle2008
[基金申请] 哪位高人中了,把查询到的截图贴出来让我看看,让我长长见识 +6 yuleib84 2026-08-26 7/350 2026-08-31 19:46 by 鱼翔浅底1
[基金申请] 面上意见出来了 +12 黄鸟于飞Chao 2026-08-29 23/1150 2026-08-31 18:57 by 黄鸟于飞Chao
[基金申请] 能否申诉? +7 echo8914667 2026-08-30 8/400 2026-08-31 17:00 by yihongxu
[基金申请] 中青基了要发朋友圈吗? +7 349506619 2026-08-28 7/350 2026-08-31 13:39 by 冼亮淀粉酶
[基金申请] 29号明天会评吗 +4 笨笨唐 2026-08-28 4/200 2026-08-31 09:30 by huixian257
[考博] 找导师 +6 yuanjiabao 2026-08-29 7/350 2026-08-30 14:40 by 生科新手
[基金申请] 国自然面上复盘~欢迎讨论 (金币+15) +15 晴天加油 2026-08-26 16/800 2026-08-29 18:28 by symmetry
[基金申请] 国自然评审意见 +13 wangmingqi 2026-08-28 19/950 2026-08-29 10:22 by Poppy1104
[基金申请] 2026年叶企孙基金 +4 bud_bud 2026-08-27 7/350 2026-08-29 07:23 by foolishmani
[基金申请] 基金系统什么内容也没有 30+4 winsaint 2026-08-27 9/450 2026-08-28 11:06 by maolC
[基金申请] 为什么 国际(地区)合作与交流项目 没有放榜? 10+3 majunge000 2026-08-26 11/550 2026-08-27 08:42 by 北京莱茵编辑
[基金申请] 2026年8月25日国自然放榜前突然收到列入评审专家邮件,有关系吗? +25 木水思豆 2026-08-25 28/1400 2026-08-26 14:53 by draco1987
[基金申请] 国际合作可查了,中了面上 (EPI+1)(金币+50) +18 Ldrop2023 2026-08-26 18/900 2026-08-26 11:15 by cmrandy
[基金申请] 系统进不去 +4 yanglien 2026-08-26 5/250 2026-08-26 11:10 by wenfengw83
[基金申请] 国合可查了 +3 paperzjh 2026-08-26 3/150 2026-08-26 10:41 by LemmonTr
[基金申请] 牛来!米来!面来! +8 beefly 2026-08-26 8/400 2026-08-26 08:37 by xuzhipiao
信息提示
请填处理意见