In algebra, Hua's identity[1] named after Hua Luogeng, states that for any elements a, b in a division ring,

whenever . Replacing with gives another equivalent form of the identity:

Hua's theorem

The identity is used in a proof of Hua's theorem,[2][3] which states that if is a function between division rings satisfying

then is a homomorphism or an antihomomorphism. This theorem is connected to the fundamental theorem of projective geometry.

Proof of the identity

One has

The proof is valid in any ring as long as are units.[4]

References

  1. Cohn 2003, §9.1
  2. Cohn 2003, Theorem 9.1.3
  3. "Is this map of domains a Jordan homomorphism?". math.stackexchange.com. Retrieved 2016-06-28.
  4. Jacobson 2009, § 2.2. Exercise 9.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.