Maths Olympiad Prep

Library / /16 of 34

Algebra Difficulty 5.6 AIME, harder Prove it Romania

Prove that, if a ring RR is not a skew-field, and x2=xx^2 = x for every non-invertible element xx of RR, then x2=xx^2 = x for every element xx of RR.

Solutions — 2

Solution 1

First solution. An element xx of RR such that x2=xx^2 = x is called idempotent. We show that 11 is the only unit in RR. The proof is based on the remark below:
(*) Let xx and yy be elements of a ring RR. If x1x \neq 1 is idempotent, then xyz1xyz \neq 1 and zyx1zyx \neq 1 for all zz in RR; in particular, xyxy and yxyx are both non-invertible.
Indeed, if xyz=1xyz = 1, then x=xxyz=x2yz=xyz=1x = xxyz = x^2yz = xyz = 1, a contradiction. Hence xyz1xyz \neq 1; similarly, zyx1zyx \neq 1.
Back to the problem, fix a non-invertible xx in R{0}R \setminus \{0\}; since RR is not a skew-field, there exists at least one such. Since 2x2x is not invertible, it is idempotent, so 2x=4x2=4x2x = 4x^2 = 4x, that is, 2x=02x = 0.
We now show that xy=xyx=yxxy = xyx = yx for all yy in RR. To prove the first equality, refer to (*) to infer that xyxyx=xy(1x)xy - xyx = xy(1-x) is non-invertible, hence idempotent, so xyxyx=xy(1x)xy(1x)=xy(xx2)y(1x)=0xy - xyx = xy(1-x)xy(1-x) = xy(x-x^2)y(1-x) = 0, since x2=xx^2 = x. Similarly, yxxyx=(1x)yxyx - xyx = (1-x)yx is non-invertible, hence idempotent, so yxxyx=(1x)yx(1x)yx=(1x)y(xx2)yx=0yx - xyx = (1-x)yx(1-x)yx = (1-x)y(x-x^2)yx = 0, since x2=xx^2 = x.

Solution 2

Second solution. As in the previous solution, we show that 11 is the only unit of RR.
We first prove that if uu is a unit, and x0x \neq 0 is not, then u+xu+x is not a unit. Let DD
be the set of all non-invertible elements of R{0}R \setminus \{0\}; since RR is not a skew-field, DD is
non-empty. If xx is a member of DD, then so is x-x, and x=x2=(x)2=xx = x^2 = (-x)^2 = -x, so
2x=02x = 0. Then (1+x)2=1+2x+x2=1+x(1+x)^2 = 1+2x+x^2 = 1+x, so 1+x1+x is not a unit (otherwise,
1+x=11+x=1, so x=0x=0, a contradiction). If uu is a unit, and xx is a member of DD, then uxux
and 1+ux1+ux are both in DD, and so is u+x=u(1+u1x)u+x = u(1+u^{-1}x).
Let xx be a member of DD, let yy be a member of RR, and write x(xy)=x2y=xyx(xy) = x^2y = xy and (yx)x=yx2=yx(yx)x = yx^2 = yx, to infer that xyxy and yxyx are both non-units.
We are now in a position to prove that 11 is the only unit of RR. Let uu be a unit, and let xx be a member of DD. Then x+uxx+ux and x+xux+ xu are both non-units, so (x+ux)2=x+ux(x+ux)^2 = x+ux and (x+xu)2=x+xu(x + xu)^2 = x + xu. Expand both squares to write x2+xux+ux2+(ux)2=x+uxx^2 + xux + ux^2 + (ux)^2 = x + ux and x2+x2u+xux+(xu)2=x+xux^2 + x^2u + xux + (xu)^2 = x + xu, and infer that ux=xux=xuux = xux = xu. Finally, since u+xu + x is not a unit, (u+x)2=u+x(u + x)^2 = u + x, so u2=uu^2 = u; that is, u=1u = 1.

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 and solution reproduced as published; topic and difficulty added by this site.