De especial relevancia es el grupo simétrico sobre el conjunto finito "X" = {1...,"n"}, denotado por S.