Zápočet je za docházku. V případě většího počtu absencí je možné vypracovat úkol.
Coxeterovy grupy jsou jakési zobecnění euklidovských grup zrcadlení. Jejich teorie souvisí s teorií Lieových grup, ale není na ní přímo závislá.
Kořenový systém
Definice Kořenový systém je konečná množina nenulových vektorů  (kořenů) splňující podmínky- (B-1)
- Pro každé  je .
- (B-2)
- Je-li , potom .
Hodnost  je dimenze prostoru .Definice Kořenový systém  je krystalografický, pokud pro všechna  platí- (B-3)
- .
Definice Kořenový systém  je esenciální, pokud- (B-4)
- .
Definice Kořenový systém  je unitární, pokud všechny jeho vektory jsou jednotkové.Nechť  je konečná grupa zrcadlení. Potom můžeme vytvořit kořenový systém  tak, že pro každou nadrovinu , podle níž zrcadlíme, vezmeme jednotkový vektor z  a vektor k němu opačný. Axiom (B-1) zjevně platí. Axiom (B-2) plyne z toho, že máme=li , potom . Značíme .
Definice Hodnost konečné grupy zrcadlení  je hodnost .Věta Pro konečnou grupu zrcadlení  platí , kde  je nějaký podprostor, na který  působí jako identita.Definice Konečná grupa zrcadlení  je esenciální, pokud .Definice Grupy  jsou stabilně izomorfní, pokud .Naopak každý kořenový systém  určuje grupu zrcadlení . Později rozebereme, jestli všechna zrcadlení v takovém systému jsou ve tvaru .
Věta Grupa  je konečná.Důkaz Vezměme přirozený homomorfismus  do grupy permutací systému . Máme , kde . TBDVěta Nechť . Potom , právě když .Důkaz Definice Kořenový systém  je reducibilní, pokud existují kořenové systémy  splňující  a .Věta Je-li kořenový systém  reducibilní, potom  je reducibilní.Důkaz Podgrupy  zjevně vzájemně komutují. Z rozkladu  plyne, že , takže .Příklad systém  Pro danou ortonormální bázi  prostoru  definujmeSnadno ověříme, že jde o kořenový systém. Navíc . Zároveň mámeTakže systém není esenciální, je ireducibilní a je krystalografický.Příklad systém  Pro danou ortonormální bázi  prostoru  definujmeSnadno ověříme, že jde o kořenový systém. Navíc . Systém je esenciální, ireducibilní i krystalografický.Příklad systém  Pro danou ortonormální bázi  prostoru  definujmeSystém má z hlediska grupy zrcadlení přesně ty samé vlastnosti jako . Rozdíl bude důležitý později, když budeme řešit i posouvání.Příklad systém  Pro danou ortonormální bázi  prostoru  definujmeTentokrát , kde  obsahuje jen změny sudého počtu znamének. Systém je esenciální, ireducibilní i krystalografický.