In algebra, Hua's identity[1] states that for any elements a, b in a division ring,
whenever .
An important application of the identity is a proof of Hua's theorem.[2] The theorem says that if is a function between division rings and if satisfies:
,
then is either a homomorphism or antihomomorphism.