Говорят, что группа действует на множестве , если задан гомоморфизм из группы в группу всех перестановок множества . Для краткости часто записывают как .
Другими словами, группа действует на множестве , если задано отображение (обозначаемое ), такoe что