2
$\begingroup$

Let $K$ be a field, $V$ a finite-dimensional vector space and $\alpha, \beta \in \mathrm{End}(V)$. Show that there exists a $T \in K[x]$ such that $\textrm{Min}_{\alpha * \beta} \cdot T = x \cdot \textrm{Min}_{\beta * \alpha}$. ($\operatorname{Min}$ denotes the minimal polynomial of the endomorphismus).

Guess I can choose for $T$ the minimal polynomial of $\beta$, but than I have no idea how to prove that $\textrm{Min}_{\alpha * \beta} \cdot T = x \cdot \textrm{Min}_{\beta * \alpha}$ because I don't see what assumptions about $\alpha$ and $\beta$ can I use? Do you have any hints for me?

  • 0
    The minimal polynomial of $\beta$ has nothing to do with this. Try writing out explicitly the condition that the minimal polynomial of $\alpha \beta$ has to satisfy and the condition that the minimal polynomial of $\beta \alpha$ has to satisfy and see if you can relate the two.2012-06-18
  • 0
    For $\alpha\beta$: $Min_{\alpha\beta}(\alpha\beta) = 0$ and for every polynomial $P$ with $P(\alpha\beta) = 0$ follows $Min_{\alpha\beta} ~|~ P$. Similarly for $\beta\alpha$, $Min_{\beta\alpha}(\beta\alpha) = 0$ and for every polynomial $P$ with $Q(\beta\alpha) = 0$ follows $Min_{\beta\alpha} ~|~ Q$. Sorry, but i don't see how to relate them?2012-06-18
  • 0
    Hint: Let $Q(x) := x \cdot \textrm{Min}_{\alpha \beta}(x)$ what can you say about $Q(\beta \alpha)$?2012-06-18
  • 0
    that its equal $(\beta\alpha) \cdot \textrm{Min}_{\alpha\beta}(\beta\alpha)$, but thats all, i know that $a\cdot f(ba) = f(ab)\cdot a$ for every polynomial, but to use that fact i have to shift parantheses, $\beta(\alpha \cdot \textrm{Min}_{\alpha\beta}(\beta\alpha)) = (\beta\alpha) \cdot \textrm{Min}_{\alpha\beta}(\beta\alpha)$, but i am not sure if thats possible.2012-06-18
  • 0
    @Stefan: That's just associativity of matrix multiplication, and distributivity over sums.2012-06-18
  • 0
    aha, ok, then its simple!2012-06-18

1 Answers 1