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