酷兔词典首页

子群


假设(G, *)是一个群,若 H 是 G 的一个非空子集且同时 H 与相同的二元运算 * 亦构成一个群,则 (H, *) 称为 (G, *) 的一个子群。参阅群论。