How to prove $b=c$ if $ab=ac$ (cancellation law in groups)?

Suppose $$a\cdot b = a\cdot c$$ Let $a^{-1}$ be the inverse element of $a$ in $G$ (s.t. $a^{-1}\cdot a = a\cdot a^{-1} = e$ where $e$ is the identity element), which must exist by the axioms of groups. Now consider

$$a^{-1}\cdot(a \cdot b) =a^{-1}\cdot(a\cdot c)$$

By associativity, we have

$$(a^{-1}\cdot a)\cdot b = (a^{-1}\cdot a)\cdot c$$

By the definition of inverse, we have

$$e\cdot b = e\cdot c$$

where $e$ is the identity element (s.t. $e\cdot x = x\cdot e = x$ for all $x \in G$). By the definition of the identity element,

$$b = c$$


Hint:

If you know that $4\cdot x = 4\cdot y$, how do you prove that $x=y$?

Hint 2:

Think about inverses


$G$ is a group. One of the axioms of a group is that every element has an inverse. This means that $a\in G$ has an inverse $a^{-1} \in G$. This will help a lot.

Tags:

Group Theory

Related

What is the chance that a rabbit won't fall off a table if you put it somewhere and it moves. Evaluation of $\lim_{x\rightarrow \infty}\left\{\left[(x+1)(x+2)(x+3)(x+4)(x+5)\right]^{\frac{1}{5}}-x\right\}$ Factorial question: number of trailing zeroes in 125! If $u \in H^s(\mathbb{R}^n)$ for $s > n/2$, then $u \in L^\infty(\mathbb{R}^n)$? Evaluate the infinite product $\prod_{k \geq 2}\sqrt[k]{1+\frac{1}{k}}=\sqrt{1+\frac{1}{2}} \sqrt[3]{1+\frac{1}{3}} \sqrt[4]{1+\frac{1}{4}} \cdots$ What is this binomial sum? Is there more than one occurrence of a power of two between twin primes? Relation between Cartesian closed category and Lambda Calculus Independent $\sigma$-algebras using $\pi$-$\lambda$-theorem Field with four elements Infinite summation: $x+x+x+x+... =2$? Does $\sqrt{\cos{\theta} \sqrt{\cos{\theta} \sqrt{\cos{\theta\dots}}}}=\sqrt{1 \sqrt{1 \sqrt{1\dots}}} \implies \cos{\theta}=1$?

Recent Posts