نظرية الزمر
لنظرية الزمر ثلاثة جذور تاريخية هي: نظرية الأعداد ونظرية المعادلات الجبرية والهندسة الرياضية. ابتُدأ الفرع الآتي من نظرية الأعداد من طرف ليونهارد أويلر وطوره غاوس في عمله حول الحسابيات النمطية والزمر المجموعية والجداءية المتعلقة بالحقول التربيعية. النتائج الأولى حول زمر التبديلات حصل عليها كل من جوزيف لوي لاغرانج وباولو روفيني ونيلس هنريك أبيل، خلال محاولتهم حلحلة المعادلات الحدودية من درجات عالية.
زمرة (رياضيات)
الزمرة هي مجموعة formula_1 مزودة بعملية ثنائية يرمز لها بالرمز formula_2 وتسمى قانون الزمرة لـ formula_1 أو عملية الزمرة، تربط كل عنصرين اثنين formula_4 و formula_5 من عناصرها بعنصر ثالث formula_6 ينتمي إلى نفس الزمرة. توجد عدة طرق للتعبير عن عملية الزمرة كتابةً، منها formula_7 أو formula_8، وفي الزمر الأبيلية غالبًا ما تُكتب formula_9، وتُستخدم طرق أخرى للتعبير عن عمليات الزمر مثل formula_10 أو formula_11. وكل من المجموعة والعملية formula_12 يحققان البديهيات التالية:هذا وقد يتغير ناتج العملية بتغير ترتيب أطرافها، وبعبارة أخرى فإن ناتج دمج العنصر formula_4 مع العنصر formula_5 ليس بالضرورة مساويًا لناتج دمج العنصر formula_5 مع العنصر formula_4، فهذه المعادلة:
قد لا تكون صحيحة دائمًا. تتحقق هذه المعادلة دائمًا في زمرة الأعداد الصحيحة بالنسبة لعملية الجمع؛ وهذا لأن formula_43 لأي عددين صحيحين (إبدالية الجمع). ويطلق على الزمر التي تحقق دومًا المعادلة formula_42 الزمر الأبيلية (تخليدًا لنيلس أبيل). وتعد زمرة التماثل (التالي شرحها) مثالًا للزمر غير الأبيلية.