设H是G的非空子集，则是群的子群当且仅当对任意a，b∈H有a.b-1∈H。