Grupa permutacji

Ten artykuł dotyczy grup bijekcji zbiorów skończonych. Zobacz też: grupa bijekcji.

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). Rząd (tj. liczba elementów) grupy permutacji zbioru ${\displaystyle n}$-elementowego wynosi ${\displaystyle n!}$ (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^[a].