Coxeter Groups: Classification Theorem & Order of F_4

This lecture covers the big classification theorem for Coxeter groups, including the order of a Coxeter group and Witt's theorem. The instructor explains the construction of groups E6, E7, and E8, highlighting the significance of the order of the group F_4. The lecture delves into the generation of groups through reflections and the algorithmic approach to understanding Coxeter groups.