【离散数学：证明如果和都是群的子群,那么也是一个子群】

祁鹏回答：

　　H∩K是G的非空子集，H、K都关于*运算封闭，所以取H∩K的元素作*运算是也封闭。H、K都是子群，含G的单位元，也是H∩K内的单位元。H∩K内任何一个元素，在H、K内都有逆元，z分别在H、K内，也是作为G内元素的逆元，由逆元惟一性，这个逆元在H∩K内。另外结合律成立。故H∩K也是子群。

祁鹏回答：

　　数学符号是一种表达方式，其实上面意思都全了。

　　例如单位元在H∩K内，故H∩K非空。a、b在H∩K内，a*b在H内（子群）也必在K内（子群）所以a*b在H∩K内（用属于符号，这里打不出）等等

祁鹏回答：

　　群有几个等价的定义。我说的是验证那个最基本的定义有一种方法验证了其它性质自然推出