We discuss range inclusion results for derivations on noncommutative Banach algebras from the point of view of ring theory.

Let $R$ be a prime ring, $I$ a nonzero ideal of $R$, $d$ a derivation of $R$ and $m,n$ fixed positive integers. (i) If ${\left(d[x,y]\right)}^m={[x,y]}_n$ for all $x,y\in I$, then $R$ is commutative. (ii) If $\mathrm{Char}R\ne 2$ and ${[d\left(x\right),d\left(y\right)]}_m={[x,y]}^n$ for all $x,y\in I$, then $R$ is commutative. Moreover, we also examine the case when $R$ is a semiprime ring.

Let $R$ be a prime ring of char $R\ne 2$ with a nonzero derivation $d$ and let $U$ be its noncentral Lie ideal. If for some fixed integers $n_1\ge 0,n_2\ge 0,n_3\ge 0$, ${\left(u^{n_1}[d\left(u\right),u]u^{n_2}\right)}^{n_3}\in Z\left(R\right)$ for all $u\in U$, then $R$ satisfies $S_4$, the standard identity in four variables.