역원이 존재하고, 결합법칙이 성립하는 연산을 가진 대수 구조
في الرياضيات، الزمرة ‏ هي بنية جبرية تتكون من مجموعة من العناصر مزودة بعملية ثنائية تُخرج ناتجًا تتحقق فيه أربعة شروط تسمى البدبهيات وهي الانغلاق والتجميعية ووجود العنصر المحايد ووجود العنصر المعاكس، ما يجعلها تطبيقًا للبديهيات في الجبر المجرد.