Grupa – jedna z prostszych struktur algebraicznych: niepusty zbiór na którym określono tylko jedno działanie dwuargumentowe. Skrótowo możemy powiedzieć, że grupą nazywamy monoid, w którym każdy element ma element odwrotny. Dział matematyki badający własności grup nazywa się teorią grup.