Find two matrices that commute with a given matrix but do not commute with each other
$begingroup$
I've been able to find matrices B and C that commute with
$$A=pmatrix{1 & 2cr3 & 4}$$
by solving the system AB=BA where
$$B=pmatrix{a & bcr c & d}$$
However, when I substitute free variables into my solution, I get two different matrices B and C that commute with A, but B and C always seem to commute with one another.
Can I get a little help on this?
Thanks
Update
Matlab code (Uses Symbolic Toolbox) mentioned in my comment below.
clc
P=[1 0 1; 1 1 1;0 1 1];
D=[1 0 0;0 1 0;0 0 2]
A=P*D*inv(sym(P))
syms a b c d e f g h k
B=[a b c;d e f; g h k];
M=[A*B==B*A]
H=[0 1 1 1 0 0 -1 0 0 0;...
1 2 1 0 -1 0 0 1 0 0;...
1 1 0 0 0 1 0 0 -1 0;...
1 0 0 -2 -1 -1 1 0 0 0;...
0 1 0 1 0 1 0 1 0 0;...
0 0 1 -1 -1 -2 0 0 1 0;...
1 0 0 -1 0 0 0 -1 -1 0;...
0 1 0 0 -1 0 1 2 1 0;...
0 0 1 0 0 -1 -1 -1 0 0]
rref(sym(H))
B=[3 -3 3;1 1 1;1 1 1]
A*B
B*A
C=[5 -4 3;2 1 1;1 1 2]
C*A
A*C
B*C
C*B
Second Update
Let $A$ be a diagonalizable matrix. Then $A=SDS^{-1}$. Prove: $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$.
Proof: If we replace $A$ with $SDS^{-1}$, we can write:
$$begin{align*}
AB&=BA\
(SDS^{-1})B&=B(SDS^{-1})\
SDS^{-1}B&=BSDS^{-1}
end{align*}$$
The last line follows because of the associative property of matrix multiplication. Now we will multiply both sides on the left by $S^{-1}$, then both sides on the right by $S$.
$$begin{align*}
DS^{-1}B&=S^{-1}BSDS^{-1}\
DS^{-1}BS&=S^{-1}BSD\
D(S^{-1}BS)&=(S^{-1}BS)D
end{align*}$$
And we've shown that $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$. Now, if $D$ has distinct diagonal elements, and $S^{-1}BS$ commutes with $D$, $S^{-1}BS$ is a diagonal matrix. See also A Matrix Commuting With a Diagonal Matrix with Distinct Entries is Diagonal. Then if $C$ also commutes with $A$, $S^{-1}CS$ is also a diagonal matrix. Because all diagonal matrices commute with each other, we can write:
$$begin{align*}
(S^{-1}BS)(S^{-1}CS)&=(S^{-1}CS)(S^{-1}BS)\
S^{-1}BSS^{-1}CS&=S^{-1}CSS^{-1}BS\
S^{-1}BICS&=S^{-1}CIBS\
S^{-1}BCS&=S^{-1}CBS
end{align*}$$
Now we can multiply both sides on the left by $S$, then both sides on the right by $S^{-1}$ in our second step.
$$begin{align*}
BCS&=CBS\
BC&=CB
end{align*}$$
Thanks for your help.
linear-algebra
$endgroup$
add a comment |
$begingroup$
I've been able to find matrices B and C that commute with
$$A=pmatrix{1 & 2cr3 & 4}$$
by solving the system AB=BA where
$$B=pmatrix{a & bcr c & d}$$
However, when I substitute free variables into my solution, I get two different matrices B and C that commute with A, but B and C always seem to commute with one another.
Can I get a little help on this?
Thanks
Update
Matlab code (Uses Symbolic Toolbox) mentioned in my comment below.
clc
P=[1 0 1; 1 1 1;0 1 1];
D=[1 0 0;0 1 0;0 0 2]
A=P*D*inv(sym(P))
syms a b c d e f g h k
B=[a b c;d e f; g h k];
M=[A*B==B*A]
H=[0 1 1 1 0 0 -1 0 0 0;...
1 2 1 0 -1 0 0 1 0 0;...
1 1 0 0 0 1 0 0 -1 0;...
1 0 0 -2 -1 -1 1 0 0 0;...
0 1 0 1 0 1 0 1 0 0;...
0 0 1 -1 -1 -2 0 0 1 0;...
1 0 0 -1 0 0 0 -1 -1 0;...
0 1 0 0 -1 0 1 2 1 0;...
0 0 1 0 0 -1 -1 -1 0 0]
rref(sym(H))
B=[3 -3 3;1 1 1;1 1 1]
A*B
B*A
C=[5 -4 3;2 1 1;1 1 2]
C*A
A*C
B*C
C*B
Second Update
Let $A$ be a diagonalizable matrix. Then $A=SDS^{-1}$. Prove: $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$.
Proof: If we replace $A$ with $SDS^{-1}$, we can write:
$$begin{align*}
AB&=BA\
(SDS^{-1})B&=B(SDS^{-1})\
SDS^{-1}B&=BSDS^{-1}
end{align*}$$
The last line follows because of the associative property of matrix multiplication. Now we will multiply both sides on the left by $S^{-1}$, then both sides on the right by $S$.
$$begin{align*}
DS^{-1}B&=S^{-1}BSDS^{-1}\
DS^{-1}BS&=S^{-1}BSD\
D(S^{-1}BS)&=(S^{-1}BS)D
end{align*}$$
And we've shown that $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$. Now, if $D$ has distinct diagonal elements, and $S^{-1}BS$ commutes with $D$, $S^{-1}BS$ is a diagonal matrix. See also A Matrix Commuting With a Diagonal Matrix with Distinct Entries is Diagonal. Then if $C$ also commutes with $A$, $S^{-1}CS$ is also a diagonal matrix. Because all diagonal matrices commute with each other, we can write:
$$begin{align*}
(S^{-1}BS)(S^{-1}CS)&=(S^{-1}CS)(S^{-1}BS)\
S^{-1}BSS^{-1}CS&=S^{-1}CSS^{-1}BS\
S^{-1}BICS&=S^{-1}CIBS\
S^{-1}BCS&=S^{-1}CBS
end{align*}$$
Now we can multiply both sides on the left by $S$, then both sides on the right by $S^{-1}$ in our second step.
$$begin{align*}
BCS&=CBS\
BC&=CB
end{align*}$$
Thanks for your help.
linear-algebra
$endgroup$
$begingroup$
What is your solution for $B$? (Please do not ask people to work it out for themselves when you already have the answer.)
$endgroup$
– David
Dec 17 '18 at 4:38
add a comment |
$begingroup$
I've been able to find matrices B and C that commute with
$$A=pmatrix{1 & 2cr3 & 4}$$
by solving the system AB=BA where
$$B=pmatrix{a & bcr c & d}$$
However, when I substitute free variables into my solution, I get two different matrices B and C that commute with A, but B and C always seem to commute with one another.
Can I get a little help on this?
Thanks
Update
Matlab code (Uses Symbolic Toolbox) mentioned in my comment below.
clc
P=[1 0 1; 1 1 1;0 1 1];
D=[1 0 0;0 1 0;0 0 2]
A=P*D*inv(sym(P))
syms a b c d e f g h k
B=[a b c;d e f; g h k];
M=[A*B==B*A]
H=[0 1 1 1 0 0 -1 0 0 0;...
1 2 1 0 -1 0 0 1 0 0;...
1 1 0 0 0 1 0 0 -1 0;...
1 0 0 -2 -1 -1 1 0 0 0;...
0 1 0 1 0 1 0 1 0 0;...
0 0 1 -1 -1 -2 0 0 1 0;...
1 0 0 -1 0 0 0 -1 -1 0;...
0 1 0 0 -1 0 1 2 1 0;...
0 0 1 0 0 -1 -1 -1 0 0]
rref(sym(H))
B=[3 -3 3;1 1 1;1 1 1]
A*B
B*A
C=[5 -4 3;2 1 1;1 1 2]
C*A
A*C
B*C
C*B
Second Update
Let $A$ be a diagonalizable matrix. Then $A=SDS^{-1}$. Prove: $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$.
Proof: If we replace $A$ with $SDS^{-1}$, we can write:
$$begin{align*}
AB&=BA\
(SDS^{-1})B&=B(SDS^{-1})\
SDS^{-1}B&=BSDS^{-1}
end{align*}$$
The last line follows because of the associative property of matrix multiplication. Now we will multiply both sides on the left by $S^{-1}$, then both sides on the right by $S$.
$$begin{align*}
DS^{-1}B&=S^{-1}BSDS^{-1}\
DS^{-1}BS&=S^{-1}BSD\
D(S^{-1}BS)&=(S^{-1}BS)D
end{align*}$$
And we've shown that $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$. Now, if $D$ has distinct diagonal elements, and $S^{-1}BS$ commutes with $D$, $S^{-1}BS$ is a diagonal matrix. See also A Matrix Commuting With a Diagonal Matrix with Distinct Entries is Diagonal. Then if $C$ also commutes with $A$, $S^{-1}CS$ is also a diagonal matrix. Because all diagonal matrices commute with each other, we can write:
$$begin{align*}
(S^{-1}BS)(S^{-1}CS)&=(S^{-1}CS)(S^{-1}BS)\
S^{-1}BSS^{-1}CS&=S^{-1}CSS^{-1}BS\
S^{-1}BICS&=S^{-1}CIBS\
S^{-1}BCS&=S^{-1}CBS
end{align*}$$
Now we can multiply both sides on the left by $S$, then both sides on the right by $S^{-1}$ in our second step.
$$begin{align*}
BCS&=CBS\
BC&=CB
end{align*}$$
Thanks for your help.
linear-algebra
$endgroup$
I've been able to find matrices B and C that commute with
$$A=pmatrix{1 & 2cr3 & 4}$$
by solving the system AB=BA where
$$B=pmatrix{a & bcr c & d}$$
However, when I substitute free variables into my solution, I get two different matrices B and C that commute with A, but B and C always seem to commute with one another.
Can I get a little help on this?
Thanks
Update
Matlab code (Uses Symbolic Toolbox) mentioned in my comment below.
clc
P=[1 0 1; 1 1 1;0 1 1];
D=[1 0 0;0 1 0;0 0 2]
A=P*D*inv(sym(P))
syms a b c d e f g h k
B=[a b c;d e f; g h k];
M=[A*B==B*A]
H=[0 1 1 1 0 0 -1 0 0 0;...
1 2 1 0 -1 0 0 1 0 0;...
1 1 0 0 0 1 0 0 -1 0;...
1 0 0 -2 -1 -1 1 0 0 0;...
0 1 0 1 0 1 0 1 0 0;...
0 0 1 -1 -1 -2 0 0 1 0;...
1 0 0 -1 0 0 0 -1 -1 0;...
0 1 0 0 -1 0 1 2 1 0;...
0 0 1 0 0 -1 -1 -1 0 0]
rref(sym(H))
B=[3 -3 3;1 1 1;1 1 1]
A*B
B*A
C=[5 -4 3;2 1 1;1 1 2]
C*A
A*C
B*C
C*B
Second Update
Let $A$ be a diagonalizable matrix. Then $A=SDS^{-1}$. Prove: $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$.
Proof: If we replace $A$ with $SDS^{-1}$, we can write:
$$begin{align*}
AB&=BA\
(SDS^{-1})B&=B(SDS^{-1})\
SDS^{-1}B&=BSDS^{-1}
end{align*}$$
The last line follows because of the associative property of matrix multiplication. Now we will multiply both sides on the left by $S^{-1}$, then both sides on the right by $S$.
$$begin{align*}
DS^{-1}B&=S^{-1}BSDS^{-1}\
DS^{-1}BS&=S^{-1}BSD\
D(S^{-1}BS)&=(S^{-1}BS)D
end{align*}$$
And we've shown that $B$ commutes with $A$ if and only if $S^{-1}BS$ commutes with $D$. Now, if $D$ has distinct diagonal elements, and $S^{-1}BS$ commutes with $D$, $S^{-1}BS$ is a diagonal matrix. See also A Matrix Commuting With a Diagonal Matrix with Distinct Entries is Diagonal. Then if $C$ also commutes with $A$, $S^{-1}CS$ is also a diagonal matrix. Because all diagonal matrices commute with each other, we can write:
$$begin{align*}
(S^{-1}BS)(S^{-1}CS)&=(S^{-1}CS)(S^{-1}BS)\
S^{-1}BSS^{-1}CS&=S^{-1}CSS^{-1}BS\
S^{-1}BICS&=S^{-1}CIBS\
S^{-1}BCS&=S^{-1}CBS
end{align*}$$
Now we can multiply both sides on the left by $S$, then both sides on the right by $S^{-1}$ in our second step.
$$begin{align*}
BCS&=CBS\
BC&=CB
end{align*}$$
Thanks for your help.
linear-algebra
linear-algebra
edited Dec 17 '18 at 19:40
David
asked Dec 17 '18 at 4:33
DavidDavid
91111129
91111129
$begingroup$
What is your solution for $B$? (Please do not ask people to work it out for themselves when you already have the answer.)
$endgroup$
– David
Dec 17 '18 at 4:38
add a comment |
$begingroup$
What is your solution for $B$? (Please do not ask people to work it out for themselves when you already have the answer.)
$endgroup$
– David
Dec 17 '18 at 4:38
$begingroup$
What is your solution for $B$? (Please do not ask people to work it out for themselves when you already have the answer.)
$endgroup$
– David
Dec 17 '18 at 4:38
$begingroup$
What is your solution for $B$? (Please do not ask people to work it out for themselves when you already have the answer.)
$endgroup$
– David
Dec 17 '18 at 4:38
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If a square matrix $A$ has distinct eigenvalues, the matrices that commute with $A$ are all polynomials in $A$, and these always commute with each other. This is most easily seen by noticing that $A$ is diagonalizable, and all matrices that commute with a diagonal matrix whose diagonal entries are distinct are themselves diagonal.
Thus in order to give an example where two matrices that commute with $A$ don't commute with each other, you'll need $A$ to have a repeated eigenvalue. The easiest example is $A=I$. If you want a less trivial example (not a multiple of $I$) you'll need at least $3 times 3$ matrices.
$endgroup$
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3043533%2ffind-two-matrices-that-commute-with-a-given-matrix-but-do-not-commute-with-each%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If a square matrix $A$ has distinct eigenvalues, the matrices that commute with $A$ are all polynomials in $A$, and these always commute with each other. This is most easily seen by noticing that $A$ is diagonalizable, and all matrices that commute with a diagonal matrix whose diagonal entries are distinct are themselves diagonal.
Thus in order to give an example where two matrices that commute with $A$ don't commute with each other, you'll need $A$ to have a repeated eigenvalue. The easiest example is $A=I$. If you want a less trivial example (not a multiple of $I$) you'll need at least $3 times 3$ matrices.
$endgroup$
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
add a comment |
$begingroup$
If a square matrix $A$ has distinct eigenvalues, the matrices that commute with $A$ are all polynomials in $A$, and these always commute with each other. This is most easily seen by noticing that $A$ is diagonalizable, and all matrices that commute with a diagonal matrix whose diagonal entries are distinct are themselves diagonal.
Thus in order to give an example where two matrices that commute with $A$ don't commute with each other, you'll need $A$ to have a repeated eigenvalue. The easiest example is $A=I$. If you want a less trivial example (not a multiple of $I$) you'll need at least $3 times 3$ matrices.
$endgroup$
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
add a comment |
$begingroup$
If a square matrix $A$ has distinct eigenvalues, the matrices that commute with $A$ are all polynomials in $A$, and these always commute with each other. This is most easily seen by noticing that $A$ is diagonalizable, and all matrices that commute with a diagonal matrix whose diagonal entries are distinct are themselves diagonal.
Thus in order to give an example where two matrices that commute with $A$ don't commute with each other, you'll need $A$ to have a repeated eigenvalue. The easiest example is $A=I$. If you want a less trivial example (not a multiple of $I$) you'll need at least $3 times 3$ matrices.
$endgroup$
If a square matrix $A$ has distinct eigenvalues, the matrices that commute with $A$ are all polynomials in $A$, and these always commute with each other. This is most easily seen by noticing that $A$ is diagonalizable, and all matrices that commute with a diagonal matrix whose diagonal entries are distinct are themselves diagonal.
Thus in order to give an example where two matrices that commute with $A$ don't commute with each other, you'll need $A$ to have a repeated eigenvalue. The easiest example is $A=I$. If you want a less trivial example (not a multiple of $I$) you'll need at least $3 times 3$ matrices.
answered Dec 17 '18 at 4:39
Robert IsraelRobert Israel
324k23214468
324k23214468
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
add a comment |
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
Thanks for the so quick response. This worked. I used A=[2 -1 1;1 0 1;1 -1 2] which has eigenvalues 1, 1, and 2 and whose eigenvectors are independent. I let B=[a b c; d e f; g h k] and solved the system AB=BA using Matlab (posted above). I was able to determine to matrices [3 -3 3;1 1 1;1 1 1] and C=[5 -4 3;2 1 1;1 1 2], both of which commuted with A, but did not commute with each other. However, I would really love to see a proof of your first paragraph or be given a good reference online to find a detailed proof. Thanks for your help. :-)
$endgroup$
– David
Dec 17 '18 at 6:06
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
I outlined the proof in that paragraph. If $A$ has distinct eigenvalues, it is diagonalizable, say $A = S D S^{-1}$ where $D$ is diagonal with the same eigenvalues as $A$. $B$ commutes with $A$ iff $S^{-1} B S$ commutes with $D$. If $C$ commutes with $D$, then $C_{ij} D_{jj} = (CD)_{ij} = (DC)_{ij} = D_{ii} C_{ij}$, so if $D_{ii} ne D_{jj}$ we must have $C_{ij} = 0$. Thus the only matrices that commute with a diagonal matrix whose diagonal entries are all distinct is a diagonal matrix. And all diagonal matrices commute with each other.
$endgroup$
– Robert Israel
Dec 17 '18 at 13:17
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
$begingroup$
Due to your help, I was finally able to figure it out. See above. Thanks.
$endgroup$
– David
Dec 17 '18 at 19:42
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3043533%2ffind-two-matrices-that-commute-with-a-given-matrix-but-do-not-commute-with-each%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
What is your solution for $B$? (Please do not ask people to work it out for themselves when you already have the answer.)
$endgroup$
– David
Dec 17 '18 at 4:38