Let GGG be a group acting on a set SSS. For a subgroup HHH of GGG, denote by NHNHNH the normalizer of HHH in GGG and let WH=NH/HWH = NH/HWH=NH/H. The quotient WHWHWH is the Weyl group.
Wikidata ID: Q768074