Codex Wiki OurBigBook logoOurBigBook.comSite Source code
For an matrix , the characteristic polynomial is
The Cayley-Hamilton theorem states that .
Over , choose a basis in which is upper triangular, with diagonal entries . For the standard invariant flag ,
The factors commute, so applying their product in descending order sends successively into . Hence
which proves the theorem.
Direct expansion gives the commutator product rule:
Put . Since commutes with , repeated use of the product rule gives
By linearity, for every polynomial ,
Let and suppose . For ,
Assume inductively that
Both and are polynomials in, or commute with, , so . Apply the derivation to and multiply on the left by :
Since , this says
The induction is complete. Taking and gives
Thus is nilpotent, which is the Jacobson lemma for a commuting commutator.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 8F
  2. Paper 2
  3. Ib
  4. 2023
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home