What is a formal model for equations in non-commutative ring?
The standard formal modeling for polynomials is the polynomial ring which is a monoid ring R[Nn] over an rng R.
Under this construction, it is possible to commute 's so that .
However, over a non-commutative ring, we need more than this.
For example, say we want to find a solution of a equation over a non-commutative ring.
If we want to find 3-tuples in the center of the ring, then the standard polynomial ring can be used to find the solutions. However, in general, we don't want 's to commute. For example, we want . Moreover, if there is a formal model for polynomials, it always form a ring.
Consquently, rather than , we need somewhat more complex structure.
Say, R[M] is a monoid ring over R and it is a correct model of polynomial rings.
Then, M should have information about how variables are ordered and what the powers of each variable in a term are. What would M be?
Is there a way to construct polynomials in non-commutative rings?