El grupo cuyos elementos son toda sustitución o permutación de un cierto conjunto de n elemento, y cuya operación es la composición de permutación. El grupo simétrico tiene n! elementos; n elementos es isomorfo al grupo simétrico de orden n.