Maths Olympiad Prep

Library / /15 of 42

Algebra Difficulty 5.6 AIME, harder Prove it Romania

Let (K,+,)(\mathbb{K}, +, \cdot) be a field having the property that x2y=yx2x^2y = yx^2, for all x,yKx, y \in \mathbb{K}. Prove that (K,+,)(\mathbb{K}, +, \cdot) is commutative.

Sorin Rădulescu and Mihai Piticari

Solution

We have 21=(a+1)2a21Z(K)2 \cdot 1 = (a+1)^2 - a^2 - 1 \in Z(\mathbb{K}), for aKa \in \mathbb{K}. If the characteristic char(K)char(\mathbb{K}) of K\mathbb{K} is not 22, then 212 \cdot 1 is an invertible element in Z(K)Z(\mathbb{K}), such that
a=(21)1(2a)Z(K), for any aK, a = (2 \cdot 1)^{-1} \cdot (2 \cdot a) \in Z(\mathbb{K}), \text{ for any } a \in \mathbb{K},
implying that K\mathbb{K} is abelian.

Consider the case char(K)=2char(\mathbb{K}) = 2. For a,bKa, b \in \mathbb{K} we have a=(a+b)2a2b2Z(K)a = (a+b)^2 - a^2 - b^2 \in Z(\mathbb{K}). As wab=(ab)2+ab2a=(ab)2+a2b2Z(K)w \cdot ab = (ab)^2 + ab^2a = (ab)^2 + a^2b^2 \in Z(\mathbb{K}), if w0w \neq 0, then a,b0a, b \neq 0 and ab=w1((ab)2+a2b2)Z(K)ab = w^{-1} \cdot ((ab)^2 + a^2b^2) \in Z(\mathbb{K}). Consequently a(ab)=(ab)a=a(ba)a \cdot (ab) = (ab) \cdot a = a \cdot (ba), so that, ab=baab = ba.
In case w=0w = 0, as 1=11 = -1, we get ab=ba=baab = -ba = ba, that is ab=baab = ba for any a,bKa, b \in \mathbb{K}.

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.