Let R be a prime ring, let L a noncentral Lie ideal, and let f be a nonzero semiderivation associated with an automorphism σ such that f(u)~n = 0 for all u ? L; where n is a fixed positive integer. If either CharR > n + 1 or CharR = 0; then R satisfies s_4; the standard identity in four variables.
展开▼
机译：设R为素环，设L为非中心李理想，设f为与自同构σ相关的非零半导数，使得对于所有u，f（u）〜n = 0。 L;其中n是固定的正整数。如果CharR> n + 1或CharR = 0;则R满足s_4;四个变量中的标准标识。
展开▼
