Maths Olympiad Prep

Library / /10 of 16

Algebra Difficulty 6.3 National Olympiad Prove it Romania

Let (A,+,)(A, +, \cdot) be a unitary ring such that the following are true:

(1) AA is not a field;
(2) for any noninvertible element xx of AA, there is an integer m1m \ge 1, depending on xx, such that x=x2+x3++x2mx = x^2 + x^3 + \dots + x^{2^m}. Prove that:

a. x+x=0x+x=0, for any xAx \in A,
b. x2=xx^2 = x, for any noninvertible 1xA1 \neq x \in A.

Solution

a. It is sufficient to prove that 1+1=01+1=0. Consider xx noninvertible, and let mNm \in \mathbb{N}^*, such that x=x2+x3++x2mx = x^2 + x^3 + \dots + x^{2^m}, and y=x+x2++x2m1y = x + x^2 + \dots + x^{2^m-1}. Evidently, xy=xxy = x, so xyk=xxy^k = x, for any kNk \in \mathbb{N}^*. Because xx is not invertible it follows that yy is also, so there is pNp \in \mathbb{N}^*, such that y=(y)2+(y)3++(y)2p1+(y)2p=y2y3+y2p1+y2p-y = (-y)^2 + (-y)^3 + \dots + (-y)^{2^p-1} + (-y)^{2^p} = y^2 - y^3 + \dots - y^{2^p-1} + y^{2^p}. As a consequence x=xy=xy2xy3+xy2p1+xy2p=xx+x+x=x-x = -xy = xy^2 - xy^3 + \dots - xy^{2^p-1} + xy^{2^p} = x - x + \dots - x + x = x, i.e., x+x=0x+x=0.

Consider xx non zero and non-invertible. As 2x=02x = 0, it follows that 22 is non-invertible, so 2+2=02+2=0 and 2=22+23++22m2 = 2^2 + 2^3 + \dots + 2^{2^m}, where mNm \in \mathbb{N}^*. The equality 2+2=02+2=0 implies 22=02^2 = 0, giving 2k=02^k = 0, for any k2k \ge 2. So, 2=22+23++22m=02 = 2^2+2^3+\dots+2^{2^m} = 0.

b. Let xx be a non-invertible element of AA and mNm \in \mathbb{N}^*, such that x=x2+x3++x2mx = x^2 + x^3 + \dots + x^{2^m}. Then x2=x3+x4++x2m+1x^2 = x^3 + x^4 + \dots + x^{2^m+1}. As 1+1=01+1=0, by summing up the two equalities we get x2m+1=xx^{2^m+1} = x.

Equalities 1+1=01+1=0 and x2m+1=xx^{2^m+1} = x imply (x2+x)2m=x2m+1+x2m=x2m+1x2m1+x2m=xx2m1+x2m=x2m+x2m=0(x^2+x)^{2^m} = x^{2^m+1} + x^{2^m} = x^{2^m+1} \cdot x^{2^m-1} + x^{2^m} = x \cdot x^{2^m-1} + x^{2^m} = x^{2^m} + x^{2^m} = 0.

We will show that x2+x=0x^2+x=0, which concludes the proof. Let y=x2+xy = x^2+x and take kk the smallest positive integer such that yk=0y^k = 0 – the existence of kk is assured by y2m=0y^{2^m} = 0. In case k>1k > 1, the element yk1y^{k-1} is non-invertible in AA and there is nNn \in \mathbb{N}^* such that yk1=(yk1)2n+1=y(k1)(2n+1)y^{k-1} = (y^{k-1})^{2^n+1} = y^{(k-1)(2^n+1)}. Because (k1)(2n+1)k(k-1)(2^n+1) \ge k, we infer y(k1)(2n+1)=0y^{(k-1)(2^n+1)} = 0, so yk1=0y^{k-1} = 0 – in contradiction with the minimality of kk. We conclude k=1k=1 and y=0y=0.

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.