A note on certain subrings and ideals of prime rings (Q4380592)

For any ring \(R\) with derivation \(D\) set \([x,y]_1=xy-yx\), for \(k>1\) let \([x,y]_k=[[x,y]_{k-1},y]_1\), and for \(n\geq 2\) let \(U(n)\) be the subring of \(R\) generated by \(\{[D(r),r]_{n-1}\mid r\in R\}\). A slightly simplified version of the main theorem in the paper is that \(U(n)\) contains a nonzero ideal of \(R\) when \(D^3\neq 0\) and either \(\text{char }R\geq n+1\) or \(\text{char }R=0\). Note that in Example 1, assuming that \(\text{char }F\neq 2\), \(U\) is the set of all upper triangular matrices in \(M_2(F)\).