=ADD=
=reftype=
14
=number=
99-26
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-26.ps.gz
=year=
1999
=month=
09
=author=
Herfort; Wolfgang + Landsmann; G\"unter
=title=
Simultaneous Existence of right Inverses for $1-ab$ and $1-ba$ 
=abstract=
A well known fact in any associative ring with an identity element
ensures the existence of a right-inverse for $1-ba$ provided the one for
$1-ab$ exists. We present a {\em natural} proof by employing a suitable
term rewriting procedure.
=sponsor=
Austrian Science Foundation
=keywords=
term rewriting