作业帮 > 数学 > 作业

设A,B为群G的有限子群,证明|A|·|B|=|AB|·|A∩B|

来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/08/17 07:44:48
设A,B为群G的有限子群,证明|A|·|B|=|AB|·|A∩B|
设A,B为群G的有限子群,证明|A|·|B|=|AB|·|A∩B|
∵A∩B≤A,∴|A∩B|||A|.设n=|A|/|A∩B|
令A=a1(A∩B)∪...∪an(A∩B)为A关于其子群A∩B的左陪集分解
其中ai∈A,(ai)^(-1)aj∉A∩B,i≠j,i,j=1,2,3...n
∵(ai)^(-1)aj∈A,∴(ai)^(-1)aj∉B .①
而(A∩B)B=B,∴AB=[a1(A∩B)∪...∪an(A∩B)]B
=a1(A∩B)B∪...∪an(A∩B)B
=a1B∪...∪anB
若有x∈aiB∩ajB (i≠j),则有bi,bj∈B使得
x=aibi=ajbj => (ai)^(-1)aj=bi(bj)^(-1)∈B,这与①矛盾
∴AB=a1B∪...∪anB是AB关于B的不相交的左陪集的并
∴|AB|=n|B|=|A|·|B|/|A∩B|
即|A|·|B|=|AB|·|A∩B|