Fully noncentral Lie ideals and invariant additive subgroups in rings (Q6972335)

Studying Lie ideals of associative rings, it is possible to prove that every Lie ideal in a nonexceptional simple ring is invariant under all inner automorphisms. The converse problem of when an additive subgroup that is invariant under (certain) inner automorphisms is automatically a Lie ideal has been investigate by many authors.\N\NRecalling that a subset \(X\) in a ring \(R\) is \textit{fully noncentral} if \([R,X]\) is \textit{full}, that is, \([R,X]\) is not contained in a proper ideal of \(R\), the authors prove that for a large class of algebras a fully noncentral subspace is a Lie ideal if and only if it is invariant under inner automorphisms. More precisely, they prove the following result:\N\NLet \(A\) be an algebra over a field \(\neq \{0, 1\}\) such that every commutator in \(A\) is a sum of square-zero elements, and every proper ideal is contained in a nonexceptional prime ideal. Let \(V\subseteq A\) be a fully noncentral subspace. Then, the following are equivalent:\N\begin{itemize}\N\item[1.] The subspace \(V\) is invariant under all inner automorphisms of \(A\).\N\item[2.] The subspace \(V\) is invariant under all inner automorphisms induced by square-zero elements of \(A\).\N\item[3.] We have \([A,A]\subseteq V\).\N\item[4.] The subspace \(V\) is a Lie ideal.\N\item[5.] The subspace \(V\) is an \([A,A]\)-submodule.\N\end{itemize}