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...

Results 1 to 13 of 13

- August 16th 2010, 11:41 PM #1

- Joined
- Mar 2010
- Posts
- 26

- August 17th 2010, 02:14 AM #2
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!

- August 17th 2010, 03:10 AM #3

- Joined
- Mar 2010
- Posts
- 26

- August 17th 2010, 03:23 AM #4

- August 17th 2010, 03:27 AM #5

- Joined
- Mar 2010
- Posts
- 26

- August 17th 2010, 04:10 AM #6
Well, you could try doing this: let

and

Then

Similarly,

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.

- August 17th 2010, 10:42 PM #7

- Joined
- Mar 2010
- Posts
- 26

- August 18th 2010, 05:04 AM #8

- August 18th 2010, 05:38 AM #9
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.

- August 19th 2010, 10:25 PM #10

- Joined
- Mar 2010
- Posts
- 26

- August 20th 2010, 01:10 AM #11

- August 20th 2010, 11:43 PM #12

- Joined
- Mar 2010
- Posts
- 26

- August 23rd 2010, 12:49 AM #13