Intereting Posts

(Unsolved) In this infinite sequence, no term is a prime: prove/disprove.
Convert Equilateral triangle to Isosceles triangle
Really advanced techniques of integration (definite or indefinite)
Direct proof that $\pi$ is not constructible
Induction proof. Explain in detail why it’s incorrect
Weak Convergence of Positive Part
“Modus moron” rule of inference?
Find the Lagrange multipliers with one constraint: $f(x,y,z) = xyz$ and $g(x,y,z) = x^2+2y^2+3z^2 = 6$
Does there exist a closed form for $L_k$ for any $k>3$?
If $p$ is a non-zero real polynomial then the map $x\mapsto \frac{1}{p(x)}$ is uniformly continuous over $\mathbb{R}$
good books on Abstract Algebra and Cryptography for self-study
Does the opposite of the brachistochrone exist?
Mean value theorem application for multivariable functions
31,331,3331, 33331,333331,3333331,33333331 are prime
The connection between quantifier elimination, $\omega$-categorical and ultrahomogenous

Let $A$ and $B$ be $m\times n$ and $n\times m$ complex matrices, respectively,

with $m < n$. If the eigenvalues of $AB$ are $\lambda_1, \ldots, \lambda_m$, what are the eigenvalues of $BA$?

If the matrices were square, then the conclusion would follow from the fact that $AB$ and $BA$ have the same characteristic polynomial. With rectangular matrices this is not going to happen; how to proceed then?

- Block diagonalizing two matrices simultaneously
- If $A$ is any matrix then $A^*A$ and $AA^*$ are Hermitian with non-negative eigenvalues
- Generate integer matrices with integer eigenvalues
- About eigenvalues and complex matrix
- Is it possible to find a companion matrix of a polynomial which is also hermitian?
- How to prove Weyl’s asymptotic law for the eigenvalues of the Dirichlet Laplacian?

- Does there exist a Hamel basis $\mathcal B$ for $\mathbb R$ over $\mathbb Q$ such that $a,b \in \mathcal B \implies \dfrac ab \in \mathcal B$?
- Are vector spaces and their double duals in fact equal?
- Linear independency before and after Linear Transformation
- What does this theorem in linear algebra actually mean?
- Two 2d vector angle clockwise predicate
- diagonalize quadratic form
- Cayley-Hamilton theorem on square matrices
- Proving linear independence
- Prove $\text{rank}(A) \geq \frac{(\text{tr}(A))^2}{\text{tr}(A^2)}$ when $A$ is Hermitian
- Are non-degenerate bilinear forms equivalent to isomorphisms $V \cong V^*$?

Let $\lambda\neq 0$ be an eigenvalue of $AB$

Then, for some non-zero $v$, $ABv=\lambda v$

Hence $BABv=\lambda Bv$

Equivalently $(BA)(Bv)=\lambda (Bv)$

Note that $Bv \neq 0$. Otherwise, $ABv=\lambda v=0$, hence $\lambda=0$

Hence $\lambda$ is a non-zero eigenvalue of $BA$

Switching $A$ and $B$ in the previous proof, it also holds that a non-zero eigenvalue of $BA$ is a non-zero eigenvalue of $AB$

Conclusion: $AB$ and $BA$ have the same non-zero eigenvalues.

This is a totally different approach, but way more powerful.

I’m going to prove that $\chi_{BA}=(-X)^{n-m}\chi_{AB}$ by elementary means.

Let $r=\operatorname{rank}(A)$

From a well-known theorem, derive that there exists $P,Q$ invertible $m\times m$ and $n \times n$ matrices such that $$A=P\begin{bmatrix}I_r& 0\\ 0 &0\end{bmatrix}Q $$

where $I_r$ denotes the $r\times r$ identity matrix.

By changes of basis, $$B=Q^{-1}\begin{bmatrix}E& F\\ G &H\end{bmatrix}P^{-1}$$

For some submatrices $E,F,G,H$.

Note that $AB=P\begin{bmatrix}E& F\\ 0&0\end{bmatrix}P^{-1}$ and $BA=Q^{-1}\begin{bmatrix}E& 0\\ G&0\end{bmatrix}Q$.

Hence $\chi_{AB}=\det(E-XI_r)(-X)^{m-r}$ and $\chi_{BA}=\det(E-XI_r)(-X)^{n-r}$

Hence $\chi_{BA}=(-X)^{n-m}\chi_{AB}$.

The results in the two other answers are now a simple consequence of the formula.

Also, note that $BA$ will have an eigenvalue of $0$, since it’s $n\times n$, but the maximum rank of each of $A$ and $b$ is $m<n$.

the characteristic polynomials of $AB$ and $BA$ are still $\lambda^{m-r}p(\lambda)$ and $\lambda^{n-r}p(\lambda), p(0) \neq 0$ the reason is $tr(AB)^k = tr(BA)^k$ for all $k$. showing the coefficients of the characteristic polynomials are the same.

- If $R$ is a Noetherian ring then $R]$ is also Noetherian
- Prime elements in $\mathbb{Z}$
- Evaluating $\sqrt{6+\sqrt{6+\cdots}}$
- Cubic hypersurfaces through 5 generic lines in $\mathbb{P}^3$
- How to get solution matrix from REF matrix
- Positivity of the alternating sum associated to at most five subspaces
- For complex $z$, $|z| = 1 \implies \text{Re}\left(\frac{1-z}{1+z}\right) = 0$
- What is the cardinality of the set of all functions from $\mathbb{Z} \to \mathbb{Z}$?
- Pointwise convergence does not imply $f_n(x_n)$ converges to $f(x)$
- If $\omega$-chains corresponds to maximality, then $\kappa$-chains corresponds to ???
- Distance/Similarity between two matrices
- Dimension of the total ring of fractions of a reduced ring.
- Why do remainders show cyclic pattern?
- ${\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos x)} \:\mathrm{d}x$ and $\int_{0}^{\pi/2} \frac{\log \cos x}{x^2}\:\mathrm{d}x$
- Is this ring Noetherian?