Motivation for Hua's identity I ran into Hua's identity without intending to, meaning that I do not have a concrete reference available, and my background is not in Ring Theory.
It is apparent to me that the identity is something of a big deal, but I couldn't find any explanation why. Authors pretty much assume that if you are reading about it, you already have a feeling for how important it is. Can you give me a hint?
 A: Hua's identity is used to prove that any additive map of a division ring into itself preserving inverses must be an automorphism or antiautomorphism. His identity puts the Jordan triple product $aba$ in terms of additions and inverses, hence showing that those maps are also Jordan automorphisms; but Jordan isomorphisms between simple algebras had been shown by Ancochea and Kaplansky (1947) to be either automorphisms or antiautomorphisms, and the result for general division rings was proved by Hua himself (1949), completing the proof for additive maps preserving inverses. The study of contexts in which Jordan homomorphisms $f:R\rightarrow S$ for $R,S$ associative rings can be described in terms of (associative) homomorphisms and antihomomorphisms has a long and rich history (e.g., Jacobson and Rickart for $R$ a matrix ring, Bresar for $S$ a semiprime ring).


*

*Le théorème de von Staudt en géométrie projective quaternionienne (1942). Ancochea.

*On semi-automorphisms of division algebras (1947). Ancochea.

*Semi-automorphisms of rings (1947). Kaplansky.

*On the automorphisms of a sﬁeld (1949). Hua.

*Jordan homomorphisms of rings (1950). Jacobson, Rickart.

*Jordan mappings of semiprime rings I, II (1989-91). Bresar.
A: Either this answer to my own question encapsulates the reason that Hua's identity is a big deal, or is a trivial consequence of the true raison d'être for the identity. I do not know which...
The video proves a version of the identity formatted so that the product $aba$ is expressed exclusively in terms of inverses and sums:
$$aba = \left[ (a-b^{-1})^{-1}-a^{-1} \right]^{-1}+a$$
Is that it?
