The purpose is to create a scalar ring where the relation holds by definition. This allows the matrix equation to be encoded algebraically, so that solutions to the matrix equation correspond to module structures over .
Conditions: Starting from the non-commutative polynomial ring .; Modding out by the two-sided ideal generated by .
The purpose is to create a scalar ring where the relation holds by definition. This allows the matrix equation to be encoded algebraically, so that solutions to the matrix equation correspond to module structures over .
Conditions: Starting from the non-commutative polynomial ring .; Modding out by the two-sided ideal generated by .