Overview
Properties
- Uniqueness of the Identity - there is one and only one identity element.
- Uniqueness of the Inverses - for each element {% a %} in the group, there is one and only one inverse element.
- Cancellation
{% ba = ca %} implies that {% b = c %}{% ab = ac %} implies that {% b = c %}