Une démo d'un théorème de Burnside

Je n'avais jamais vu cette démonstration, c'est amusant (celle que je connaissais procède par une diminution du rang jusqu'à montrer que $A$ contient un opérateur de rang $1$, puis en déduit qu'elle contient tous les opérateurs de rang $1$, et on finit ainsi)

Quelques remarques :

Tu parles d'idéal à droite mais écris $AI\subset I$, ce qui est la définition d'idéal à gauche (et c'est bien à gauche que tu utilises tout du long)

Dans l'énoncé du lemme 3, cela devrait être $h(w) = \lambda(w) id$ (tu as quantifié sur $w$ juste avant)

Dans la démonstration 4, tu as une coquille : tu voulais dire $\ker(\lambda) \neq V$, pas $\neq A$ (la même coquille apparaît dans la conclusion). Tu dis aussi qu'il faut finir la démonstration dans cette partie.

Je n'ai lu que jusqu'à la fin du paragraphe "plan", mais un conseil esthétique que je peux te donner est le suivant: en face de chaque élément du plan, tu mets une "évaluation" de sa difficulté pour un L1-L2 théorique.

En particulir, s'il y a une subtilité quelque part, elle est signalée dès le plan.