设出H关于H交K的左陪集分解式，证明K在HK中的左陪集代表系可以与H交K在H中的代表系相同。然后分别计算H与HK的阶即可。
群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。
如果群G的非空子集合H对于G的运算也成一个群，那么H称为G的子群。 设G 是群，H是G的非空子集，且H 关于G 上的运算 也构成群 ，则称H 是G的子群。
设出H关于H交K的左陪集分解式，证明K在HK中的左陪集代表系可以与H交K在H中的代表系相同。然后分别计算H与HK的阶。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024