Additive subgroups generated by noncommutative polynomials (Q2165640)

A ring (resp. an algebra) \(R\) is said to have the \textit{property \((P)\)} if every proper ideal of \(R\) is contained in a maximal ideal of \(R\). A ring (resp. an algebra) \(R\) has the property \((P)\) if either it satisfies the ascending chain condition on ideals or it is finitely generated as an ideal. The author studies the following problem: Problem 2. Let \(R\) be a ring having the property \((P)\), and let \(L\) be a Lie ideal of \(R\). (i) If \(I([R, L]) = R\), then \(R = [R, L] + [R, L]^2\)? (ii) If \(I(L) = R\), then \([R, R]\subseteq L\)? Given a noncommutative polynomial \(f\), let \(f(R)\) stand for the additive subgroup of \(R\) generated by the image of \(f\). For a unital or an affine algebra \(R\), \(S_k(R)\) is completely determined for any standard polynomial \(S_k\) when \(R\) is generated by \(S_k(R)\) as an ideal. Motivated by \textit{M. Brešar}'s paper [Adv. Math. 374, Article ID 107346, 21 p. (2020; Zbl 1459.16022)] and \textit{L. Robert}'s paper [J. Oper. Theory 75, No. 2, 387--408 (2016; Zbl 1389.46058)], under certain conditions, the author also proves that \(f(R)\) is equal to either \([R,R]\) or the whole ring \(R\). He obtains these results by studying the structure of Lie ideals \(L\) of a ring \(R\) whenever \(R\) is generated by \([R,L]\) as an ideal. One of the key ideas is the following: if an ideal \(I\) contains a \(T\)-ideal then for the study of the factor algebra one can use PI-theory.