A Gröbner-Shirshov basis approach to Hua's identity. (Q464796)

As one can easily see, every associative algebra with unity satisfies the so-called Hua's identity: \((a+ab^{-1}a)^{-1}+(a+b)^{-1}=a^{-1}\), where the elements \(a\), \(b\) and \((a+b)\) are invertible. In the paper under review it is shown how to compute the inverse of \(a^{-1}-(a+b)^{-1}\) without the knowledge of Hua's formula. The method of Gröbner-Shirshov bases for associative non-commutative rings is applied.