萌新刚学群论，有两个不理解的点：

• 怎么证明一个群的单位元只有一个，怎么证明在一个群中的元素仅有一个逆元。

• 一个群的子群不应该和该群完全等价吗（感觉由群的封闭性可得）。