[Math] Example of a non commutative domain that is not a division ring

noncommutative-algebraring-theory

My experience with non commutative rings is limited to 2 by 2 matrices and the quaternions. The first of which is not a domain, and the latter is a division ring. I'm looking for an example of a domain that is not a division ring.

Invertible matrices do not produce an example, as they must be division rings. Is there an example within some ring of matrices? Similarly, is there an example within the quaternions?

Best Answer

Wow, three answers and a comment with the same example, and not even the easiest example, IMO! (It's still a good example, though!)

Similarly, is there an example within the quaternions?

Absolutely! There are lots of nonzero subrings of $\Bbb H$ that would already work. Consider for example $\{a+bi+cj+dk\mid a,b,c,d\in \Bbb Z\}\subseteq\Bbb H$.

It's easy to check that this is a subring of $\Bbb H$, which automatically makes it a domain. Clearly it isn't commutative since $ij\neq ji$. Finally, it doesn't contain $2^{-1}$, so it can't be a division ring.

Is there an example within some ring of matrices?

Absolutely! Actually this will be cheating since it will be the same as my first solution, but you might be interested in what happens anyway.

It turns out that the quaternions can be represented by complex matrices in this way:

$a+bi+cj+dk\mapsto\begin{bmatrix}a+bi&c+di\\-c+di&a-bi\end{bmatrix}\in M_2(\Bbb C)$. So by just taking the image of the ring I described in the first part, you have a subring of $M_2(\Bbb C)$ which is a noncommutative domain, not a division ring.

You could take it even further to real matrices:

$a+bi+cj+dk\mapsto\begin{bmatrix}a&b&c&d\\-b&a&-d&c\\-c&d&a&-b\\-d&-c&b&a\\\end{bmatrix}\in M_4(\Bbb R)$ to get another (the same) example. In fact, you can look upon the final example as using a matrix representation of elements of $\Bbb C$: $a+bi\mapsto\begin{bmatrix}a&b\\-b&a\end{bmatrix}$ and plugging that representation into the second example. All three are interlinked.

These are both matrix representations of the original example I suggested.

For a final exotic example that you might be interested in, check out the Hurwitz quaternions. They are an interesting subdomain of $\Bbb H$.