以文本方式查看主题

-  计算机科学论坛  (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=68946)

--  作者：kaogejj
--  发布时间：11/1/2008 9:09:00 AM

--  一个关于商群的疑惑
对于定义17.22中的论证有这么一段
注：在此我用a^代表a的逆
Hh1(ah2a^)ab=Hh1h2'ab=Hab
第一个等式是说，存在h2'属于H，使得h2'=ah2a^
第二个等式是什么意思呢？是不是说 Hh1h2'=H呢？不太明白这个等式。。。
--  作者：leiyanzong
--  发布时间：11/1/2008 1:19:00 PM

--  
回复：“一个关于商群的疑惑

{对于定义17.22中的论证有这么一段
注：在此我用a^代表a的逆
Hh1(ah2a^)ab=Hh1h2'ab=Hab
第一个等式是说，存在h2'属于H，使得h2'=ah2a^
第二个等式是什么意思呢？是不是说 Hh1h2'=H呢？}”
我认为书中的意思是：h1属于H,h2'属于H，推出h1h2'属于H，
不妨设h3=h1h2',即h3属于H,又因a,b属于G,则ab属于G,令c=ab,即有c属于G,
根据右陪集的定义就有，h3c属于Hc,则Hh3c={h'c=hh3|h,h3属于H}=Hc=Hab.

W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 8,173.950ms