Lemma

Let be a group. Then:

  1. The identity of is unique;
  2. 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)