什么是子群？ We define a subgroup H of a group G to be a subset H of G such that when the group operation of G is restricted to H, H is a group in its own right.什么是子群？