Grupa permutacji

Grupa permutacji – grupa wszystkich permutacji ustalonego zbioru skończonego z działaniem składania pełniącym rolę działania grupowego (i tożsamością jako elementem neutralnym; element odwrotny dany jest jako permutacja odwrotna). Liczba elementów (tj. rząd) grupy permutacji zbioru -elementowego wynosi (zob. silnia). Grupy permutacji były punktem wyjścia teorii grup: zaczęto je badać w związku z poszukiwaniem ogólnych rozwiązań równań algebraicznych. Grupy symetryczne o więcej niż dwóch elementach nie są przemienne (abelowe), a o więcej niż czterech elementach nie są rozwiązalne: zgodnie z teorią Galois jest to powód, dla którego równania algebraiczne stopnia większego niż cztery nie mają rozwiązań ogólnych (tzw. twierdzenie Abela-Ruffiniego). Ogólnie każdą grupę można rozumieć jako grupę permutacji elementów zbioru, na którym została określona (tzw. twierdzenie Cayleya): w związku z tym wszystkie wyniki dotyczące grup permutacji dotyczą również dowolnych grup skończonych.