identity, jordan, algebras, jordan, algebra, algebra, named, after, luogeng, states, that, elements, division, ring, displaystyle, left, left, right, right, whenever, displaystyle, replacing, displaystyle, with, displaystyle, gives, another, equivalent, form, . For Hua s identity in Jordan algebras see Hua s identity Jordan algebra In algebra Hua s identity 1 named after Hua Luogeng states that for any elements a b in a division ring a a 1 b 1 a 1 1 a b a displaystyle a left a 1 left b 1 a right 1 right 1 aba whenever a b 0 1 displaystyle ab neq 0 1 Replacing b displaystyle b with b 1 displaystyle b 1 gives another equivalent form of the identity a a b 1 a 1 a b 1 a 1 displaystyle left a ab 1 a right 1 a b 1 a 1 Hua s theorem editThe identity is used in a proof of Hua s theorem 2 which states that if s displaystyle sigma nbsp is a function between division rings satisfyings a b s a s b s 1 1 s a 1 s a 1 displaystyle sigma a b sigma a sigma b quad sigma 1 1 quad sigma a 1 sigma a 1 nbsp then s displaystyle sigma nbsp is a homomorphism or an antihomomorphism This theorem is connected to the fundamental theorem of projective geometry Proof of the identity editOne has a a b a a 1 b 1 a 1 1 a b a b b 1 a b 1 a 1 1 displaystyle a aba left a 1 left b 1 a right 1 right 1 ab ab left b 1 a right left b 1 a right 1 1 nbsp The proof is valid in any ring as long as a b a b 1 displaystyle a b ab 1 nbsp are units 3 References edit Cohn 2003 9 1 Cohn 2003 Theorem 9 1 3 Jacobson 2009 2 2 Exercise 9 Cohn Paul M 2003 Further algebra and applications Revised ed of Algebra 2nd ed London Springer Verlag ISBN 1 85233 667 6 Zbl 1006 00001 Jacobson Nathan 2009 Basic algebra Mineola N Y Dover Publications ISBN 978 0 486 47189 1 OCLC 294885194 nbsp This algebra related article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Hua 27s identity amp oldid 1223921073, wikipedia, wiki, book, books, library,