Generalized Differential Identities of （Semi-）Prime Rings

Let R be a semiprime ring with characteristic p≥0 and RF be its left Martindale quotient ring. If ф（Xi^△j） is a reduced generalized differential identity for an essential ideal of R, then ф（Zije（△j ）） is a generalized polynomial identity for RF, where e（△j） are idempotents in the extended centroid of R determined by △j. Let R be a prime ring and Q be its symmetric Martindale quotient ring. If ф（Xi△j） is a reduced generalized differential identity for a noncommutative Lie ideal of R, then ф（Zij） is a generalized polynomial identity for R, R]. Moreover, if ф（Xi△j） is a reduced generalized differential identity, with coefficients in Q, for a large right ideal of R, then ф（Zij） is a generalized polynomial identity for Q.