Es decir que hay una correspondencia, que se puede probar que es biyectiva, entre acciones de formula_1 sobre formula_5 y las representaciones (homomorfismos) de formula_1 en formula_26 (Representación permutacional del grupo.)