역원이 존재하고, 결합법칙이 성립하는 연산을 가진 대수 구조
În matematică, un grup este o mulțime echipată cu operația binară care combină orice două elemente ale ei pentru a forma un al treilea element în așa fel încât sunt satisfăcute patru condiții, denumite axiomele grupurilor, și anume închiderea, asociativitatea, identitatea și inversabilitatea.