Content deleted Content added
m Bot: link syntax and minor changes |
→Proof: A much clearer understanding of the Identity proof. Tags: Mobile edit Mobile web edit |
||
Line 10:
* Since the operation of H is the same as the operation of G, the operation is associative since G is a group.
* Since H is not empty there exists an element x in H.
* Let x be an element of H. Since the identity e is in H it follows that ex<sup>−1</sup> = x<sup>−1</sup> in H, so the inverse of an element in H is in H.
* Finally, let x and y be elements in H, then since y is in H it follows that y<sup>−1</sup> is in H. Hence x(y<sup>−1</sup>)<sup>−1</sup> = xy is in H and so H is closed under the operation.
| |||