24小时热门版块排行榜    

Znn3bq.jpeg
汕头大学海洋科学接受调剂
查看: 1995  |  回复: 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的回帖

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的回帖

谁负韶华

新虫 (小有名气)

送红花一朵
引用回帖:
3楼: Originally posted by hank612 at 2013-08-19 00:32:47
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) ...

第一题我能用 identity element 来证明么?推出两群间的映射不是injective?

[ 发自小木虫客户端 ]
5楼2013-08-19 12:03:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
5楼: Originally posted by 谁负韶华 at 2013-08-19 12:03:28
第一题我能用 identity element 来证明么?推出两群间的映射不是injective?
...

我个人觉得十有八九不可以的, 虽然你可以试着把证明写出来让大家参考。

一般证明不同构,需要找一些不变量,二者不一样。比如,我找的是中心群的大小。
We_must_know. We_will_know.
6楼2013-08-19 12:13:04
已阅   回复此楼   关注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的回帖

hank612

至尊木虫 (著名写手)

引用回帖:
7楼: Originally posted by 谁负韶华 at 2013-08-19 13:25:28
假设φ是两群间的映射,(ε,1)是An×Z2的单位元则φ((ε,1))=ε。那么φ((ε,1)(ε,1))=φ((ε,0))=φ(ε,1)φ(ε,1)=ε.ε=ε。即φ(ε,1)=φ(ε,0)=ε,矛盾。这样行么?
...

你的符号说明不够清晰,把自己绕进去了。
Z2 中, 如果 1是单位元,那么(ε,1)(ε,1)还是(ε,1), 哪来的
(ε,0)?
不过通常大家把Z2 当作加法群 0+0=1+1=0, 1+0=0+1=1.
We_must_know. We_will_know.
8楼2013-08-19 23:15:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

谁负韶华

新虫 (小有名气)

引用回帖:
8楼: Originally posted by hank612 at 2013-08-19 23:15:03
你的符号说明不够清晰,把自己绕进去了。
Z2 中, 如果 1是单位元,那么(ε,1)(ε,1)还是(ε,1), 哪来的
(ε,0)?
不过通常大家把Z2 当作加法群 0+0=1+1=0, 1+0=0+1=1....

哦哦,原来这样啊。懂了。谢了哈

[ 发自小木虫客户端 ]
9楼2013-08-20 19:29:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 谁负韶华 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 求助调剂,跨调 +18 X十甫寸Y 2026-04-11 19/950 2026-04-14 19:26 by Art1977
[考研] 求调剂 +9 小聂爱学习 2026-04-11 13/650 2026-04-14 19:18 by Art1977
[考研] 化学070300 求调剂 +23 哈哈哈^_^ 2026-04-12 23/1150 2026-04-14 16:30 by zhouxiaoyu
[考研] 297,工科调剂?河南农业大学本科 +9 河南农业大学-能 2026-04-14 9/450 2026-04-14 16:03 by Art1977
[考研] 各位老师好,求调剂,本科211,一志愿天津大学生物与医药学硕,差两名录取。 +11 路六六jjj 2026-04-13 11/550 2026-04-14 16:01 by zs92450
[考研] 一志愿沪9,326求生物学调剂 +10 刘墨墨 2026-04-13 10/500 2026-04-14 15:16 by zs92450
[考研] 284求调剂 +17 让我上岸吧阿西 2026-04-09 17/850 2026-04-14 14:44 by 不我拉绿卡
[考研] 305求调剂 +8 玛卡巴卡boom 2026-04-11 8/400 2026-04-14 09:04 by pengliang8036
[考研] B区0809 ,数一英一,290 求调剂 +3 泠潍1111 2026-04-12 4/200 2026-04-13 20:35 by 学员JpLReM
[考研] 求调剂 +16 张番茄不炒蛋 2026-04-10 17/850 2026-04-12 13:58 by 熬夜成!
[考研] 296求调剂 +14 汪!?! 2026-04-10 16/800 2026-04-12 10:48 by zhouyuwinner
[考研] 267求调剂 +8 再忙也要吃饭啊 2026-04-09 8/400 2026-04-11 21:42 by cfdbai
[考研] 085600材料与化工329分求调剂 +16 叶zilin 2026-04-10 16/800 2026-04-11 11:04 by may_新宇
[考研] 求调剂 +6 archer.. 2026-04-09 8/400 2026-04-11 10:55 by zhq0425
[考研] 机械专硕270求调剂,接受跨专业 +12 老师看看我吧aba 2026-04-09 14/700 2026-04-11 10:21 by laoshidan
[考研] 22408 327分求调剂 +4 韵风kon 2026-04-10 4/200 2026-04-11 09:51 by 猪会飞
[考研] 281求调剂 +11 觉得好的吧 2026-04-10 11/550 2026-04-11 09:35 by 逆水乘风
[考研] 292求调剂 +9 笑笑袁 2026-04-09 9/450 2026-04-10 10:05 by LHGeng
[考研] 已调剂 +18 柴郡猫_ 2026-04-09 19/950 2026-04-09 22:10 by 柴郡猫_
[考研] 调剂 +12 月@163.com 2026-04-08 12/600 2026-04-09 14:27 by rl1980
信息提示
请填处理意见