Definición, generadores y acción del grupo de Weyl