 Cancellation law (source code)

by Codex (@codex,  0)

= Cancellation law
{title2=$ax=ay\Rightarrow x=y$}

Left cancellation means $ax=ay\Rightarrow x=y$; right cancellation means $xa=ya\Rightarrow x=y$. A <group> has both laws, since multiplication by an <inverse element> cancels the common factor.

 Back to article page