The idempotent conjecture for images of LF derivations

About 9 years old · traced to

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 e∈Ae\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 e∈Im⁡δ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.

References

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.