In abstrakte algebra is 'n groep 'n versameling met 'n binêre operasie wat sekere aksiomas, soos onder uiteengesit, bevredig.
กรุป ในพีชคณิตนามธรรม คือ เซตกับการดำเนินการทวิภาค เช่น การคูณหรือการบวก ซึ่งสอดคล้องกับสัจพจน์ ตัวอย่างเช่น เซตของจำนวนเต็มเป็นกรุปภายใต้การดำเนินการการบวก สาขาของคณิตที่ศึกษาเกี่ยวกับกรุปเรียกว่า ทฤษฎีกรุป