子群的定义

子群的定义就是子集在原来集合的运算定义中成群。

子群的几种判定条件

定理1：

定理2：

定理3：对于非空有限子群，条件可以放松一些了

就可以成群了，这是因为对于有限集合，满足定理3就同时就可以满足单位元与逆元的要求的，也就是可以使子集满足群的要求。