On functional identities andd-free subsets of rings, I

LetA be a prime ring with maximal right ring of quotients Q and with extended centroid C. Further, let S be a set, let αS→ A be a map, let m be a positive integer and let Ei Fi S m-1, be maps. We study functional identities of the form for all s 1,s 2,⋯,sm ϵ S (where , etc). If Sα is an (m+ l)-free subset of Q (for example, if S α = A and A is not algebraic of bounded degree m+1 over C, or S α is a ncentral Lie ideal of A and A is not algebraic of bounded degree m + 2 over C), definitive results are obtained.