Niezmienniczość działania grup na obiektach geometrycznych była główną ideą tzw. programu erlangeńskiego Feliksa Kleina. Ewaryst Galois w swoich pracach dotyczących rozwiązywania wielomianów przez pierwiastniki badał działanie grup Galois na zbiorach pierwiastków wielomianu.
Umożliwiając stosowanie idei geometrycznych do bardziej abstrakcyjnych tworów działania grup dostarczają wysokiego poziomu abstrakcji. Wiele obiektów matematycznych ma naturalnie określone na sobie działanie grupy. W szczególności grupy mogą działać także na innych grupach, a nawet na samych sobie. Mimo wspomnianej ogólności teoria działań grup zawiera szeroko stosowane w praktyce twierdzenia, jak np. twierdzenie o orbitach i stabilizatorach, które mogą być środkiem podczas dowodzenia mocnych wyników w innych działach matematyki.
Definicja Niech będzie grupą, a oznacza pewien zbiór, którego elementy nazywane punktami będą oznaczane pismem prostym.