I have two matrices A and C from GL(r,Zn).How can I assert that they wont commute.That is how can I ensure the AC<>CA(AC not equals CA). thanks in advance...
You say you "have" two matrices. Does that mean you have the exact matrix representation of these two matrices? If so, why not just compute AC and CA, and see if they're different? Some matrices in your group will commute, and others will not. The identity, for example, commutes with all members of the group!
Well, you could try doing this: let
Therefore, the commutator we compute as follows:
For the two matrices to commute, the commutator must be equal to zero. Interesting point: given either or , you can view the equation as a system of four linear equations in four unknowns for the unknown matrix. You can then characterize, to some extent, all the matrices that will commute with a given matrix. Note: since the zero matrix and the identity matrix both commute with all matrices, there will always be infinitely many matrices that commute with a given matrix (although, of course, since you're in , that will change things a bit. You might have a finite number of commuting matrices in this case.)
That's about as far as I can go.
So, based on Swlabr's comment, that'll give you two more equations (nonlinear this time, unfortunately) to help characterize your matrices. So you're up to six equations (2 of which are nonlinear, 4 linear) in 8 unknowns.
[EDIT] Actually, I'm wrong. Determinant nonzero gives you two nonlinear inequalities. That's just a check condition at the end, they won't help you solve the system.