Discussion:Théorie des groupes/Représentations complexes des groupes finis, 1

L'arbre qui cache la forêt ?

J'ai voulu expliciter des choses sur lesquelles les auteurs passent rapidement, mais je crains d'être entré dans des minuties fastidieuses et peut-être inutiles. Par exemple, certains énoncés sur la somme directe d'un multiplet de matrices sont rébarbatifs et leur démonstration formelle demande une attention soutenue qui n'en vaut peut-être pas la peine. (Je me suis abstenu de donner ces démonstrations, qui auraient allongé démesurément l'exposé.) Il est donc possible que ce chapitre ait besoin d'être considérablement amélioré, mais je n'ai ni le temps ni le goût de le faire. Marvoir (discussion) 13 août 2017 à 07:36 (UTC)

Je n'ai peut-être pas assez de recul mais je trouve qu'au moins pour les sommes directes de représentations vectorielles, on peut s'en tenir (comme tous les auteurs, non ?) à la somme directe interne, et donc remplacer "équivalente" par "égale". Anne, 23/3/2019, 15 h 02