定理1317:G为有限群H为其子群,则H 的阶可以整除G的阶其相除的商就是H在 G中的指数k。 例:设a为有限群G;]的元素,则a的阶整 除|G 推论138:G为有限群,阶为素数p,则 G;是循环群。▪ 定理13.17：G为有限群,H为其子群, 则H 的阶可以整除G的阶,其相除的商就是H在 G中的指数k。 ▪ 例：设a为有限群[G;*]的元素，则a的阶整 除|G|。 ▪ 推论13.8：G为有限群，阶为素数p，则 [G;*]是循环群