Prime Lie rings of derivations of commutative rings in characteristic 2 (Q877713)

Let \(R\) be a unital commutative ring, Der\((R)\) the set of derivations of \(R\) and \(D\subseteq \text{Der}(R)\). An ideal \(I\) of \(R\) is called a \(D\)-ideal if \(\delta(I)\subseteq I\) for all \(\delta\in D\). A ring \(R\) is called \(D\)-simple is there is no \(D\)-ideals other than \(0\) and \(R\). A ring \(R\) is called \(D\)-prime if for any nonzero \(D\)-ideals \(I,J\) we have \(IJ\neq0\). A Lie ring \(D\) is called prime if for any nonzero Lie ideals \(L,M\) of \(D\) we have \([L,M]\neq0\). Suppose \(D\) is a Lie ring and an \(R\)-submodule of \(\text{Der}(R)\). When \(R\) is \(D\)-prime, the authors give necessary and sufficient conditions for \(D\) to be Lie prime for the case. Since results of this nature are already known for rings \(R\) of characteristic not 2, what is really new here is the characteristic 2 case.