No they are using the commutativity of multiplication in the underlying number field that the matrices are using.

But your point is good since it means you would have to be careful if you wanted to manipulate matrices over a skew field. Then this result would not be true, and probably some other usual results about matrices would not be true either.