§3子群、正规子群与商群 、子群 定义1312:G:;]为群,HG且H≠,如果 H;也为群时,称它为G的子群。 必有这样的子群 G与{e},称为平子群 真子群。§3 子群、正规子群与商群 一、子群 定义13.12:[G;·]为群,HG且H,如果 [H;·]也为群时, 称它为G的子群。 必有这样的子群: G与{e}, 称为平凡子群; 真子群