ظرية الزمر أو نظرية المجموعات ([الإنجليزية:Group Theory) هي فرع في الرياضيات الذي يهتم بدراسة المجموعات Groups وخواصها. فالزمرة تعني "مجموعة" أو "جماعة مشتركة في صفة أو عدة صفات".
أما المعنى الرياضي لنظرية الزمر فهي تلك النظرية التي تهتم بالمجموعات
العددية المختلفة مثل الأعداد الطبيعية والنسبية والكسرية...الخ
ولكي يمكننا القول بأن مجموعة ما تشكل زمرة يجب تحقق عدة شروط.
أن مجموعة ما من تسمى زمرة، مع وجود عملية رياضياتية خاصة (.) تدعى "تكوين الزمرة" (Group Composition)، إذا تحقق ما ياتي:

1. الإغلاق (Closure): وهو ان نتيجة تطبيق العملية على عناصر من الزمرة تنتمي للزمرة نفسها.
   
2. التجميع (Associativity)
   
3. وجود عنصر محايد (Identity)
   
4. وجود عنصر عكسي متمم (inverse)
   
5. أما الشرط الخامس وهو الابدال ويتحقق إذا كان لكل . إن الزمرة التي تحقق الشروط الأربعة في الأعلى إضافة للخامس تدعى زمرة إبدالية (Commutative) أو زمرة أبيلية (Abelian).