作者sm008150204 (风切羽狂)
看板Math
标题Re: [代数] 跟 Subgroup 子群有关的问题
时间Wed Jan 26 10:42:24 2011
※ 引述《superconan (超级柯南)》之铭言：
: 1. 设 H 为 群G 的子群，
: 证明：For all a, b 属於 G , Ha = Hb 或 Ha∩Hb = 空集合 中必恰有一成立。
: 2. 设 H 是 群 ( G,。 ) 的有限集合，且 H 在 "。" 运算之下满足封闭性，
: 证明：H 为 G 的子群。
: 第一题不知道该怎麽证，麻烦高手解说！
: 第二题我在想，是不是只要证 For all a属於H ， a^(-1) 也属於 H 即可？！
: 先谢谢可以为我解惑的高手！！！
希望没错
1.
(1) if a ＝ b , it is clearly that Ha = Hb
(2) if a ≠ b
(a) a,b belong H : Ha = H = Hb
(b) a belong H , b belong G\H : claim Ha∩Hb = 空集合
assume not. let x belong Ha∩Hb
then x belong Ha(=H) and x belong Hb
exist h1 belong H s.t. h1 = x and
h2 belong H s.t. (h2)b = x
then we have h1 = x = (h2)b
since H is subgroup , b = (h2)^(-1) (h1) ,which belong H →←
Thus Ha∩Hb = 空集合
(c) a,b belong G\H : claim Ha∩Hb = 空集合
assume not. let x belong Ha∩Hb
then x belong Ha and x belong Hb
exist h1 belong H s.t. (h1)a = x and
h2 belong H s.t. (h2)b = x
then we have h1(a) = x = (h2)b
since G is subgroup , h1 = (h2) b a^(-1)
which means b a^(-1) belong H , b,a belong H →←
Thus Ha∩Hb = 空集合
2.
Let a belong H , since H is closedness
a^2 belong H , a^3 belong H , ... , a^n belong H , ...
but H is finite , then exist m > 0 s.t. a^m = e
thus H = ＜a＞ ← cyclic group is subgroup of G
H is a subgroup of G
--
我可以为兄弟两肋插刀，
但我可以为女人插兄弟两刀。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.113.90.84
※ 编辑: sm008150204 来自: 140.113.90.84 (01/26 11:14)
1F：推 superconan :谢谢你～我来消化一下 01/26 17:49
2F：→ superconan :想请问第一题a≠b的讨论，怎麽会想到去看a,b有没有在 01/27 04:56
3F：→ superconan :H里面。 01/27 04:57
4F：→ superconan :第二题用到a^m = e，可是应该还不确定e有没有在H吧？ 01/27 04:58
5F：→ sm008150204 :a^m=e 是因为H=<a> finite 去翻翻cyclic group那边吧 01/27 12:08