ในคณิตศาสตร์, กรุป (group) คือ เซตกับการดำเนินการทวิภาค เช่น การคูณหรือการบวก ซึ่งสอดคล้องกับสัจพจน์ ตัวอย่างเช่น เซตของจำนวนเต็มเป็นกรุปภายใต้การดำเนินการการคูณ. สาขาของคณิตที่ศึกษาเกี่ยวกับกรุปเรียกว่า ทฤษฎีกรุป
ต้นกำเนิดของทฤษฎีกรุปนั้นย้อนกลับไปสู่ผลงานของเอวาริสต์ กาลัวส์ (พ.ศ. 2373) เกี่ยวกับปัญหาที่ว่าเมื่อใดสมการเชิงพีชคณิตจึงจะสามารถหาคำตอบได้จากราก ก่อนผลงานของเขาการศึกษากรุปเป็นไปอย่างเป็นรูปธรรม ในรูปแบบการเรียงสับเปลี่ยน หลักเกณฑ์บางข้อของอาบีเลียนกรุป อยู่ในทฤษฎีรูปแบบกำลังสอง
หลายสิ่งที่ศึกษากันในคณิตศาสตร์เป็นกรุป รวมไปถึงระบบจำนวนที่คุ้นเคย เช่น จำนวนเต็ม จำนวนตรรกยะ จำนวนจริง และจำนวนเชิงซ้อน ภายใต้การบวก เช่นเดียวกับจำนวนตรรกยะ จำนวนจริง และจำนวนเชิงซ้อนที่ไม่ใช่ศูนย์ ภายใต้การคูณ ตัวอย่างที่สำคัญอีกตัวอย่างหนึ่งคือ เมทริกซ์ไม่เอกฐาน ภายใต้การคูณ และฟังก์ชันที่หาฟังก์ชันผกผันได้ ภายใต้ การประกอบฟังก์ชัน ทฤษฎีกรุปรองรับคุณสมบัติของระบบเหล่านี้และระบบอื่นๆอีกมากมายในรูปแบบทั่วไป ผลลัพธ์ยังสามารถประยุกต์ได้หลากหลาย ทฤษฎีกรุปยังเต็มไปด้วยทฤษฎีบทในตัวมันเองอีกมากเช่นกัน
ภายใต้กรุปยังมีโครงสร้างเชิงพีชคณิตอีกมาก เช่นฟิลด์ และปริภูมิเวกเตอร์ กรุปยังเป็นเครื่องมือที่สำคัญในการศึกษาสมมาตรในรูปแบบต่างๆ หลักการที่ว่า "สมมาตรของวัตถุใดๆก่อให้เกิดกรุป" เป็นหลักพื้นฐานของคณิตศาสตร์มากมาย ด้วยเหตุผลเหล่านี้ทฤษฎีกรุปจึงเป็นสาขาที่สำคัญในคณิตศาสตร์ยุดใหม่ และยังเป็นหนึ่งในบทประยุกต์ของ ฟิสิกส์เชิงคณิตศาสตร์ อีกด้วย (ตัวอย่างเช่น ฟิสิกส์อนุภาค)