-1
$\begingroup$

This question already has an answer here:

I want to show that for $n\times n$ matrices $A,B$ that $\text{det}(I-AB)=\text{det}(I-BA)$.

My thought is that since $AB$ and $BA$ have the same eigenvalues, I know they have they same minimal polynomial. If I can further show they have the the same characteristic polynomial, I'm done.

Is that true though? the characteristic polynomials for $A$ and $B$ respectively are $P_A(x)=(x-\lambda_1)^{c_1}...(x-\lambda_j)^{c_j}$ and $P_B(x)=(x-\lambda_1)^{d_1}...(x-\lambda_j)^{d_j}$ where $\lambda_q\neq\lambda_p$, $j\leq n$ and the superscripts are the dimensions of the the generalized eigenspaces. Is it true that $c_k=d_k?$

$\endgroup$

marked as duplicate by Dietrich Burde, Chris Godsil, C. Falcon, M. Vinay, Sujaan Kunalan Jun 30 '16 at 15:03

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    $\begingroup$ The easiest way is probably to first show it in case one of $A$ or $B$ is invertible (conjugate by it), then use that invertible matrices form a dense subset and the determinant is continuous. $\endgroup$ – Tobias Kildetoft Jun 30 '16 at 11:50
  • 3
    $\begingroup$ I have seen something like that recently here Otherwise, the classical proof is due to Sylvester (Actually, as I see now he stated it in 1851 without a proof, perhabs the margins of his book were too small). $\endgroup$ – A.Γ. Jun 30 '16 at 11:54
  • $\begingroup$ @A.G. Heh, that is indeed precisely the argument I had in mind. $\endgroup$ – Tobias Kildetoft Jun 30 '16 at 11:55
  • $\begingroup$ The fact about characteristic polynomials is true. It follows easily from the very equality you are trying to prove (just replace $A$ with $\frac{1}{\lambda}A$). That doesn't really help you though. $\endgroup$ – Dan Shved Jun 30 '16 at 12:03
  • $\begingroup$ @DanShved But the answer of N.S. really does help, though. $\endgroup$ – Dietrich Burde Jun 30 '16 at 12:04
2
$\begingroup$

(You don't have to use eigenvalues, but is simpler with them)

Hint: $det(I-AB) = det\left(\begin{array}{c c} I & 0 \\ A & I-AB \end{array} \right)$

$\endgroup$
  • $\begingroup$ What does it give me? $\endgroup$ – VirtualUser Feb 2 at 20:41

Not the answer you're looking for? Browse other questions tagged or ask your own question.