Eigenvalues of Kronecker Product Maybe it's simple but I can't see the solution of this problem (Russell Merris, Multilinear Algebra, CRC Press, 1997, chapter 6, p.202, exercise 4):

Let $\lambda_1,\ldots,\lambda_p$ be the eigenvalues of $A\in\mathbb C_{p,p}$ (multiplicities included), and $\omega_1,\ldots,\omega_q$ be the eigenvalues of $B\in\mathbb C_{q,q}$ respectively. Find the eigenvalues of
a. $A \otimes B - B \otimes A$.
b. $A \otimes B + B \otimes A$.

From chapter 5, I know the eigenvalues of $A\otimes B$ and $A\otimes I_q + I_p \otimes B$:

*

*The eigenvalues of $A \otimes B$ are $\lambda_i \cdot \omega_j$, $1 \leq i \leq p$,  $1 \leq j \leq q$


*The eigenvalues of $A\otimes I_q + I_p \otimes B$ are $\lambda_i + \omega_j$, $1 \leq i \leq p$,  $1 \leq j \leq q$
These facts may give us a decomposition of $A\otimes B \pm B \otimes A$.
This may be very simple but I need a hint.
I also made some Matlab calculations with integer matrices, and I get non-integer/non-real eigenvalues... maybe square roots are involved...
Thanks!
 A: I don't have Merris' book, but something seems to be forgotten in the question - in the present form it cannot be answered.
Consider, for instance, diagonal matrices $A$ and $B$ explicitly given by
$$A=\operatorname{diag}\left\{\lambda_1,\lambda_2,\lambda_3\right\},\qquad
B=\operatorname{diag}\left\{\omega_1,\omega_2\right\},$$
so that
\begin{align}
&A\otimes B+B\otimes A=\\
=\,&\operatorname{diag}\left\{2\lambda_1\omega_1,\lambda_2\omega_1+\lambda_1\omega_2,
(\lambda_2+\lambda_3)\omega_1,(\lambda_1+\lambda_2)\omega_2,\lambda_3\omega_1+\lambda_2\omega_2,2\lambda_3\omega_2\right\}.
\end{align}
The spectrum of the last matrix is not invariant e.g. with respect to the exchange $\omega_1\leftrightarrow\omega_2$.
Furthermore, even setting $p=q$ as in the book referenced in the comment does not save the situation: again consider diagonal $2\times 2$ matrices $A,B$ and notice that the spectrum of $A\otimes B+ B\otimes A$, given by $\{2\lambda_1\omega_1,\lambda_1\omega_2+\lambda_2\omega_1,\lambda_1\omega_2+\lambda_2\omega_1,2\lambda_2\omega_2\}$ is not invariant w.r.t. the exchange of eigenvalues of one of them.
