25.1 令 G {\displaystyle G} 為一個群。證明單位元 e ∈ G {\displaystyle e\in G} 是唯一的。同時證明每個元素 x ∈ G {\displaystyle x\in G} 都有唯一的逆元,表示為 x − 1 {\displaystyle x^{-1}} .