ワイル群の定義、生成元,および作用