24小时热门版块排行榜    

查看: 703  |  回复: 5

math2000

铁杆木虫 (职业作家)

[求助] 请教一个群论中的问题

请问下面问题如何解答:
设G是非空集合,在G上定义一个满足结合律的二元运算:对G中任意的元素a和b,定义二元运算ab仍在G中。
若对G中任意元素x,G中存在唯一元素y,使得x=xyx.则G是群。

不知道如何证明单位元存在??
先谢了
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

weft

木虫 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
这是群论中的既有结论还是你自己想要的结果? 我觉得G不一定是群.
2楼2013-10-07 03:12:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

math2000

铁杆木虫 (职业作家)

一道习题。感觉xy就是单位元 ,但证明不出来
3楼2013-10-07 16:51:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

weft

木虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by math2000 at 2013-10-07 16:51:35
一道习题。感觉xy就是单位元 ,但证明不出来

是哪本书上的习题? 你发个图片上来看看. 我对这个结论存疑, 而且想到了一个可能的反例.
4楼2013-10-08 00:23:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

★ ★ ★ ★ ★
感谢参与,应助指数 +1
math2000: 金币+5, ★★★★★最佳答案, 非常感谢,虽然我也证明出来了,但方法比你提出的方法啰嗦多了 2013-10-08 18:33:32
1.) When x=xyx, then x=x*yxy*x, by uniqueness,  y=yxy.
2.) Let a=xy, clearly a^2=a. Assume there is another b such that b^2=b, we want to show a=b.
[ Consider ab and c such that ab*c*ab=ab. Then ab* bc*ab=ab, so bc=c.
Similarly, ab* ca*ab=ab implies ca=c.
Now from c* ab*c=c, it gets c*b*c=c,  thus ab=b.  meanwhile, c*a*c=c, so ab=a too. Thus a=b. ]
3.) This a=b is the identity element for the group. We do not assume finiteness on the set G.
We_must_know. We_will_know.
5楼2013-10-08 03:58:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

weft

木虫 (正式写手)

抱歉楼主, 我漏看了唯一性的条件, 从而想着去找反例.
6楼2013-10-09 12:28:19
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 math2000 的主题更新
信息提示
请填处理意见