There is a conceptual principle underlying all of the following notions: to take advantage of the structure offered by groups (which sets, being "structureless", do not have), constructions related to groups have to be compatible with the group operation.
Există un principiu conceptual ce stă la baza tuturor noțiunilor următoare: pentru a profita de structura oferită de grupuri (structură pe care mulțimile, de exemplu, nu o au) construcțiile legate de grupuri trebuie să fie compatibile cu operatorul grupului.