In group theory, given a group G under a binary operation?*, a subset H of G is called a subgroup of G if H also forms a group under the operation?*. More precisely, H is a subgroup of G if the restriction of * to H x H is a group operation on H.
详细百科解释