The idempotent conjecture for images of LF derivations

Let KK be a field of characteristic zero and let A{\mathcal A} be a KK-algebra, not necessarily unital or commutative. Let δ\delta be a locally finite KK-derivation or a locally finite KK-E{\mathcal E}-derivation of A{\mathcal A}, and write Imδ=δ(A)\operatorname{Im}\delta=\delta({\mathcal A}). An element eAe\in {\mathcal A} is idempotent if e2=ee^2=e; let (e)(e) denote the principal two-sided ideal generated by ee.

Idempotent conjecture. If eImδe\in\operatorname{Im}\delta is an idempotent, then

(e)Imδ.(e)\subseteq\operatorname{Im}\delta.

This is presented as a weaker version of the conjecture that these images are Mathieu subspaces. It concerns whether the image contains the entire two-sided ideal generated by each idempotent that it contains, and its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Wenhua Zhao, “Idempotents in Intersection of the Kernel and the Image of Locally Finite Derivations and E-derivations”, arXiv:1701.05993 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.