The idempotent conjecture for images of LF derivations
Let be a field of characteristic zero and let be a -algebra, not necessarily unital or commutative. Let be a locally finite -derivation or a locally finite --derivation of , and write . An element is idempotent if ; let denote the principal two-sided ideal generated by .
Idempotent conjecture. If is an idempotent, then
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
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.