24小时热门版块排行榜    

查看: 871  |  回复: 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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +16 医学老男孩 2026-08-20 20/1000 2026-08-21 21:13 by Ldrop2023
[基金申请] 2026国自然函评费到账 +6 羊腰板 2026-08-21 6/300 2026-08-21 21:03 by 雪城001
[基金申请] 科研孤儿太难了 +17 我4大白菜 2026-08-20 18/900 2026-08-21 20:57 by zhangev
[基金申请] 建议基金发布提前给出明确的时间点 +10 kulium 2026-08-21 12/600 2026-08-21 19:46 by kulium
[基金申请] 看来今天不会放榜了? +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] filecode,4个jtjc了 +11 ziyangfang 2026-08-19 14/700 2026-08-21 16:51 by applepetty
[基金申请] 人气不行了 +7 fansofjerry 2026-08-21 7/350 2026-08-21 14:13 by Vivilian
[基金申请] 感觉是下周放榜了 +7 angus9576 2026-08-17 12/600 2026-08-21 13:38 by weiyin
[基金申请] 我面上完蛋了 +7 且听虎啸 2026-08-20 8/400 2026-08-21 12:31 by 酷酷墨镜
[基金申请] 今天基金会出结果吗?20260819 +15 kkkl_v 2026-08-19 16/800 2026-08-21 11:22 by 365372687
[基金申请] 应该是下周三26日公布了吧? +4 哈哈蛤? 2026-08-21 4/200 2026-08-21 10:58 by Vivilian
[论文投稿] 投稿咨询 +5 wwm09 2026-08-17 7/350 2026-08-21 10:11 by 期刊论文帮手
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 放榜前的不淡定 40+4 snowwithsea 2026-08-19 13/650 2026-08-21 08:30 by 北京莱茵编辑
[基金申请] 估计是周四 +3 archvillain 2026-08-18 3/150 2026-08-21 01:48 by jnhyjjm
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] 2027广东省杰青 +4 奶牛小黑 2026-08-15 10/500 2026-08-19 11:02 by wanfengnew
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
信息提示
请填处理意见