On Functional Identities in Prime Rings with Involution II^* (Q4489710)

[For part I cf. \textit{K. I. Beidar} and \textit{W. S. Martindale III}, J. Algebra 203, No. 2, 491-532 (1998; Zbl 0904.16012).] Assume \(A\) is a prime ring with involution \(*\) whose skew elements are \(K\). Let \(R\) be noncentral Lie ideal of \(K\). Consider the maps \(E_i\) and \(F_i\colon R^{m-1}\to Q\) where \(Q\) stands for the maximal (right) ring of quotients of \(A\). The authors describe the functional identities of the form \(\sum_{i=1}^m\{E_i^ix_i+x_iF_i^i\}=0\) for all \(x_i\in R\). Here \(E_i^i\) and \(F_i^i\) stand for \(E_i\) and \(F_i\), respectively with their \(i\)-th argument missing. The description given is rather tight when \(A\) does not satisfy any standard identity of degree \(\leq 4(m+1)\).