What are your reasons for believing it's true? Or is that a secret?
Let with the relations
True or False: for every there exists such that
the problem is made up by me and i have some reasons (no proof) to believe that it is true!
note that if at least one of three variables does not appear in then the statement is trivially true.
this could be a good undergraduate project - or maybe it's too hard?
I think by
" with the relations "
NonCommAlg means the free -ring on 3 indeterminates, modded out by the relations provided.
It's the ring of complex polynomials over , except without commutivity except as those relations dictate.
The partial derivative, I assume, is just a formalization of the analytic notion of a partial derivative. It's the same as the partial derivative for an ordinary polynomial over in x, y, and z, except that the non-commutivity now has to be respected.
Thus means an element of A, a funky non-commuting polynomial in x, y, z, that isn't just a constant value. It must include at least some power of x, y, or z - at least, after those relations are taken into account (meaning yx-xy is not in , because under these relations, it's a constant polynomial).
The is required because otherwise b=1 (actually, any b in ) trivially works.
That's what I take the description to mean.