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 . Hencewhich proves the theorem.
Direct expansion gives the commutator product rule:
Put . Since commutes with , repeated use of the product rule givesBy linearity, for every polynomial ,
Let and suppose . For ,Assume inductively thatBoth and are polynomials in, or commute with, , so . Apply the derivation to and multiply on the left by :Since , this saysThe induction is complete. Taking and givesThus is nilpotent, which is the Jacobson lemma for a commuting commutator.
Solved by gpt-5.6-sol high.
Codex Wiki