抽象代数证明或反驳:A、B是群G的子群,则A∩B也是G的子群.如下这么证明有没有问题?证明:设x∈A∩B => x∈A 且x∈Bx∈A => x^(-1)∈A同理x^(-1)∈B=> x^(-1) ∈A∩Be是A、B的单位元e∈A∩B ex=x (x为A∩B

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/09 01:28:23
抽象代数证明或反驳:A、B是群G的子群,则A∩B也是G的子群.如下这么证明有没有问题?证明:设x∈A∩B => x∈A 且x∈Bx∈A => x^(-1)∈A同理x^(-1)∈B=> x^(-1) ∈A∩Be是A、B的单位元e∈A∩B ex=x (x为A∩B

抽象代数证明或反驳:A、B是群G的子群,则A∩B也是G的子群.如下这么证明有没有问题?证明:设x∈A∩B => x∈A 且x∈Bx∈A => x^(-1)∈A同理x^(-1)∈B=> x^(-1) ∈A∩Be是A、B的单位元e∈A∩B ex=x (x为A∩B
抽象代数证明或反驳:A、B是群G的子群,则A∩B也是G的子群.如下这么证明有没有问题?
证明:设x∈A∩B => x∈A 且x∈B
x∈A => x^(-1)∈A
同理x^(-1)∈B
=> x^(-1) ∈A∩B
e是A、B的单位元
e∈A∩B
ex=x (x为A∩B的任意元素)
结合律显然成立.
所以A∩B也是G的子群.

抽象代数证明或反驳:A、B是群G的子群,则A∩B也是G的子群.如下这么证明有没有问题?证明:设x∈A∩B => x∈A 且x∈Bx∈A => x^(-1)∈A同理x^(-1)∈B=> x^(-1) ∈A∩Be是A、B的单位元e∈A∩B ex=x (x为A∩B
基本正确:缺运算及其封闭性证明:设运算为+:设x1,x2∈A∩B,则x1,x2∈A,& x1,x2∈B
又A,B是群,所以x1+x2∈A,& x1+x2∈B,所以x1+x2∈A∩B
此外,应该证明G的单位元e就是子群的单位元

证明子群的一般方法,
是任取子集S中a,b两个元素。
证明ab^(-1)属于G就好了。
注意b^(-1)不显然属于G。


无论用哪种证明方式,结合律无需说明
主要说明,封闭,有逆,以及含群G的单位元。

你的证明少了一个封闭。

抽象代数证明或反驳:A、B是群G的子群,则A∩B也是G的子群.如下这么证明有没有问题?证明:设x∈A∩B => x∈A 且x∈Bx∈A => x^(-1)∈A同理x^(-1)∈B=> x^(-1) ∈A∩Be是A、B的单位元e∈A∩B ex=x (x为A∩B 抽象代数证明:群G的任何子群的交集是子群.我克优好459281182 抽象代数:G是有限群,n||G|,G中仅一个n阶子群H,证明H是G的正规子群 求抽象代数的一个证明试证:群G的任意有限子半群是子群. 简单抽象代数题G是循环群~H是G的子群~证明G/H 是循环群 抽象代数定理:设H,k是群G的两个子群,则HK 【抽象代数/近世代数】一个有限群G的子群S阶数为7一个有限群G的子群S阶数为7,且S中除单位元外每个元素的逆元都不是其本身.问G的阶数可能是:A.28 B.35 C.42 抽象代数:n阶有限群G的子群H的阶必须是n的() 为什么 有关抽象代数里的一个同态定理的证明上的疑问是Joseph J.Rotman著《抽象代数基础教程(原书第3版)》里定理2.122(第三同构定理)的证明上的疑问:若H和K都是群G的正规子群,K≤H(K是H的子群),则 A,B是G的子群,证明|G:A∩B|≤|G:A||G:B| 抽象代数概念问题:群g的正规子群除如题~谢谢 抽象代数证明:设H、K是群G的子群,则(H:H∪K) hK则ψ为A到B的映射.再证ψ为单射.若(h1)K = (h2)K (h1、 h2∈H) //-------------假设则存在k1 、 k2∈K,使h1k1 = h2k2故由K G是群,A,B是G的子群,证明AB是G的子群当且仅当AB=BA 抽象代数题目:N是G的极大正规子群的充要条件是G/N为单群 答案说用对应定理 抽象代数:证明或反驳:有循环群和,且=,则生成元a=b或a=b^(-1).我客u好:459281182 抽象代数(近世代数)中的一个问题...关于循环群G是一个群,k是正整数,记G^k={a^k|a属于k},如果G的每个子群都是G^k这样的集合,求证G是一循环群.(《代数学引论》第二版,聂灵沼、丁石孙,第二 近世代数问题设G是一个群,H是G的m阶子群,a属于G,证明G中所有形如hah^-1(h属于H)的元素个数整除m 抽象代数中的一个定理:群G的全体中心元素作成的集合C(G)是G的一个子群.证:因为e∈C(G), 故C(G)非空,又设a,b∈C(G),则对G中任意元素x都有ax=xa, bx=xb,从而又有b^(-1) x = x b^(-1), //////////////////不