Lemma
Let be a group. Then:
- The identity of is unique;
- if then is unique;
Proof
Suppose s.t they are both identities
and
Suppose are both inverses of .
WTS
Theorem: Cancellation Law
Let be a group and .
If either:
or
then
Proof
if
Corollary
Let be a group, . Then:
There exists exactly one such that
and exactly one such that .
(Examples drawing out Cayley Tables in class I don’t want to type ts)