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ý.