|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 离散，关于群的消去律 (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=67868) |
|
-- 作者：cpkug -- 发布时间：10/4/2008 7:37:00 PM -- 离散，关于群的消去律 离散大本P251， 对于任意，a, b, c ∈ G, ab = ac => a^-1(ab) = a^-1(ac) => b = c; 同理可证 ba = ca => b = c. 为什么它只用推理符号“ =>”，而不用等值符号“ <=>”，即，我想知道，下面表述正确否： 对于任意，a, b, c ∈ G, 请高手指点，谢谢了！
|
|
-- 作者：bareshift -- 发布时间：10/4/2008 11:13:00 PM -- 对于任意，a, b, c ∈ G, ab = ac => a^-1(ab) = a^-1(ac) => b = c; b = c =>eb=ec=>(a-1a)b=(a-1a)c=>结合律a-1(ab)=a-1(ac) 这里消去a-1就要再用到消去律了,这里本来就是要证消去律.似乎不能倒推
[此贴子已经被作者于2008-10-5 22:27:34编辑过]
|
|
-- 作者：Logician -- 发布时间：10/5/2008 9:28:00 PM -- 反推显然成立 这里不过是为了强调这个方向，懒得去写反方向罢了 |
|
-- 作者：cpkug -- 发布时间：10/6/2008 12:03:00 AM -- 感谢各位回复！ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
27.344ms |