and Herstein [1]} characterized Lie ideals of a
simple ring \(R\)  as either being contained in the center or
containing the commutator Lie ideal \([R,R]\) . Another proof is
given in [2]}; also see [3]}. It
is considerably more difficult to determine the actual image set
\(\operatorname{Im}p\) , rather than its linear span.

