Séance de cours
Cette séance de cours couvre le concept des groupes Coxeter, en mettant l'accent sur les générateurs et les relations au sein de ces groupes. La présentation comprend la définition d'un groupe Coxeter, le groupe libre généré par un ensemble de symboles, et la notion de mots réduits. Il traite également du lemma d'Iwahori et de la présentation des groupes par les générateurs et les relations, en mettant l'accent sur l'unicité du choix des générateurs. La séance de cours se termine par l'application de ces concepts au groupe dièdre et à la propriété universelle des groupes libres.