24小时热门版块排行榜    

CyRhmU.jpeg
南方科技大学公共卫生及应急管理学院2025级博士研究生招生报考通知
查看: 1769  |  回复: 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的回帖

谁负韶华

新虫 (小有名气)

送红花一朵
引用回帖:
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的回帖
查看全部 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的回帖
信息提示
请填处理意见