8
$\begingroup$

In rings left and right cancellation laws generally don't hold.

can anyone generalize some cases so that we are ensured when the cancellation laws hold in rings?(the case I found was in Integral domains they hold.)

$\endgroup$
1
  • $\begingroup$ That's just the class of "noncommutative domains" $\endgroup$
    – rschwieb
    Sep 30 '14 at 17:56
11
$\begingroup$

Suppose that $ab = ac$ implies $b = c$ for non-zero $a$. Then $a(b-c) = 0$ implies $b-c = 0$. Suppose $a$ is a left zero divisor, i.e. $ad = 0$ for some non-zero $d$. Then taking $b = c+d$ gives $a(b-c) = ad = 0$. So $c = b = c+d$, so $d = 0$, which is a contradiction. So left cancellation implies that the ring has no zero divisors.

Similiarly, right cancellation also implies that the ring has no zero divisors.

Conversely, if a ring has no zero divisors (i.e. it is a domain) then $ab = ac$ ($a \neq 0$) implies $a(b-c) = 0$ implies $b - c = 0$ as $a$ is non-zero and there are no zero divisors, hence $b - c$. Similiarly right cancellation holds.

Conclusion: the following are equivalent for a ring $R$: $R$ has no zero divisors; the left cancellation law holds in $R$; the right cancellation law holds in $R$.

$\endgroup$
1
  • 2
    $\begingroup$ :Your choice of $b,b=c+d$ does'nt seems to be honest as just before this assumption you chose $d$ to be non-zero,while just after this you chose $d=b-c$,which is zero. $\endgroup$
    – Picaso
    Sep 2 '17 at 18:11
1
$\begingroup$

Let $R $ be a ring with cancellation laws holding.

Let $a,b\in R$.

Now,if $ab=ac$ then by left cancellation law we get,$b=c$.

Similarly,if $ba=ca$ then by right cancellation law we get,$b=c$.

Let $ab=0$ then if $a\neq 0$.So,$ab=a0,$by left cancellation law $b=0$.

Therefore,if $ab=0$ then either $a=0$ or $b=0$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.