n.亚群；子群
Thus a subgroup of a group is a subset on which the binary product and the unary operation of inversion satisfy the closure axiom. 所以群的子群是在其上二元乘法和一元逆运算满足闭包公理的子集。
