以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 计算机考研交流 』   (http://bbs.xml.org.cn/list.asp?boardid=67)
----  问1个问题!关于离散数学中群的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=55500)


--  作者:xiuluodao
--  发布时间:11/17/2007 10:30:00 PM

--  问1个问题!关于离散数学中群的问题
AB是G的有限子群,证明|AB|=(|A||B|)/|A交B|;

我想这样证明|AB|=[|A|,|B|],(|A|,|B|的最小公倍数)
|A交B|=(|A|,|B|),(|A|,|B|的最大公约数)
这样题目就好解多了
但是用Lagrange 定理只能确定整除的关系,不知道怎样证明才能确定|AB|是|A|和|B|最小公倍数和|A交B|是|A|和|B|的最大公约数


--  作者:Logician
--  发布时间:11/18/2007 12:27:00 AM

--  
你这个思路就不对,因为|AB|未必等于[|A|,|B|],|A交B|也未必等于(|A|,|B|)
举个反例,考虑由C_2×C_4 = {e,a}×{e,b,b^2,b^3}得到的8阶交换群S={e,a,a^2,a^3,b,ab,a^2b,a^3b}。显然,它有2阶子群A={e,a}和4阶子群B={e,b,b^2,b^3}。但它们不满足你所假设的等式。
--  作者:xiuluodao
--  发布时间:11/18/2007 10:06:00 PM

--  
原来如此啊!看来我思考问题还不够严密!
谢谢 Logician大人喽!
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms