next up previous
Next: Reflection Groups [HB 85] Up: Lie Theory Previous: Coxeter Groups (New) [HB


Coxeter Groups as Permutation Groups [HB 84]

The old category GrpCox of finite Coxeter groups as permutations on the roots has been renamed GrpPermCox. Such a group can be created from either a root system or a root datum.