Maths Olympiad Prep

Library / /176 of 264

Algebra Difficulty 6.1 National Olympiad Prove it Romania

Let (R,+,)(R, +, \cdot) be a unit ring such that for all xRx \in R one can find e1,e2Re_1, e_2 \in R, such that e12=e1e_1^2 = e_1, e22=e2e_2^2 = e_2 and x=e1e2x = e_1e_2. Show that:
a) 11 is the only invertible element in RR;
b) x2=xx^2 = x, for all xRx \in R.

Solution

a) Let xx be an invertible element of RR, let e1e_1 and e2e_2 be idempotent elements of RR such that x=e1e2x = e_1e_2, and notice that 1e1=(1e1)1=(1e1)e1e2x1=(e1e12)e2x1=01 - e_1 = (1 - e_1) \cdot 1 = (1 - e_1)e_1e_2x^{-1} = (e_1 - e_1^2)e_2x^{-1} = 0, so e1=1e_1 = 1 and x2=e22=e2=xx^2 = e_2^2 = e_2 = x. Since xx is invertible, it follows that x=1x = 1.

b) Begin by noticing that there are no non-zero nilpotent elements in RR. Indeed, if xx is an element of RR and xk=0x^k = 0 for some integer k>1k > 1, then 1xk=(1x)(1+x++xk1)1 - x^k = (1-x)(1+x+\dots+x^{k-1}), so 1x1-x is invertible and x=0x=0 by (a).

Next, we show that every idempotent element of RR is central (it commutes with every element of RR). Let ee be idempotent, let xx be any element of RR and write
(exexe)2=exexexexeexeex+exeexe=exexexexeexex+exexe=0, (ex - exe)^2 = exex - exexe - exeex + exeexe = exex - exexe - exex + exexe = 0,
to deduce that ex=exeex = exe, by the preceding. Similarly, xe=exexe = exe, so ex=exe=xeex = exe = xe.

Finally, let xx be an element of RR, and write x=e1e2x = e_1e_2, where e1e_1 and e2e_2 are idempotent. By the preceding, e1e2=e2e1e_1e_2 = e_2e_1, so x2=(e1e2)2=e12e22=e1e2=xx^2 = (e_1e_2)^2 = e_1^2e_2^2 = e_1e_2 = x.

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.