What's the English name for this algebraic operation? $ab=ac → b=c$
35369
Monoid / semigroup with cancellation property $ ab=ac\Rightarrow b = c,$ $\ ba = ca\Rightarrow b = c$
78736
Check my proof that $(ab)^{-1} = b^{-1} a^{-1}$
71392
Is $\operatorname{lcm}(a,\gcd(b,c))=\gcd(\operatorname{lcm}(a,b),\operatorname{lcm}(a,c))$
37061
The order of $ab$ when $a,b$ commute
143714
What is the correct notation for flipping $a$ and $b$ values in a complex?
42213
Computing $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$
87304
Solving for $x$ : $a^x+b^x=c$
124320
$a,b,c>0 \text{ s.t. }a+b+c=1 \implies \sqrt{ab+c}+\sqrt{bc+a}+\sqrt{ca+b} \ge 1+ \sqrt{ab}+\sqrt{bc}+\sqrt{ca}$
9574
How to show that $\det(AB) =\det(A) \det(B)$?
85688
How to show $\gcd(ac, bd) = \gcd(a,d) * \gcd(b,c)$
150320
Why does $a^{b}·a^{c}=a^{b+c}$?
32253
How to prove $b=c$ if $ab=ac$ (cancellation law in groups)?
55062
$2\times 2$ matrix $C=AB-BA$
110944
Proving that $AB-BA=cI$ for nontrivial $c \in \mathbb{C}$
144067
calculating $a^b \!\mod c$
103702
What is a/b/c/d? That is: What is the correct order for multiple consecutive division operations?
57125
Prove the distributive law $a(b+c)=ab+ac$ for real numbers?