设 HHH 是群 GGG 的非空子集,如果 HHH 适合下列两条件之一,则 HHH 是 GGG 的子群: 对任意的 a,b∈H,ab∈Ha,b\in H,ab\in Ha,b∈H,ab∈H 且 a−1∈Ha^{-1}\in Ha−1∈H对任意的 a,b∈H,ab−1∈Ha,b\in H,ab^{-1}\in Ha,b∈H,ab−1∈H