Do $ AB $ and $ BA $ have same minimal and characteristic polynomials?
$begingroup$
Let $ A, B $ be two square matrices of order $n$. Do $ AB $ and $ BA $ have same minimal and characteristic polynomials?
I have a proof only if $ A$ or $ B $ is invertible. Is it true for all cases?
linear-algebra matrices
$endgroup$
add a comment |
$begingroup$
Let $ A, B $ be two square matrices of order $n$. Do $ AB $ and $ BA $ have same minimal and characteristic polynomials?
I have a proof only if $ A$ or $ B $ is invertible. Is it true for all cases?
linear-algebra matrices
$endgroup$
2
$begingroup$
The coefficients of the characteristic polynomial are continuous functions in the entries of a matrix, so if the characteristic polynomials of $AB$ and $BA$ coincide for a dense set of $A$ (or a dense set of $B$) then they always coincide. The coefficients of the minimal polynomial, on the other hand...
$endgroup$
– Qiaochu Yuan
Feb 22 '13 at 21:12
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@QiaochuYuan
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Let $ A, B $ be two square matrices of order $n$. Do $ AB $ and $ BA $ have same minimal and characteristic polynomials?
I have a proof only if $ A$ or $ B $ is invertible. Is it true for all cases?
linear-algebra matrices
$endgroup$
Let $ A, B $ be two square matrices of order $n$. Do $ AB $ and $ BA $ have same minimal and characteristic polynomials?
I have a proof only if $ A$ or $ B $ is invertible. Is it true for all cases?
linear-algebra matrices
linear-algebra matrices
edited Dec 17 '15 at 23:49
user26857
39.4k124183
39.4k124183
asked Feb 22 '13 at 17:16
AndyAndy
1,0001018
1,0001018
2
$begingroup$
The coefficients of the characteristic polynomial are continuous functions in the entries of a matrix, so if the characteristic polynomials of $AB$ and $BA$ coincide for a dense set of $A$ (or a dense set of $B$) then they always coincide. The coefficients of the minimal polynomial, on the other hand...
$endgroup$
– Qiaochu Yuan
Feb 22 '13 at 21:12
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@QiaochuYuan
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
2
$begingroup$
The coefficients of the characteristic polynomial are continuous functions in the entries of a matrix, so if the characteristic polynomials of $AB$ and $BA$ coincide for a dense set of $A$ (or a dense set of $B$) then they always coincide. The coefficients of the minimal polynomial, on the other hand...
$endgroup$
– Qiaochu Yuan
Feb 22 '13 at 21:12
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@QiaochuYuan
$endgroup$
– cmi
Nov 19 '18 at 4:56
2
2
$begingroup$
The coefficients of the characteristic polynomial are continuous functions in the entries of a matrix, so if the characteristic polynomials of $AB$ and $BA$ coincide for a dense set of $A$ (or a dense set of $B$) then they always coincide. The coefficients of the minimal polynomial, on the other hand...
$endgroup$
– Qiaochu Yuan
Feb 22 '13 at 21:12
$begingroup$
The coefficients of the characteristic polynomial are continuous functions in the entries of a matrix, so if the characteristic polynomials of $AB$ and $BA$ coincide for a dense set of $A$ (or a dense set of $B$) then they always coincide. The coefficients of the minimal polynomial, on the other hand...
$endgroup$
– Qiaochu Yuan
Feb 22 '13 at 21:12
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@QiaochuYuan
$endgroup$
– cmi
Nov 19 '18 at 4:56
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@QiaochuYuan
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
5 Answers
5
active
oldest
votes
$begingroup$
If $A$ is invertible then $A^{-1}(AB)A= BA$, so $AB$ and $BA$ are similar, which implies (but is stronger than) $AB$ and $BA$ have the same minimal polynomial and the same characteristic polynomial.
The same goes if $B$ is invertible.
In general, from the above observation, it is not too difficult to show that $AB$, and $BA$ have the same characteristic polynomial, the type of proof could depends on the field considered for the coefficient of your matrices though.
If the matrices are in $mathcal{M}_n(mathbb C)$, you use the fact that $operatorname{GL}_n(mathbb C)$ is dense in $mathcal{M}_n(mathbb C)$ and the continuity of the function which maps a matrix to its characteristic polynomial. There are at least 5 other ways to proceed (especially for other field than $mathbb C$).
In general $AB$ and $BA$ do not have the same minimal polynomial. I'll let you search a bit for a counter example.
$endgroup$
9
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
add a comment |
$begingroup$
Before proving $AB$ and $BA$ have the same characteristic polynomials show that if $A_{mtimes n}$ and $B_{ntimes m} $ then characteristic polynomials of $AB$ and $BA$ satisfy following statement: $$x^n|xI_m-AB|=x^m|xI_n-BA|$$ therefore easily conclude if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
Define $$C = begin{bmatrix} xI_m & A \B & I_n end{bmatrix}, D = begin{bmatrix} I_m & 0 \-B & xI_n end{bmatrix}.$$ We have
$$
begin{align*}
det CD &= x^n|xI_m-AB|,\
det DC &= x^m|xI_n-BA|.
end{align*}
$$
and we know $det CD=det DC$ if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
$endgroup$
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Hint: Consider $A = begin{bmatrix} 0 & 1 \ 0 & 0 end{bmatrix}$ and $B = begin{bmatrix} 0 & 0 \ 0 & 1 end{bmatrix}$. What do you get in that case?
$endgroup$
2
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
It's not true that their characteristic polynomials will be the same in the general case. The best result in this general vein is the following.
Let $Ainmathbb{F}^{m times n}$ and let $Binmathbb{F}^{n times m}$, and $AB$, $BA$ with minimal polynomials (over $mathbb{F}$) $m_{AB}(x)$ and $m_{BA}(x)$ respectively. Then one of the following holds:
$m_{AB}(x) = m_{BA}(x)$, or $m_{AB}(x) = x cdot m_{BA}(x)$, or $xcdot m_{AB}(x) = m_{BA}(x)$.
It's easy, just use the fact that $(BA)^k=B(AB)^{k-1}A$.
$endgroup$
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
add a comment |
$begingroup$
For squre matrix, the charateristic polynomials are same, but for $A$ is matrix of size $m times n$ and B be matrix of size $n times m$. Then $x^{m}C_{BA}(x)=x^{n}C_{AB}(x)$ this implies that the nonzero eigenvalue of $AB$, counted with multiplicites, are same as nonzero eigenvalue of $BA$.
That is if A is of size 7×4 and B is of size 4×7 and assume that the 4×4 matrix BA has nonzero eigenvalue 1,1,3 so fourth eigenvalue of BA is 0. Then the 7×7 matrix AB will also have nonzero eigenvalue 1,1,3 and remaining four eigenvalue of AB are zero.
$endgroup$
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%2f311342%2fdo-ab-and-ba-have-same-minimal-and-characteristic-polynomials%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If $A$ is invertible then $A^{-1}(AB)A= BA$, so $AB$ and $BA$ are similar, which implies (but is stronger than) $AB$ and $BA$ have the same minimal polynomial and the same characteristic polynomial.
The same goes if $B$ is invertible.
In general, from the above observation, it is not too difficult to show that $AB$, and $BA$ have the same characteristic polynomial, the type of proof could depends on the field considered for the coefficient of your matrices though.
If the matrices are in $mathcal{M}_n(mathbb C)$, you use the fact that $operatorname{GL}_n(mathbb C)$ is dense in $mathcal{M}_n(mathbb C)$ and the continuity of the function which maps a matrix to its characteristic polynomial. There are at least 5 other ways to proceed (especially for other field than $mathbb C$).
In general $AB$ and $BA$ do not have the same minimal polynomial. I'll let you search a bit for a counter example.
$endgroup$
9
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
add a comment |
$begingroup$
If $A$ is invertible then $A^{-1}(AB)A= BA$, so $AB$ and $BA$ are similar, which implies (but is stronger than) $AB$ and $BA$ have the same minimal polynomial and the same characteristic polynomial.
The same goes if $B$ is invertible.
In general, from the above observation, it is not too difficult to show that $AB$, and $BA$ have the same characteristic polynomial, the type of proof could depends on the field considered for the coefficient of your matrices though.
If the matrices are in $mathcal{M}_n(mathbb C)$, you use the fact that $operatorname{GL}_n(mathbb C)$ is dense in $mathcal{M}_n(mathbb C)$ and the continuity of the function which maps a matrix to its characteristic polynomial. There are at least 5 other ways to proceed (especially for other field than $mathbb C$).
In general $AB$ and $BA$ do not have the same minimal polynomial. I'll let you search a bit for a counter example.
$endgroup$
9
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
add a comment |
$begingroup$
If $A$ is invertible then $A^{-1}(AB)A= BA$, so $AB$ and $BA$ are similar, which implies (but is stronger than) $AB$ and $BA$ have the same minimal polynomial and the same characteristic polynomial.
The same goes if $B$ is invertible.
In general, from the above observation, it is not too difficult to show that $AB$, and $BA$ have the same characteristic polynomial, the type of proof could depends on the field considered for the coefficient of your matrices though.
If the matrices are in $mathcal{M}_n(mathbb C)$, you use the fact that $operatorname{GL}_n(mathbb C)$ is dense in $mathcal{M}_n(mathbb C)$ and the continuity of the function which maps a matrix to its characteristic polynomial. There are at least 5 other ways to proceed (especially for other field than $mathbb C$).
In general $AB$ and $BA$ do not have the same minimal polynomial. I'll let you search a bit for a counter example.
$endgroup$
If $A$ is invertible then $A^{-1}(AB)A= BA$, so $AB$ and $BA$ are similar, which implies (but is stronger than) $AB$ and $BA$ have the same minimal polynomial and the same characteristic polynomial.
The same goes if $B$ is invertible.
In general, from the above observation, it is not too difficult to show that $AB$, and $BA$ have the same characteristic polynomial, the type of proof could depends on the field considered for the coefficient of your matrices though.
If the matrices are in $mathcal{M}_n(mathbb C)$, you use the fact that $operatorname{GL}_n(mathbb C)$ is dense in $mathcal{M}_n(mathbb C)$ and the continuity of the function which maps a matrix to its characteristic polynomial. There are at least 5 other ways to proceed (especially for other field than $mathbb C$).
In general $AB$ and $BA$ do not have the same minimal polynomial. I'll let you search a bit for a counter example.
edited Dec 17 '15 at 23:50
user26857
39.4k124183
39.4k124183
answered Feb 22 '13 at 17:30
Nathan PortlandNathan Portland
1,025720
1,025720
9
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
add a comment |
9
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
9
9
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
5 other ways? I'm quite curious what those ways are. I only know of the continuity argument and an argument involving determinant identities on block matrices. Would it be possible to provide a reference to some other methods?
$endgroup$
– EuYu
Feb 22 '13 at 17:37
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
@EuYu, I have no reference, sorry.
$endgroup$
– Nathan Portland
Feb 22 '13 at 22:11
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same? @NathanPortland
$endgroup$
– cmi
Nov 19 '18 at 4:55
add a comment |
$begingroup$
Before proving $AB$ and $BA$ have the same characteristic polynomials show that if $A_{mtimes n}$ and $B_{ntimes m} $ then characteristic polynomials of $AB$ and $BA$ satisfy following statement: $$x^n|xI_m-AB|=x^m|xI_n-BA|$$ therefore easily conclude if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
Define $$C = begin{bmatrix} xI_m & A \B & I_n end{bmatrix}, D = begin{bmatrix} I_m & 0 \-B & xI_n end{bmatrix}.$$ We have
$$
begin{align*}
det CD &= x^n|xI_m-AB|,\
det DC &= x^m|xI_n-BA|.
end{align*}
$$
and we know $det CD=det DC$ if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
$endgroup$
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Before proving $AB$ and $BA$ have the same characteristic polynomials show that if $A_{mtimes n}$ and $B_{ntimes m} $ then characteristic polynomials of $AB$ and $BA$ satisfy following statement: $$x^n|xI_m-AB|=x^m|xI_n-BA|$$ therefore easily conclude if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
Define $$C = begin{bmatrix} xI_m & A \B & I_n end{bmatrix}, D = begin{bmatrix} I_m & 0 \-B & xI_n end{bmatrix}.$$ We have
$$
begin{align*}
det CD &= x^n|xI_m-AB|,\
det DC &= x^m|xI_n-BA|.
end{align*}
$$
and we know $det CD=det DC$ if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
$endgroup$
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Before proving $AB$ and $BA$ have the same characteristic polynomials show that if $A_{mtimes n}$ and $B_{ntimes m} $ then characteristic polynomials of $AB$ and $BA$ satisfy following statement: $$x^n|xI_m-AB|=x^m|xI_n-BA|$$ therefore easily conclude if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
Define $$C = begin{bmatrix} xI_m & A \B & I_n end{bmatrix}, D = begin{bmatrix} I_m & 0 \-B & xI_n end{bmatrix}.$$ We have
$$
begin{align*}
det CD &= x^n|xI_m-AB|,\
det DC &= x^m|xI_n-BA|.
end{align*}
$$
and we know $det CD=det DC$ if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
$endgroup$
Before proving $AB$ and $BA$ have the same characteristic polynomials show that if $A_{mtimes n}$ and $B_{ntimes m} $ then characteristic polynomials of $AB$ and $BA$ satisfy following statement: $$x^n|xI_m-AB|=x^m|xI_n-BA|$$ therefore easily conclude if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
Define $$C = begin{bmatrix} xI_m & A \B & I_n end{bmatrix}, D = begin{bmatrix} I_m & 0 \-B & xI_n end{bmatrix}.$$ We have
$$
begin{align*}
det CD &= x^n|xI_m-AB|,\
det DC &= x^m|xI_n-BA|.
end{align*}
$$
and we know $det CD=det DC$ if $m=n$ then $AB$ and $BA$ have the same characteristic polynomials.
edited May 7 '15 at 6:46
user26857
39.4k124183
39.4k124183
answered Feb 22 '13 at 17:36
M.HM.H
7,26211554
7,26211554
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@M.H
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Hint: Consider $A = begin{bmatrix} 0 & 1 \ 0 & 0 end{bmatrix}$ and $B = begin{bmatrix} 0 & 0 \ 0 & 1 end{bmatrix}$. What do you get in that case?
$endgroup$
2
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Hint: Consider $A = begin{bmatrix} 0 & 1 \ 0 & 0 end{bmatrix}$ and $B = begin{bmatrix} 0 & 0 \ 0 & 1 end{bmatrix}$. What do you get in that case?
$endgroup$
2
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
Hint: Consider $A = begin{bmatrix} 0 & 1 \ 0 & 0 end{bmatrix}$ and $B = begin{bmatrix} 0 & 0 \ 0 & 1 end{bmatrix}$. What do you get in that case?
$endgroup$
Hint: Consider $A = begin{bmatrix} 0 & 1 \ 0 & 0 end{bmatrix}$ and $B = begin{bmatrix} 0 & 0 \ 0 & 1 end{bmatrix}$. What do you get in that case?
answered Feb 22 '13 at 17:20
JimJim
24.4k23370
24.4k23370
2
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
2
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
2
2
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
This shows that $AB$ and $BA$ have different minimal polynomial. But characteristic polynomials are the same right?
$endgroup$
– Unknown x
Nov 25 '17 at 1:39
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@Jim
$endgroup$
– cmi
Nov 19 '18 at 4:56
add a comment |
$begingroup$
It's not true that their characteristic polynomials will be the same in the general case. The best result in this general vein is the following.
Let $Ainmathbb{F}^{m times n}$ and let $Binmathbb{F}^{n times m}$, and $AB$, $BA$ with minimal polynomials (over $mathbb{F}$) $m_{AB}(x)$ and $m_{BA}(x)$ respectively. Then one of the following holds:
$m_{AB}(x) = m_{BA}(x)$, or $m_{AB}(x) = x cdot m_{BA}(x)$, or $xcdot m_{AB}(x) = m_{BA}(x)$.
It's easy, just use the fact that $(BA)^k=B(AB)^{k-1}A$.
$endgroup$
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
add a comment |
$begingroup$
It's not true that their characteristic polynomials will be the same in the general case. The best result in this general vein is the following.
Let $Ainmathbb{F}^{m times n}$ and let $Binmathbb{F}^{n times m}$, and $AB$, $BA$ with minimal polynomials (over $mathbb{F}$) $m_{AB}(x)$ and $m_{BA}(x)$ respectively. Then one of the following holds:
$m_{AB}(x) = m_{BA}(x)$, or $m_{AB}(x) = x cdot m_{BA}(x)$, or $xcdot m_{AB}(x) = m_{BA}(x)$.
It's easy, just use the fact that $(BA)^k=B(AB)^{k-1}A$.
$endgroup$
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
add a comment |
$begingroup$
It's not true that their characteristic polynomials will be the same in the general case. The best result in this general vein is the following.
Let $Ainmathbb{F}^{m times n}$ and let $Binmathbb{F}^{n times m}$, and $AB$, $BA$ with minimal polynomials (over $mathbb{F}$) $m_{AB}(x)$ and $m_{BA}(x)$ respectively. Then one of the following holds:
$m_{AB}(x) = m_{BA}(x)$, or $m_{AB}(x) = x cdot m_{BA}(x)$, or $xcdot m_{AB}(x) = m_{BA}(x)$.
It's easy, just use the fact that $(BA)^k=B(AB)^{k-1}A$.
$endgroup$
It's not true that their characteristic polynomials will be the same in the general case. The best result in this general vein is the following.
Let $Ainmathbb{F}^{m times n}$ and let $Binmathbb{F}^{n times m}$, and $AB$, $BA$ with minimal polynomials (over $mathbb{F}$) $m_{AB}(x)$ and $m_{BA}(x)$ respectively. Then one of the following holds:
$m_{AB}(x) = m_{BA}(x)$, or $m_{AB}(x) = x cdot m_{BA}(x)$, or $xcdot m_{AB}(x) = m_{BA}(x)$.
It's easy, just use the fact that $(BA)^k=B(AB)^{k-1}A$.
edited May 7 '15 at 6:42
user26857
39.4k124183
39.4k124183
answered Jul 16 '14 at 6:02
user164626user164626
411
411
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
add a comment |
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
in general means for m not equal to n??
$endgroup$
– user152715
Sep 16 '14 at 21:16
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
The question says (and always has said) square matrices $A,B$. If you are answering a more general question, then you should announce this. Also, answering a more general question is only useful if this is no more difficult than the actual question, or if the more general solution sheds more light on the solution.
$endgroup$
– Marc van Leeuwen
Dec 23 '15 at 21:10
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@MarcvanLeeuwen
$endgroup$
– cmi
Nov 19 '18 at 4:58
add a comment |
$begingroup$
For squre matrix, the charateristic polynomials are same, but for $A$ is matrix of size $m times n$ and B be matrix of size $n times m$. Then $x^{m}C_{BA}(x)=x^{n}C_{AB}(x)$ this implies that the nonzero eigenvalue of $AB$, counted with multiplicites, are same as nonzero eigenvalue of $BA$.
That is if A is of size 7×4 and B is of size 4×7 and assume that the 4×4 matrix BA has nonzero eigenvalue 1,1,3 so fourth eigenvalue of BA is 0. Then the 7×7 matrix AB will also have nonzero eigenvalue 1,1,3 and remaining four eigenvalue of AB are zero.
$endgroup$
add a comment |
$begingroup$
For squre matrix, the charateristic polynomials are same, but for $A$ is matrix of size $m times n$ and B be matrix of size $n times m$. Then $x^{m}C_{BA}(x)=x^{n}C_{AB}(x)$ this implies that the nonzero eigenvalue of $AB$, counted with multiplicites, are same as nonzero eigenvalue of $BA$.
That is if A is of size 7×4 and B is of size 4×7 and assume that the 4×4 matrix BA has nonzero eigenvalue 1,1,3 so fourth eigenvalue of BA is 0. Then the 7×7 matrix AB will also have nonzero eigenvalue 1,1,3 and remaining four eigenvalue of AB are zero.
$endgroup$
add a comment |
$begingroup$
For squre matrix, the charateristic polynomials are same, but for $A$ is matrix of size $m times n$ and B be matrix of size $n times m$. Then $x^{m}C_{BA}(x)=x^{n}C_{AB}(x)$ this implies that the nonzero eigenvalue of $AB$, counted with multiplicites, are same as nonzero eigenvalue of $BA$.
That is if A is of size 7×4 and B is of size 4×7 and assume that the 4×4 matrix BA has nonzero eigenvalue 1,1,3 so fourth eigenvalue of BA is 0. Then the 7×7 matrix AB will also have nonzero eigenvalue 1,1,3 and remaining four eigenvalue of AB are zero.
$endgroup$
For squre matrix, the charateristic polynomials are same, but for $A$ is matrix of size $m times n$ and B be matrix of size $n times m$. Then $x^{m}C_{BA}(x)=x^{n}C_{AB}(x)$ this implies that the nonzero eigenvalue of $AB$, counted with multiplicites, are same as nonzero eigenvalue of $BA$.
That is if A is of size 7×4 and B is of size 4×7 and assume that the 4×4 matrix BA has nonzero eigenvalue 1,1,3 so fourth eigenvalue of BA is 0. Then the 7×7 matrix AB will also have nonzero eigenvalue 1,1,3 and remaining four eigenvalue of AB are zero.
edited Sep 1 '18 at 16:29
answered Sep 1 '18 at 10:36
user499117user499117
409
409
add a comment |
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%2f311342%2fdo-ab-and-ba-have-same-minimal-and-characteristic-polynomials%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
2
$begingroup$
The coefficients of the characteristic polynomial are continuous functions in the entries of a matrix, so if the characteristic polynomials of $AB$ and $BA$ coincide for a dense set of $A$ (or a dense set of $B$) then they always coincide. The coefficients of the minimal polynomial, on the other hand...
$endgroup$
– Qiaochu Yuan
Feb 22 '13 at 21:12
$begingroup$
Is the eigen value argument another one way? Can I say that the eigen values of $AB$ and $BA$ are same so the characteristics equations are same?@QiaochuYuan
$endgroup$
– cmi
Nov 19 '18 at 4:56