离散数学:子群及其证明

子群的定义

证明方法

1.定义证明

即证明,运算在非空子集上满足封闭性,有幺元,子集中的每个元素均可逆

2.定理证明

定理