Invertierbare Matrix/Endliche Ordnung/C/Diagonalisierbar/Fakt/Beweis

Beweis

Die Matrix ist trigonalisierbar und besitzt nach Fakt eine jordansche Normalform. Wir zeigen, dass die einzelnen Jordanblöcke

trivial sind. Wegen der endlichen Ordnung muss eine Einheitswurzel sein. Durch Multiplikation mit können wir davon ausgehen, dass eine Matrix der Form

(mit ) vorliegt. Wenn dies keine -Matrix ist, so gibt es zwei Vektoren , wobei ein Eigenvektor ist und auf abgebildet wird. Die -te Iteration der Matrix schickt dann auf und dies ist nicht , im Widerspruch zur endlichen Ordnung.