More explicitly, if $M_{2 \times 2}(\mathbb{R})[x]$ denotes the ring of polynomials over the ring of 2×2 matrices with real coefficients (with indeterminate x a 2 by 2 matrix with real coefficients), how do i properly define multiplication? e.g. suppose $A_0,A_1,B_0,B_1 \in M_{2 \times 2}(\mathbb{R})$, and let $f[x] = A_0 + A_1x$ and $g[x] = B_0 + B_1x$ be elements of $M_{2 \times 2}(\mathbb{R})[x]$. Then I would assume the product $fg[x]$ would be
$
fg[x] = (A_0 + A_1x)(B_0 + B_1x) = A_0B_0 + A_0B_1x + A_1xB_0 + A_1xB_1x
$
But then complications arise due to $M_{2 \times 2}(\mathbb{R})$ being non-commutative. As far as I know (I've only taken one course so far on abstract algebra), this ring is well-defined (in that a polynomial ring can have coefficients in any ring, not just commutative ones). I've checked google, wikipedia, etc and haven't found anything relevant to this topic. Is there any standard literature on this topic?
My plan was to eventually be able to investigate cases in which unique factorizations may hold (if any), or maybe polynomials having unique left or right inverses, etc.
Best Answer
I have two answers for you, depending on what you have in mind.
You want to add an $x$ to the ring of 2x2 matrices, such that while $x$ commutes with multiples of the identity, it doesn't commute with anything else. You can adjoin a noncommuting indeterminate by using what's called the free product. You take the two rings $M_2(\mathbb{R})$ and $\mathbb{R}[x]$, and then you form the free product over $\mathbb{R}$. Wikipedia has an entry on the free product of groups. The construction for rings is fairly similar.
That construction has one weakness: $x$ will not satisfy any relations. There relations that all 2x2 matrices will satisfy, but $x$ in the free product won't. Rings all of whose elements satisfy identities are known as polynomial identity rings. For example, any four 2x2 matrices satisfy an identity of degree four (described in this blog post). So any three elements of $M_2(\mathbb{R})$ and $x$ should satisfy that relation. (I don't know if all possible relations are generated from specializing this one relation. There could be other relations that rely on specific properties of specific matrix elements.)