Generation of the invariant algebra by Casimir elements
Conjecture. For any derivation DDD the algebra k[X]Dk[X]^Dk[X]D is generated by Casimir elements.