Thanks very much for the help. I guess the answer to my question as stated is "no" although I'm not sure the replies above show this completely but am sure they can be easily adapted. (I don't think I've assumed that
has a multiplicative unit...if you can prove there is a ring with
doesn't have a multiplicative unit then this just shows that the answer is "no" and the slight problem with taking ring with a non-zero and non-unital idempotent is that I'd specifically said
.)
I'll state the problem I'm really interested in:
Suppose
and assume we know that
in the ring
where
and
. Suppose we also have that
for integers b,c. Then show that
in
.
I thought I must be missing something obvious (which led to the original question), but perhaps not...Can anyone help?