设和是群的两个子群,H1H2={h1*h2|h1属于H1,h2属于H2}.
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/07/01 06:21:56
设和是群的两个子群,H1H2={h1*h2|h1属于H1,h2属于H2}.
证是群的子群的充要条件为H1H2=H2H1
证是群的子群的充要条件为H1H2=H2H1
![设和是群的两个子群,H1H2={h1*h2|h1属于H1,h2属于H2}.](/uploads/image/z/20235228-60-8.jpg?t=%E8%AE%BE%E5%92%8C%E6%98%AF%E7%BE%A4%E7%9A%84%E4%B8%A4%E4%B8%AA%E5%AD%90%E7%BE%A4%2CH1H2%3D%7Bh1%2Ah2%7Ch1%E5%B1%9E%E4%BA%8EH1%2Ch2%E5%B1%9E%E4%BA%8E%26%2361646%3BH2%7D.)
设H1H2=H2H1,只需证对任意a,b属于有a*b^(-1)属于.
由定义知,存在a1,b1属于和a2,b2属于使a=a1a2,b=b1b2.
那么,b^(-1)=b2^(-1)*b1^(-1),由于和都是子群,所以b1^(-1)属于,b2^(-1)属于.
这样的话,a*b^(-1)=a1*a2*b2^(-1)*b1^(-1).由于a2和b2^(-1)都属于H2,所以a2*b2^(-1)也属于H2,记为c.又因为H1H2=H2H1,必存在e,f分别属于H2,H1,使a1*c=e*f,这样的话
a*b^(-1)
=a1*a2*b2^(-1)*b1^(-1)
=a1*c*b1^(-1)
=e*f*b1^(-1)
又因为f和b1^(-1)都属于H1,所以f*b1^(-1)属于H1,e属于H2,所以a*b^(-1)=e*f*b1^(-1)属于H2H1.又因为H1H2=H2H1,所以a*b^(-1)属于H1H2,所以是群的子群.
设是群的子群.设p=a*b为一个H2H1集合中的元素,a属于H2,b属于H1.这样的话,a^(-1)和b^(-1)也分别属于H2和H1,于是p^(-1)=b^(-1)*a^(-1)属于H1H2.又因为是群的子群,所以p=(p^(-1))^(-1)也属于H1H2,于是H1H2包含H2H1.另一个方向的包含关系可以将上述推理反向而得到.结论就是H1H2=H2H1
证毕.
由定义知,存在a1,b1属于和a2,b2属于使a=a1a2,b=b1b2.
那么,b^(-1)=b2^(-1)*b1^(-1),由于和都是子群,所以b1^(-1)属于,b2^(-1)属于.
这样的话,a*b^(-1)=a1*a2*b2^(-1)*b1^(-1).由于a2和b2^(-1)都属于H2,所以a2*b2^(-1)也属于H2,记为c.又因为H1H2=H2H1,必存在e,f分别属于H2,H1,使a1*c=e*f,这样的话
a*b^(-1)
=a1*a2*b2^(-1)*b1^(-1)
=a1*c*b1^(-1)
=e*f*b1^(-1)
又因为f和b1^(-1)都属于H1,所以f*b1^(-1)属于H1,e属于H2,所以a*b^(-1)=e*f*b1^(-1)属于H2H1.又因为H1H2=H2H1,所以a*b^(-1)属于H1H2,所以是群的子群.
设是群的子群.设p=a*b为一个H2H1集合中的元素,a属于H2,b属于H1.这样的话,a^(-1)和b^(-1)也分别属于H2和H1,于是p^(-1)=b^(-1)*a^(-1)属于H1H2.又因为是群的子群,所以p=(p^(-1))^(-1)也属于H1H2,于是H1H2包含H2H1.另一个方向的包含关系可以将上述推理反向而得到.结论就是H1H2=H2H1
证毕.
h1`h2和h3是三角形的三条高,且{h1/h2}2+{h1/h3}2=1.求证该三角形是直角三角形
悍马H1和H2哪个个头大?
h1 h2 h3 h 氢气的关系
若h1、h2、h3是△ABC三边a、b、c上的高,且h1²×h3²-h1²×h2²
已知a,b,c是△ABC的三边,且a:b:c=2:3:4,设h1,h2,h3分别是a,b,c三边上的高,求h1:h2:h
CSS中的h1,h2,h3,h4,h5,
H1.H2.H3.H4.H5是什么化学元素
悍马h1 H2 H3哪个好
h1,h2.yellow{color:yellow}是什么意思
求一个函数 例如 h列下全是数字 然后在g2求h1+h2的和,g3求h1+h2+h3的和,g4求h1+h2+h3+h4的
网站里的h1.h2.h3标签用法,
新A水准,有分H1/H2/H3的是什么意思?