Category:Cancellation Laws

This category contains pages concerning Cancellation Laws:

Let $G$ be a group.

Let $a, b, c \in G$.

Then the following hold:

Right cancellation law

$b a = c a \implies b = c$

Left cancellation law

$a b = a c \implies b = c$