أول صنف من الزمر دُرس هو زمر التبديلات. لتكن X مجموعة ما، ولتكن G مجموعة من التقابلات من X إلى X (والمعروفة باسم تبديلات)، منغلقةً تحت عمليتي التركيب والعكس. G زمرة والعملية المعرِفة لها هي عملية تركيب التبديلات.
إذا كانت X تحوي n عنصرا وكانت G تتكون من جميع تبديلات X الممكنة، فإن G تسمى زمرة متماثلة. يُرمز إليها حينئذ Sn.
تطبيقات نظرية الزمر كثيرة، فأغلب البُنى التي يتطرق إليها الجبر التجريدي هي حالات خاصة من الزمر. الحلقات على سبيل المثال، يمكن أن ينظر إليها على أنها زمر أبيلية (بقانون الجمع) إضافة إلى عملية ثانية تتمثل في الضرب أو الجداء.
1. (G،*) تملك انغلاقا، يعني أنه إذا كان a وb ضِمْنَ G فإن a*b يكون ضمن G أيضا
2. العملية * تجميعية، يعني أنه إذا كان a و b و c عناصر من G فإن (a*b)*c=a*(b*c).
3. G تحتوي على عنصر محايد، يرمز له غالبا ب e، يعني أنه مهما يكن a عنصر من G فإن: e*a=a*e=a.
4. كل عنصر من الزمرة (G,*) له عنصر معاكس، إذا كان a عنصر من G، فإنه يوجد عنصر b ضمن G بحيث يحقق:a*b=b*a=e.
نستنتج البدهيتين 1 و 2 تلقائياً من تعريف العملية الثنائية التجميعية لذلك يمكن إهمالهما.
ويتحقق مبدأ الحذف للزمرة (G,*) من جهة اليمين واليسار أي :
a*b=a*c
b=c هذا من جهة اليسار
b*a=c*a
b=c هذا من جهة اليمين
وكذلك المعادلة الخطية من الدرجة الأولى إذا كان كل من a و b ينتميان إلى G فإن a*x=b
y*a=b
لها حل وحيد في G
ويمكن القول أن الزمرة G تبادلية إذا كانت العملية الثنائية المعرفة عليها * تبادلية، عند إذ يطلق على الزمرة زمرة أبيلية (تبادلية): نسبة للعالم الذي اكتشفها.
في الزمرة G يوجد عنصر محايد وحيد e وكذلك معكوس وحيد a يحققان العلاقات التالية: e*x=x*e=x و a*x=x*a=e
مجموع مباشر للزمر
في نظرية الزمر، نقول عن الزمرة G أنها مجموع مباشر لمجموعة من الزمر الجزئية {Hi}: