Let be a unit ring such that for all one can find , such that , and . Show that:
a) is the only invertible element in ;
b) , for all .
Solution
a) Let be an invertible element of , let and be idempotent elements of such that , and notice that , so and . Since is invertible, it follows that .
b) Begin by noticing that there are no non-zero nilpotent elements in . Indeed, if is an element of and for some integer , then , so is invertible and by (a).
Next, we show that every idempotent element of is central (it commutes with every element of ). Let be idempotent, let be any element of and write
to deduce that , by the preceding. Similarly, , so .
Finally, let be an element of , and write , where and are idempotent. By the preceding, , so .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.