关于H的商群 定义1317:[G*为群[H;*为其正规子群 G/H为G关于H的商集合,⑧为GH上关于 陪集的运算则[G/H;]是群称为G关于 H的商群。 在G是有限阶的群时,GH的阶必有限,且 等于正规子群H在G中的指数,即|GH❖ 关于H的商群 ❖ 定义13.17:[G;*]为群,[H;*]为其正规子群, G/H为G关于H的商集合,为G/H上关于 陪集的运算, 则 [G/H;]是群,称为G关于 H的商群。 ❖ 在G是有限阶的群时,G/H的阶必有限, 且 等于正规子群H在G中的指数,即|G|/|H|