Groupes de Coxeter : théorème de classification et ordre de F_4

Cette séance de cours couvre le grand théorème de classification pour les groupes de Coxeter, y compris l'ordre d'un groupe de Coxeter et le théorème de Witt. L'instructeur explique la construction des groupes E6, E7 et E8, en soulignant l'importance de l'ordre du groupe F_4. La séance de cours explore la génération de groupes à travers des réflexions et l'approche algorithmique pour comprendre les groupes de Coxeter.