应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 工科数学 » 求解一道抽象代数群论的题
51/1返回列表
查看: 873  |  回复: 3
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

郭襄她外公

新虫 (初入文坛)

[求助] 求解一道抽象代数群论的题 已有1人参与

G 是一个交换群，n 是一个正整数 G_n= {g∈G:g^n=e} and G^n= {g^n:g∈ G}。 证明G/G_n 和 G^n同态。
谢谢各位大神帮忙呐~
回复此楼

» 猜你喜欢
1楼 2017-05-03 09:39:22
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yfg0525

新虫 (初入文坛)
楼上的证明没问题，我简单理下思路。设f:x到x^n；首先证f是G到G^n的同态映射，而且是满同态；其次证f的核为G_n;最后由同态基本定理都出结果，而且是同构

发自小木虫Android客户端
赞一下 回复此楼
4楼2017-05-06 12:24:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 4 个回答

苦涩的胜利

新虫 (初入文坛)

【答案】应助回帖

感谢参与，应助指数 +1
<a>为G/G_n的元素，构造f：G/G_n -> G^n 为 f(<a>=a^n

先证f是映射，<a>=<a1>时,aa1^-1∈G_n,即存在g∈G_n，有aa1^-1=g,即a=ga1，a^n=(ga1)^n=(g^n)(a1^n)=a1^n (因为是交换群)，从而f是映射

再证f(<a><b>=f(<a>f(<b> :f(<a><b>=f(<ab>=(ab)^n=(a^n)(b^n)=f(<a>f(<b>
赞一下 回复此楼
2楼2017-05-03 15:58:19
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

苦涩的胜利

新虫 (初入文坛)
引用回帖:
2楼: Originally posted by 苦涩的胜利 at 2017-05-03 15:58:19
<a>为G/G_n的元素，构造f：G/G_n -> G^n 为 f(<a>=a^n

先证f是映射，<a>=<a1>时,aa1^-1∈G_n,即存在g∈G_n，有aa1^-1=g,即a=ga1，a^n=(ga1)^n=(g^n)(a1^n)=a1^n (因为是交换群)，从 ...

所有的表情都是右括号...
赞一下 回复此楼
3楼2017-05-03 16:00:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 4 个回答
普通表情 龙 兔 虎 猫
信息提示
关闭
请填处理意见
关闭