The common definition of matrix multiplication is not an Abelian group. => A*B != B*A in general. What you see here is a division ring (quaternion). It has all the properties of a field, except the commutation of the multiplication. More in Wikipedia: http://en.wikipedia.org/wiki/Division_ring http://en.wikipedia.org/wiki/Quaternion http://en.wikipedia.org/wiki/Matrix_multiplication