Prove that, if a ring is not a skew-field, and for every non-invertible element of , then for every element of .
Solutions — 2
Solution 1
First solution. An element of such that is called idempotent. We show that is the only unit in . The proof is based on the remark below:
(*) Let and be elements of a ring . If is idempotent, then and for all in ; in particular, and are both non-invertible.
Indeed, if , then , a contradiction. Hence ; similarly, .
Back to the problem, fix a non-invertible in ; since is not a skew-field, there exists at least one such. Since is not invertible, it is idempotent, so , that is, .
We now show that for all in . To prove the first equality, refer to (*) to infer that is non-invertible, hence idempotent, so , since . Similarly, is non-invertible, hence idempotent, so , since .
Solution 2
Second solution. As in the previous solution, we show that is the only unit of .
We first prove that if is a unit, and is not, then is not a unit. Let
be the set of all non-invertible elements of ; since is not a skew-field, is
non-empty. If is a member of , then so is , and , so
. Then , so is not a unit (otherwise,
, so , a contradiction). If is a unit, and is a member of , then
and are both in , and so is .
Let be a member of , let be a member of , and write and , to infer that and are both non-units.
We are now in a position to prove that is the only unit of . Let be a unit, and let be a member of . Then and are both non-units, so and . Expand both squares to write and , and infer that . Finally, since is not a unit, , so ; that is, .