What is the necessary condition for matrix commutation?

[fairy._.queen]

Hi all!

I was wondering what the necessary condition is for two arbitrary matrices, say A and B, to commute: AB = BA.

I know of several sufficient conditions (e.g. that A, B be diagonal, that they are symmetric and their product is symmetric etc), but I can't think of a necessary one.

Thanks in advance!

 

[jedishrfu]

They have to be square too.

Here's more

http://en.m.wikipedia.org/wiki/Commuting_matrices

 

[fairy._.queen]

Ok, so it seems the condition (quite sensible actually!) is that they must both be square and simultaneously triangularisable. Thanks a lot!

 

[fairy._.queen]

What happens, though, when the matrix scalar field is not algebraically closed? I'm happy with the fact that, in this case, if the two matrices are diagonalisable and commute then they are simultaneously diagonalisable, but what is a necessary condition for arbitrary, say, real matrices to commute (even when they can't be diagonalised)?

Thanks!

 

[BruceW]

you could just pretend that the scalar field is the complex numbers, and see if you can make the matrices simultaneously triangular under the complex numbers. If they are not simultaneously triangular under the complex numbers, they will not commute. And if they are simultaneously triangularizable under the complex numbers, then they do commute.

 

[fairy._.queen]

Ok, it makes sense. Thanks a lot!

 

[Stephen Tashi]

I was wondering what the necessary condition is for two arbitrary matrices, say A and B, to commute: AB = BA.

This remark is from a bound set of notes I found in a used book store: "If two matrices are both polynomials in the same matrix C, then they commute. As we shall see later, this is essentially the only way in which we can have commuting matrices."