زمرة (رياضيات)

زمرة (رياضيات)
في الرياضيات، الزمرة هي بنية جبرية تتكون من مجموعة من العناصر مزودة بعملية ثنائية تُخرج ناتجًا تتحقق فيه أربعة شروط تسمى البديهيات وهي الانغلاق والتجميعية ووجود العنصر المحايد ووجود العنصر المعاكس، ما يجعلها تطبيقًا للبديهيات في الجبر المجرد. يُمكن مبدأ الزمر القائم على تصنيف العناصر وعملياتها الثنائية على أساس طبيعتها، بالتعامل بمرونة مع الكيانات ذات الأصول الرياضية المتنوعة في الجبر المجرد وغيره مع الحفاظ على جوانبها البنيوية الأساسية. إن الاستخدام الواسع للزمر في مجالات عديدة داخل الرياضيات وخارجها جعلها مبدأً تنظيميًّا محوريًّا في الرياضيات المعاصرة. تمثل مجموعة الأعداد الصحيحة زمرة تحت عملية الجمع وتعد مثالًا للزمر، ومن الأمثلة الأخرى على الزمر الأعداد الكسرية غير المساوية للصفر تحت عملية الضرب، والتناظر في الشكل الهندسي المنتظم، وزمرة المصفوفات التي لا تساوي محدداتها الصفر والتماثلات الذاتية للبنى الجبرية المختلفة. تُدْرس الزمر في فرع من الرياضيات يدعى نظرية الزمر.
ترتبط الزمر ارتباطًا أساسيًّا بفكرة التناظر، فزمرة التماثل على سبيل المثال، ترمز إلى خصائص تناظر كائنٍ هندسيٍّ: تتكون تلك الزمرة من مجموعة من التحاويل التي تترك الكائن دون تغيير، وعملية هذه الزمرة هي الجمع بين اثنين من هذه التحاويل حيث تجمع الواحدة تلو الأخرى، وتصنَّف زمر لي المستخدمة في نظرية النموذج العياري في فيزياء الجسيمات زمرَ تماثل، وكذلك تساعد الزمرة النقطية في فهم التناظر في الكيمياء الجزيئية، وتعبر زمر بوانكاريه عن التناظر الفيزيائي الكامن وراء النسبية الخاصة.
نشأت نظرية الزمر على يد إيفاريست غالوا في ثلاثينيات القرن التاسع عشر، وهي تهتم أساسًا بمشكلة إيجاد متى تكون معادلة جبرية كثيرة الحدود قابلة للحلحلة أي لها حلول أو جذور. بعد ذلك أخذ مفهوم الزمر يُستخدم في المجالات الأخرى مثل نظرية الأعداد والهندسة، ليعمَّم مفهوم الزمرة ويرسخ في حوالي عام 1870. أصبحت نظرية الزمر فرعًا في الرياضيات يدرس الزمر في حد ذاتها. قسم الرياضياتيون نظرية الزمر إلى عدة أقسام لتسهيل فهم الزمر واستكشافها، مثل الزمر الجزئية وزمر خارج القسمة والزمر البسيطة. لا يهتم المختصون بنظرية الزمر بدراسة خصائص الزمر التجريدية فقط، بل إن جانبًا من نظرية الزمر يهتم بدراسة الطرق التي تعبر عنها تعبيرًا ملموسًا أو ما يُعرف بتمثيلات الزمر، والتي لها أهميتها في العديد من المجالات، ففي فيزياء الجسيمات تستخدم في نظريات كالحقل الكمومي والأوتار، وفي المعلوماتية توجد زمر للتشفير والترميز ومعالجة الصور، وفي علم البلورات تستخدم في توضيح التناظر في الشبكات البلورية. وُضعت نظرية للزمر المنتهية وتُوجت بوضع تصنيف الزمر المنتهية البسيطة الذي أُعلن عنه عام 1983. أصبحت نظرية الزمر الهندسية، التي تهتم بدراسة الزمر منتهية التوليد مثل الكائنات الهندسية، قسمًا نشطًا في نظرية الزمر في منتصف ثمانينيات القرن العشرين.
تعريف وتوضيح
المثال الأول: الأعداد الصحيحة
من أشهر الأمثلة على الزمر مجموعة الأعداد الصحيحة Z، وهي تتكون من الأعداد التالية:
..., 4, 3, 2, 1, 0, 1-, 2-, 3-, 4- , ... مزودةً بعملية الجمع.
الخصائص التالية لعملية جمع الأعداد الصحيحة نموذجٌ للبديهيات التجريدية للزمر.
مجموع عددين صحيحين هو عدد صحيح. ولا يمكن نهائيا أن يكون مجموع عددين صحيحين عددًا غير صحيح. تعرف هذه الخاصية باسم الانغلاق بالنسبة للجمع.
بالنسبة لثلاثة أعداد a و b و c، فإن (a + b) + c = a + (b + c). أي أنه إذا جُمعت a و b أولًا، ثم أُضيفت c، فسيُحصل على نفس النتيجة إذا ما جمعت a مع حاصل مجموع b و c. تعرف هذه الخاصية باسم التجميعية.
إذا كان a عددًا صحيحًا، فإن a + 0 = 0 + a = a. الصفر يسمى عنصرا محايدا.
لكل عدد صحيح a، يوجد عدد صحيح b حيث a + b = b + a = 0. العدد الصحيح b يسمى العنصر المعاكس للعدد a ويُكتب a-.
تشكل زمرة الأعداد الصحيحة تحت عملية الجمع كائنًا رياضيًّا ينتمي إلى تصنيف واسع من الكائنات الأخرى تشاركه خصائصه البنيوية. وقد طُور التعريف التجريدي التالي لفهم هذه البنى فهمًا شاملًا.
تعريف
الزمرة هي مجموعة مزودة بعملية ثنائية يرمز لها بالرمز وتسمى قانون الزمرة لـ أو عملية الزمرة، تربط كل عنصرين اثنين و من عناصرها بعنصر ثالث ينتمي إلى نفس الزمرة. توجد عدة طرق للتعبير عن عملية الزمرة كتابةً، منها أو ، وفي الزمر الأبيلية غالبًا ما تُكتب ، وتُستخدم طرق أخرى للتعبير عن عمليات الزمر مثل أو . وكل من المجموعة والعملية يحققان البديهيات التالية:
الانغلاق
لكل عنصرين و من عناصر يكون ناتج العملية منتميًا أيضًا إلى .
التجميعية
لكل ثلاثة عناصر و و من يكون ، أي أن ناتج تركيب العناصر الثلاثة لا يتأثر بتغير موضع الأقواس، مما يسمح بكتابة الناتج في صورة بدون أقواس.
وجود العنصر المحايد
يوجد عنصر يحقق المعادلة لكل ، ويسمى هذا العنصر العنصر المحايد. وهو عنصر وحيد؛ فلا يوجد أكثر من عنصر محايد واحد في الزمرة.
وجود العنصر المعاكس
لكل عنصر من عناصر يوجد عنصر من بحيث حيث هو العنصر المحايد، أي أن تركيب هذين العنصرين بأي ترتيب يساوي العنصر المحايد . يُسمي العنصر العنصر المعاكس للعنصر ورمزه . ومن الواضح أن العنصر المحايد واحد فقط في الزمرة، وأن العنصر المعاكس للعنصر محدد بوضوح.
هذا وقد يتغير ناتج العملية بتغير ترتيب أطرافها، وبعبارة أخرى فإن ناتج دمج العنصر مع العنصر ليس بالضرورة مساويًا لناتج دمج العنصر مع العنصر ، فهذه المعادلة:
قد لا تكون صحيحة دائمًا. تتحقق هذه المعادلة دائمًا في زمرة الأعداد الصحيحة بالنسبة لعملية الجمع؛ وهذا لأن لأي عددين صحيحين (إبدالية الجمع). ويطلق على الزمر التي تحقق دومًا المعادلة الزمر الأبيلية (تخليدًا لنيلس أبيل). وتعد زمرة التماثل (التالي شرحها) مثالًا للزمر غير الأبيلية.
كثيرًا ما يُكتب العنصر المحايد أو ، وهذا الرمز مأخوذ من المحايد الضربي. كما قد يُكتب العنصر المحايد خاصة إذا رُمز لعملية الزمرة بـ، وتسمى الزمرة في هذه الحالة زمرة جمعية. وقد يُكتب العنصر المحايد أيضًا .
المثال الثاني: زمرة التماثل
يتطابق الشكلان في نفس المستوى إذا أمكن أن يحوَّل أحدهما إلى الآخر باستخدام مزيج من الدورانات والانعكاسات والانزلاقات. يتطابق كل شكل بديهيًّا مع نفسه. ومع ذلك فإن بعض الأشكال تتطابق مع نفسها بعدة طرق. تسمى هذه التطابقات الإضافية التماثلات. للمربع ثمانية تماثلات، كما توضح تلك الصور:
العملية المحايدة تحفظ الشكل من التغيير كما في الشكل id.
دوران المربع حول مركزه بزوايا 90° يمينًا و 180° يمينًا و 270° يمينًا ينتج عنه الأشكال r1 و r2 و r3 على الترتيب.
الانعكاس عبر المحورين العمودي والأفقي يعطي الشكلين fh و fv، والانعكاس عبر القطرين يعطي fd و fc.
تنتج هذه التماثلات عن مجموعة من الدوال، يقوم كل منها بإرسال نقطة في المربع إلى النقطة المناظرة لها في إطار التماثل. على سبيل المثال، في الشكل r1 ترسل الدالة كل نقطة إلى صورتها بالدوران 90° يمينًا حول مركز المربع، أما في الشكل fh فترسل كل نقطة إلى انعكاسها عبر محور المربع العمودي، وتركيب اثنتين من دوال التماثل الموجودة في الأشكال أعلاه يعطي دالة تماثل أخرى. تشكل هذه التماثلات زمرة تسمى الزمرة الزوجية وهي من الدرجة 4 ورمزها D4، ومجموعة تلك الزمرة هي تلك المجموعة من دوال التماثل، وعمليتها هي تركيب الدوال. يمكن تركيب اثنين من التماثلات من خلال تركيب دالتيهما، بمعنى تطبيق الدالة الأولي على المربع، ومن ثم تطبيق الدالة الثانية على نتيجة الدالة الأولى. تُكتب نتيجة تطبيق الدالة الأولى a ثم الدالة الثانية b رمزيًّا من اليمين إلى اليسار كالتالي:
(الترميز من اليمين إلى اليسار هو نفسه المتبع عند تركيب الدوال).
يعدد جدول الزمرة على اليسار نتائج جميع هذه التراكيب الممكنة. على سبيل المثال، بالدوران بزاوية 270° يمينًا (r3) ثم قلب الناتج أفقيًّا (fh) نحصل على نفس الناتج الذي نحصل عليه بالانعكاس القطري (fd). بالاستعانة بالجدول نستنتج أن:
يمكن تطبيق بديهيات الزمر على الزمرة D4 المعرفة عناصرها وعمليتها في الجدول وحيث كالتالي:
<li> تحقيق بديهية الانغلاق يتطلب أن يكُون أي أن يكون تماثلًا أيضًا. هذا مثال أخر على عملية الزمرة اعتمادًا على الجدول في اليسار:
أي أن الدوران بزاوية 270° يمينًا بعد الانعكاس أفقيًّا يساوي الانعكاس القطري العكسي. والمغزى أن أي تركيب لتماثلين يكون تماثلًا آخر من نفس الدرجة، يُمكن التأكد من ذلك بالاستعانة بالجدول في اليسار.
<li> تتعامل التجميعية مع العمليات التي يركَّب فيها أكثر من تماثلين. توجد طريقتان نستطيع بها استخدام العناصر a و b و c على الترتيب لتكوين تماثل لمربع: الأولى هي أن يركَّب العنصران a و b في تماثل واحد أولًا، ثم أن يركَّب هذا التماثل مع c. والطريقة الأخرى هي أن يركَّب أولًا b و c، ثم أن يركَّب التماثل الناتج مع a. في حالة التجميعية يكون:
وهذا يعني أن ناتجي هاتين الطريقتين متساويان، أي يمكن تبسيط ناتج تركيب العديد من العناصر في الزمرة بجعلها في شكل تجميعات. فمثلًا ، ويمكن التأكد من هذا باستخدام الجدول في اليسار، فيلاحَظ أن
، وهذا يساوي
.
ومع أن شرط التجميعية صحيح في حالتي تركيب تماثلات المربع وجمع الأعداد، فهو ليس صحيحًا لكل العمليات؛ فطرح الأعداد مثلُا ليس عملية تجميعية، فمثلًا (7 − 3) − 2 = 2، وهذا لا يساوي 7 − (3 − 2) = 6.
<li> العنصر المحايد في الزمرة المعطاة أعلاه هو التماثل id لتركه نقاط الشكل دون تغيير: تأدية id بعد a (أو a بعد id) يساوي التماثل a، وبتعبير رمزي:
.
<li> بالنسبة للزمرة المعطاة يقوم العنصر المعاكس بإبطال تحويلات بعض العناصر الأخرى. كل تماثل في الزمرة المعطاة يمكن إبطاله؛ فكل من التماثل المحايد id والانعكاسات fh و fv و fd و fc والدوران بزاوية 180° (r2)—كل منهم معكوس لذاته، لأن تأدية أحدهم مرتين يُعيد المربع إلى أصله قبل تأديته. بالإضافة إلى أن كلا الدورانين r3 و r1 معكوس للآخر، لأن الدوران 90° ثم إتباعه بدوران 270° (أو العكس بالعكس) يعطي دورانًا بزاوية 360°وينتهي بعدم حدوث تغير في المربع. وبالتعبير الرمزي:
.
وعلى عكس زمرة الأعداد الصحيحة التي ذُكر عنها في الأعلى أن ترتيب العملية لا يؤثر في الناتج، نجد الناتج يختلف في حالة الزمرة D4، فمثلًا: لكن . ولذلك فإن الزمرة D4 غير أبيلية.
التاريخ
تطور المفهوم العصري للزمرة المجردة انطلاقًا من مجموعة من مجالات الرياضيات؛ فقد كان أول حافز نحو نظرية الزمر هو محاولة حلحلة المعادلات الحدودية من الدرجة الخامسة فما فوق. طور عالم الرياضيات الفرنسي إيفاريست غالوا في القرن التاسع عشر أعمال كل من باولو روفيني وجوزيف لاغرانج، ليعطي معيارًا لقابلية حلحلة معادلة حدودية ما، بالنظر إلى زمرة التماثل المكونة من جذور هاته الحدودية. تتطابق عناصر هاته الزمرة والمسماة زمرة غالوا، مع تباديل ما للجذور. رفض معاصرو غالوا أفكاره في بادئ الأمر، ولم تنشر إلا بعد وفاته. درس أوغستين لوي كوشي لاحقًا زمر التبديلات الأكثر تعميمًا بشكل تخصصي. عرَّف أرثور كايلي الزمر المنتهية تجريديًّا لأول مرة في كتابه حول نظرية الزمر، اعتمادًا على المعادلة الرمزية θn = 1 (المنشور عام 1854).
كانت الهندسة الرياضية ثاني مجال يستعمل الزمر بشكل منهجي، وقد ظهر ذلك بشكل خاص في استعمال زمر التماثل جزءً من برنامج إرلنغن الذي نشره فيليكس كلاين عام 1872. مع ظهور الفروع الهندسية الحديثة كالهندسة الزائدية والهندسة الإسقاطية، استخدم كلاين نظرية الزمر في تنظيم تلك الفروع لتصبح أكثر تماسكًا. طور سوفوس لي جميع هاته الأفكار، مؤسسًا دراسة زمر لي عام 1884.
أما المجال الثالث الذي كان وراء تطور نظرية الزمر فهو نظرية الأعداد. استعمل كارل فريدريش غاوس بُنى بعض الزمر الأبيلية ضمنيًّا في عمل حول نظرية الأعداد، والذي يحمل عنوان استفسارات حسابية (عام 1798)، كما استعملها ليوبلد كرونكر بشكل أكثر وضوحًا. في عام 1847، كان إرنشت كومر من بين العلماء الأوائل الذين حاولوا حلحلة مبرهنة فيرما الأخيرة، وذلك بتطوير زمر تصف تحليل عدد صحيح إلى أعداد أولية.
وضع كامي جوردان أول نظرية موحدة للزمر بالمفاضلة بين تلك المصادر المتعددة في عمله Traité des substitutions et des équations algébriques الصادر عام 1870. أعطى فالتر فون ديك البيان الأول للتعريف الحديث للزمرة المجردة. مع بداية القرن العشرين، اكتسبت الزمر اهتمامًا كبيرًا من الرياضياتيين، فظهرت أعمال فرديناند جورج فروبنيوس وويليام برنسايد الرائدة في نظرية التمثيل للزمر المنتهية، وكذلك أعمال ريتشارد براور في نظرية التمثيل النمطي، وأوراق إيساي شور. درس هيرمان فايل وإيلي كارتن وغيرهما الكثير نظرية زمر لي خاصةً والزمر محلية التراص عامةً. صيغت نظرية الزمر الجبرية لأول مرة على يد كلود شيفالي في أواخر ثلاثينيات القرن العشرين وعلى يد أرمان بورل وجاك تيتس لاحقًا.
نظمت جامعة شيكاغو في 1960–61 عامًا خاصًّا لنظرية الزمر، وقد استقطب هذا الحدث علماء نظرية الزمر مثل دانيال غورنشتاين وجون تومسون وفالتر فايت، وبمساهمة العديد من الرياضياتيين الآخرين صُنفت كل الزمر المنتهية البسيطة عام 1982. تفوق هذا المشروع على نظائره السابقة بحجمه الهائل من ناحيتي طول البرهان وعدد الباحثين. ولا يزال البحث جاريًا لمحاولة تبسيط برهان التصنيف. ولا تزال نظرية الزمر حتى هذه الأيام فرعًا رياضيًّا نشطًا للغاية ومؤثرًا في عدة مجالات أخرى.
النتائج الابتدائية لبديهيات الزمر
عادة ما تندرج الحقائق الأساسية عن الزمر التي يمكن استنتاجها مباشرة من البديهيات تحت ما يُعرف بنظرية الزمر الابتدائية. فمثلًا تُظهر التطبيقات المتكررة لبديهية التجميعية أن القاعدة:
تعمَّم لكل ما زاد على ثلاثة عوامل. وعادة ما تُحذف الأقواس في هذه الحالة لأنه يجوز وضعها في أي مكان داخل تلك السلسلة.
يمكن غض النظر جزئيًّا عن البديهيات، فنفترض وجود المحايد الأيسر والمعاكس الأيسر؛ إذ يمكن لكليهما أن يبدوا في الواقع ذوَي جهة، والنتيجة من ذلك ستكافئ التعريف المذكور أعلاه كالتالي.
وحدة العنصر المحايد ووحدة العناصر المعاكسة
إن وحدة العنصر المحايد والعناصر المعاكسة لكل عنصر نتيجتان مهمتان لبديهيات الزمر. ولا يمكن لزمرة ما أن تحتوي على أكثر من عنصر محايد واحد، وكل عنصر في الزمرة يملك عنصرًا مقابلًا واحدًا بالضبط. وبالتالي فمن الشائع تعريفهما بقول المحايد والمعاكس.
لإثبات وحدة العنصر المعاكس للعنصر ، لنفترض أن للعنصر عنصران معاكسان و في الزمرة ، حيث
{|
| |||| || ||حيث هو العنصر المحايد
|-
| |||| || ||لأن هو العنصر المعاكس للعنصر ، وبالتالي
|-
| |||| || ||لأن خاصية التجميعية تقضي بحرية ترتيب الأقواس
|-
| |||||| ||لأن هو معاكس ، أي أن
|-
| |||||| || حيث هو العنصر المحايد
|}
وبالتالي فإن كلا العنصرين و متساويان. وبعبارة أخرى فإن للعنصر معاكسًا واحدًا فقط. ويمكن إثبات وحدة العنصر المحايد في زمرة ما بنفس الطريقة، فلنفترض أن زمرة بها عنصران محايدان و ، حيث ، وبالتالي فإن و متساويان.
القسمة
من الممكن القيام بعملية القسمة في الزمر: ليكن و عنصرين من الزمرة ، إذن هناك حل وحيد للمعادلة . وبضرب حدي هاته المعادلة في العنصر من الجهة اليمنى يعطي الحل . ويوجد بالمثل حل وحيد في للمعادلة ، وهو . وليس من الضروري عامةً لكل من و أن يتفقا.
إن نتيجة ذلك هي أن الضرب في العنصر من زمرة ما هو دالة تقابلية. وعلى وجه التحديد، إذا كان عنصرًا من الزمرة فإنه يوجد دالة تقابلية على تدعى الانزلاق الأيسر بـ ، وهو يرسل إلى . وبالمثل يوجد دالة تقابلية على تدعى الانزلاق الأيمن بـ ، وهو يرسل إلى . وإذا كانت أبيلية فإن الانزلاقين الأيمن والأيسر بعنصر من عناصرها هما ذاتهما.
المفاهيم الأساسية
تُستخدم رموز رياضية في هذا القسم مثل للرمز إلى مجموعة X تحتوي العناصر x و y و z، أو يُستخدم بدلًا من ذلك لتوضيح أن عنصر من . ويشير الترميز إلى أن هي دالة تربط بكل عنصر من عنصرًا من .
لفهم الزمر فهمًا يتجاوز مجرد المعالجات الرمزية كما فُعل أعلاه، يجب استخدام مفاهيم أكثر بنيوية. يوجد مبدأ مفهومي تقوم عليه كل المفاهيم الآتية، وهو استغلال الخصائص البنيوية الفريدة للزمر (والتي ليست في المجموعات)، ويجب للبنى المرتبطة بالزمر التلاؤم مع عمليتها. يتجلى هذا التلاؤم في المفاهيم التالية بطرق مختلفة، فمثلًا يمكن للزمر أن ترتبط مع بعضها البعض بدوال تُعرف بتشاكلات الزمر، ووفقًا للمبدأ المفهومي المذكور آنفًا، فإنه يتعين على هذه الدوال أن تُعنى ببنى الزمر بالمعنى الدقيق. ومن الممكن أيضًا فهم الزمر بنيةً من خلال تقسيمها إلى أجزاء تُعرف بالزمر الجزئية وزمر خارج القسمة. إن مبدأ «الحفاظ على البنى» هو موضوع متكرر في الرياضيات كافة، وهو يستدعي بحد ذاته العمل في فئة، وهي في حالة الزمر تُدعى فئة الزمر.
تشاكلات الزمر
تشاكلات الزمر هي دوال تحفظ بنية الزمرة. وتُسمى الدالة بين الزمرتين و تشاكلًا إذا تحققت المعادلة لكل عنصرين و في . وبعبارة أخرى، لا يتغير الناتج عند القيام بعملية الزمرة قبل أو بعد التطبيق . وينتج عن هذا الشرط أن ، وأن لكل في . وبالتالي فإن تشاكل الزمرة يُعنى ببنية كاملةً والتي تتمثل في بديهيات الزمر.
تُوصف الزمرتان و بأنهما متساويتا الشكل إذا كان كلا التطبيقين و تشاكلًا، أي أن تطبيق كلتا الدالتين الواحدة تلو الأخرى في كلا الترتيبين الممكنين يُعطي الدالتين المحايدتين في و . أي أن و لأي في و في .
من وجهة نظر تجريدية، تحمل الزمر المتشابهة شكليًّا نفس المعلومات، فمثلًا يكون إثبات أن لعنصر ما من يُكافئ إثبات أن ؛ لأن تطبيق الدالة على المتساوية الأولى يعطي الثانية، وتطبيق الدالة على الثانية يُعيدها إلى الأولى.
الزمر الجزئية
إن الزمرة الجزئية ببساطة هي زمرة موجودة في زمرة أكبر . ويكون العنصر المحايد للزمرة موجودًا عمليًّا ضمن الزمرة ، وعندما يكون و في ، يكون و أيضًا في ، وبذلك تشكل عناصر مزودةً بعملية الزمرة المقصورة على زمرةً جزئية.
في مثال الزمرة المذكور أعلاه، يشكل المحايد والدورانات زمرة جزئية ، وهي مظللة باللون الأحمر في الجدول أعلاه؛ حيث أن أي دورانين مركبين يشكلان دورانًا أيضًا، وكل دوران يمكن إبطاله بدوران آخر (أي العنصر المعاكس) هو الدوران الذي يشكل مع الدوران الأصلي دورة كاملة: 270° مع 90°، و 180° مع 180°، و 90° مع 270° (لاحظ أن الدوران في الاتجاه المعاكس غير معرف). إن اختبار الزمرة الجزئية شرط ضروري وكاف للمجموعة الجزئية من الزمرة لتكون زمرة؛ حيث يكفي التأكد من أن لكل . كما أن معرفة الزمر الجزئية مهم في فهم الزمرة كليةً.
بإعطاء أي مجموعة جزئية من زمرة ، تتكون الزمرة الجزئية التي تولدها من نواتج إخضاع عناصر لعملية الزمرة مع بعضها البعض، بالإضافة إلى معكوسات تلك النواتج. وهي أصغر زمرة جزئية من تضم . وفي المثال المقدم أعلاه، تتكون الزمرة الجزئية المولدة بـ و من هذين العنصرين، والعنصر المحايد، والعنصر . ومجددًا هذه زمرة جزئية؛ لأن تركيب أي عنصرين من تلك العناصر الأربعة أو معكوساتها (والتي هي ذات تلك العناصر في هذه الحالة الخاصة) ينتج عنصرًا ينتمي إلى هذه الزمرة الجزئية.
المجموعات المشاركة
من المستحسن في العديد من الحالات أن يُعَد عنصران في الزمرة نفسيهما إن اختلفا بعنصر من زمرة جزئية معطاة. فمثلًا في مثال الزمرة المعطى أعلاه، بمجرد تأدية انعكاس ما، لا يعود المربع إلى وضع بالقيام بعمليات الدوران، أي أن عمليات الدوران ليست ذات صلة بسؤال ما إذا كان قد أُجري انعكاس. تستخدم المجموعات المشاركة لتناول هذه الرؤية تناولًا رسميًّا: تحدد المجموعة الجزئية مجموعة مشاركة يمنى وأخرى يسرى، والتي يمكن وصفهما انزلاقين لـ بأي عنصر من عناصرها . ويعبَّر عن المجموعتين المشاركتين اليسرى واليمنى لـ التي تحتوي العنصر كالتالي:
و بالترتيب.
تشكل المجموعات المشاركة لأي زمرة جزئية تجزئة لـ ، بمعنى أن اتحاد كل المجموعات المشاركة اليسرى يساوي ، وتكون كل مجموعتين يسريين إما متساويتين أو غير متقاطعتين. تحدث الحالة الأولى إذا وفقط إذا كان ، أي إذا اختلف العنصران بعنصر من ، وما قيل في المجموعات المشاركة اليسرى ينطبق على المجموعات المشاركة اليمنى لـ . ومن الممكن أن تتساوى المجموعتان المشاركتان اليسرى واليمنى ومن الممكن أن لا تتساويا، فإذا تساويتا (أي إذا كان لكل )، تسمى حينها زمرة جزئية طبيعية.
في الزمرة المقدمة مثالًا لزمرة التماثل، المجموعات المشاركة اليسرى للزمرة الجزئية المكونة من الدورانات إما أن تساوي إذا كان عنصرًا من نفسها، أو أن تساوي (المظللة باللون الأخضر). كما أن زمرة جزئية طبيعية، لأن والأمر ينطبق على أي عنصر غير .
زمرة خارج القسمة
في بعض الحالات يمكن منح قانون زمرة لمجموعة المجموعات المشاركة لزمرة جزئية ما، وينتج عن ذلك ما يُعرف بزمرة خارج القسمة. ويجب أن تكون هذه الزمرة الجزئية طبيعيةً ليكون ذلك بالإمكان. بإعطاء أي زمرة جزئية طبيعية ، تحدَّد زمرة خارج القسمة بالتالي
تأخذ هذه المجموعة عمليتها (وتُدعى عادةً ضرب أو جمع المجموعات المشاركة) من الزمرة الأصلية . لكل و في . يُدعم هذا التعريف بفكرة تمثل النظرات البنيوية العامة المحدَّدة سابقًا، وهي أن التطبيق الذي يربط إلى كل عنصر مجموعته المشاركة يكون تشاكلًا، أو بالتعبير المجرد العام يسمى الخصائص الشاملة. والمحايد في هذه الزمرة يتمثل في المجموعة المشاركة ، ومعاكس في زمرة خارج القسمة هو .
عناصر زمرة خارج القسمة هي نفسها والتي تمثل المحايد، ومعها . يعرض الجدول على اليسار عملية زمرة خارج القسمة. فمثلًا . إن كلًّا من الزمرة الجزئية بالإضافة إلى خارج القسمة المقابل أبيليان، وهذا رغم أن ليست أبيلية. إن بناء زمر أكبر من أخرى أصغر كبناء الزمرة من الزمرة الجزئية وخارج القسمة يجرَّد بمفهوم يسمى الجداء شبه المباشر.
تشكل زمر خارج القسمة والزمر الجزئية معًا طريقةً لوصف أي زمرة من خلال تباديلها: أي زمرة هي خارج قسمة للزمرة الحرة على مولدات الزمرة، وهي خارج قسمة زمرة العلاقات الجزئية. فمثلًا يمكن توليد الزمرة الزوجية بعنصرين و (وعلى سبيل المثال: أي الدوران بزاوية قائمة، و أي الانعكاس العمودي (أو أي انعكاس آخر))، ما يعني أن كل تماثل للمربع هو تركيب منتهٍ من هذين التماثلين أو معكوسهما. وإلى جانب هذه العلاقات
،
تُوصف الزمرة وصفًا كاملًا. ويمكن استخدام توصيف الزمرة أيضًا في إنشاء مبيان كيلي، وهو وسيلة تستخدم لتمثيل الزمر المتقطعة.
ترتبط زمر خارج القسمة والزمر الجزئية على النحو التالي: يمكن النظر إلى المجموعة الجزئية من على أنها تطبيق تبايني ، أي أن أي عنصر من المجال المقابل يرتبط بعنصر واحد على الأكثر. كما يوجَد ما يُعرف بالتطبيقات الشمولية، وهو تطبيق ترتبط فيه كل عناصر المجال المقابل بعنصر أو أكثر من المجال، مثل التطبيق . إن تفسير الزمر الجزئية وخوارج القسمة في ضوء هذه التشاكلات يؤكد على المفهوم البنيوي الملازم لتلك التعريفات المشار إليها في المقدمة. ليست التشاكلات عمومًا متباينة ولا شمولية. ويعالج هذه الظاهرة كل من نواة وصورة تشاكلات الزمرة ومبرهنة تساوي الشكل الأولى.
أمثلة وتطبيقات
تكثر الأمثلة على الزمر وتطبيقاتها، وقد كانت زمرة للأعداد الصحيحة تحت عملية الجمع عمليةً للزمرة أولَ مثال شُرح أعلاه. وإذا أُخذت عملية الضرب عمليةً للزمرة بدل الجمع، تصبح الزمرة زمرة ضربية. وتعد تلك الزمرتان سلفًا لبنًى مهمة في الجبر المجرد.
تطبَّق الزمر في مجالات عديدة من الرياضيات. كثيرًا ما تُفحص الكائنات الرياضية بتجميع زمر إليها ودراسة خصائص الزمر المناظرة. فمثلًا قام هنري بوانكاريه بتأسيس ما نسميه الآن الطوبولوجيا الجبرية بإدخاله الزمر الأساسية إلى الطوبولوجيا. وقد تُرجمت في هذا السياق عدد من الخصائص الطوبولوجية مثل القرب والاستمرارية إلى خصائص للزمر. فمثلًا تمثَّل الزمرة الأساسية بالحلقات. توضح الصورة الثانية على اليسار بعض الحلقات في مستوًى ما ناقص نقطة. تعد الحلقة الزرقاء مثلية التوضع فراغيا (وهي بالتالي ليست موضع اهتمامنا)، وذلك لأنها يمكن أن تتقلص باستمرار إلى نقطة. إن وجود الثقب يَحول دون تقلص الحلقة البرتقالية إلى نقطة. تتحول الزمرة الأساسية لمستوًى ما إلى زمرة دائرية غير منتهية عند محو نقطة من هذا المستوى، وتكون مولَّدة بالحلقة البرتقالية أو أي حلقة أخرى تلف مرة واحدة حول الثقب). وبالتالي تعَد الزمرة الأساسية كاشفًا لوجود الثقب.
في التطبيقات الأكثر حداثة للزمر، كان التأثير موجَّهًا أيضًا نحو دعم الإنشاءات الهندسية بخلفية نظرية زمرية. وفي المقابل، توظف نظرية الزمر الهندسية مفاهيمَ هندسية لدراسة الزمر الزائدية مثلًا. وتوجَد فروع أخرى تطبق الزمر تطبيقًا أكثر تأثيرًا، منها الهندسة الجبرية ونظرية الأعداد.
يوجَد العديد من التطبيقات العملية للزمر بالإضافة إلى التطبيقات النظرية السابقة. مثلًا يقوم علم التعمية على مزيج من النهج النظري الزمري المجرَّد والمعرفةالخوارزمية المستمَدة من نظرية الزمر الحوسبية، خاصة عند تطبيقها لزمر منتهية. ولا تنحصر تطبيقات نظرية الزمر في الرياضيات؛ فعلوم مثل الفيزياء وكيمياء وعلم الحاسوب تنتفع من أفكارها.
الأعداد
تتمتع العديد من النظم العددية كالأعداد الصحيحة والكسرية ببنية زمرية مرتبطة بطبيعتها. تنبثق عن عمليتي الجمع والضرب بنًى زمرية في بعض الحالات كما في الأعداد الكسرية. وتُعد مثل تلك النظم العددية أسلافًا لبنًى جبرية أعم معروفة بالحلقات والحقول. ويشكل المزيد من الفكر الجبرية المجردة زمرًا، ومنها النماذج والفضاءات المتجهية والجِبار.
الأعداد الصحيحة
لقد وُصفت سابقًا في المقالة زمرة الأعداد الصحيحة تحت عملية الجمع ورمزها . ورغم ذلك لا تشكل الأعداد الصحيحة زمرة تحت الضرب بدل الجمع ؛ إذ أنه رغم توافر بديهيات الانغلاق والتجميعية ووجود المحايد، لا تتوافر بديهية وجود المعاكس في هكذا بنية. فمثلًا هو عدد صحيح، لكن الحل الوحيد للمعادلة في تلك الحالة هو ، وهو كسري وليس صحيحًا. وبالتالي ليس كل عنصر من يملك معاكسًا ضربيًّا.
الأعداد الكسرية
إن الرغبة في وجود المعاكسات الضربية توحي بفكرة الكسور
.
وتُعرف كسور الأعداد الصحيحة (حيث ) بالأعداد الكسرية. ويُرمز للمجموعة التي تحتوي كل هذه الكسور بالرمز . لكن ما زالت هناك عقبة تَحُول دون كون الأعداد الكسرية تحت عملية الضرب زمرة، وهي أن العدد الكسري 0 لا يملك معكوسًا ضربيًّا (أي أنه لا يوجَد يحقق المعادلة )، وبالتالي لا تزال ليست زمرة.
ورغم ذلك، تشكل مجموعة كل الأعداد الكسرية غير الصفرية زمرة أبيلية تحت الضرب، ورمزها هو . تنتُج بديهيتا التجميعية والعنصر المحايد عن خصائص الأعداد الصحيحة. كما أن بديهية الانغلاق لم تزل محقَّقة بعد إزالة الصفر، لأن حاصل ضرب أي عددين كسريين غير صفريين لا يساوي أبدًا الصفر. وأخيرًا، العدد الكسري له معكوس هو ، وبالتالي تتحقق بديهية الانغلاق في تلك البنية.
تشكل الأعداد الكسرية (متضمنة الصفر) زمرة أيضًا تحت عملية الجمع. وتتضافر عمليتا الجمع والضرب مسفرةً عن بنًى أعقد تُسمى الحلقات، كما تسفر عن ما يُسمى الحقول إذا كانت القسمة ممكنة كما في حالة ، ولكلا البنيتين موقع محوري في الجبر المجرد. ولذلك فإن حجج نظرية الزمر تكمن وراء أجزاء من نظرية كلا الكيانين.
الحساب النمطي
في الحساب النمطي، يُجمَع عددان صحيحان ثم يُقسَم الناتج على عدد صحيح موجب يسمى القيمة النمطية (modulus). ويكون ناتج الجمع النمطي هو باقي تلك القسمة. لأي قيمة نمطية ، تشكل مجموعة الأعداد الصحيحة من الصفر حتى زمرةً تحت الجمع النمطي؛ حيث يكون معاكس أي عنصر هو ، والعنصر المحايد هنا هو الصفر. ومن المألوف من جمع الساعات في ساعة بنظام 12 ساعة، أنه إذا كان عقرب الساعات على 9 ثم تقدم 4 ساعات، سيصبح على الساعة 1 كما هو موضح على اليسار. ويعبَّر عن ذلك بقول أن 9 + 4 يساوي 1 مقياس 12 أو بتردد 12، أو بالرموز
.
ويُرمَز لزمرة الأعداد الصحيحة مقياس بأحد الرمزين أو .
توجد أيضًا زمرة ضربية للأعداد الصحيحة مقياس لأي عدد أولي . وعناصر تلك الزمرة هي الأعداد الصحيحة من إلى . وعمليتها هي الضرب مقياس ، أي أن حاصل الضرب العادي يُقسَم على ، ويكون باقي تلك القسمة هو ناتج الضرب النمطي. فمثلًا إذا كان ، سيوجَد في الزمرة أربعة عناصر هي 1، 2، 3، 4. وفي هذه الزمرة يكون ، لأن حاصل الضرب العادي هو 16 وهو يكافئ 1، وهو باقي قسمة هذا العدد على 5، فالعدد 5 هو قاسم لـ ، ويُرمَز لما سبق بالآتي
.
وتكفل أولية العدد أنه إذا ضُرِب عددان صحيحان لا يقبلان القسمة على ، لن يقبل حاصل الضرب القسمة على أيضًا، وبالتالي فإن مجموعة الأصناف المُشار إليها مغلَقة تحت الضرب. والعنصر المحايد هو 1 كما هو معتاد لأي زمرة ضربية، وتنتج التجميعية عن الخاصية المناظرة في الأعداد الصحيحة. وأخيرًا تتطلب بديهية العنصر المعاكس أنه بإعطاء العدد الصحيح الذي لا يقبل القسمة على ، يوجد عدد صحيح بحيث يكون
، أي أن تقسم الفرق .
ويمكن إيجاد المعاكس باستخدام متطابقة بوزو وحقيقة أن القاسم المشترك الأكبر يساوي 1. وفي حالة أعلاه، يكون معاكس 4 هو 4، ومعاكس 3 هو 2؛ لأن . وبالتالي فإن كل بديهيات الزمر محقَّقة. إن هذا المثال في الواقع مشابه لمثال أعلاه؛ فهو يتكون بالضبط من تلك العناصر في التي تملك معاكسًا ضربيًّا. يُرمَز لتلك الزمر بالرمز . وهي بالغة الأهمية في التشفير باستخدام المفتاح المعلن.
الزمر الدائرية
الزمرة الدائرية هي زمرة كل عناصرها هي قوى لعنصر ما . وباستخدام رموز الضرب، يُعبَر عن عناصر تلك الزمرة كالتالي:
حيث يعني ، و يعني ، إلى آخره. يسمى مثل العنصر مولِّدًا أو عنصرًا بدائيًّا للزمرة. وبرموز الجمع، يكون شرط كون العنصر بدائيًّا أن يكون كل عنصر في الزمرة قابلًا للكتابة على صورة
في الزمر المشروحة أعلاه، العنصر هو عنصر بدائي، ما يجعل تلك الزمر دائرية. يمكن التعبير عن كل عنصر في تلك الزمرة في شكل مجموعٍ كلُّ حدوده هي . وأي زمرة دائرية ذات العدد من العناصر هي مساوية الشكل لتلك الزمرة. وتعد زمرة جذور الوحدة العقدية من الدرجة مثالًا آخر للزمر الدائرية، وهي معطاة بالأعداد العقدية التي تحقق المعادلة . ويمكن تصور تلك الأعداد رؤوسًا لمضلع منتظم ذي عدد من الأضلاع كالموضح بالأزرق في الصورة، والذي فيه . وعملية تلك الزمرة هي جداء الأعداد العقدية. وكما توضح الصورة، يقابل الضرب في دورانًا بزاوية 60° عكس اتجاه عقارب الساعة. وبالاستعانة ببعض من نظرية الحقول (الرياضيات)، يمكن للزمرة أن تبدو دائرية: فمثلًا إذا كانت ، فإن مولد في تلك الزمرة؛ لأن ، و ، و ، و .
تملك بعض الزمر الدائرية عددًا غير منتهٍ من العناصر. ولكل عنصر غير مساو للصفر في تلك الزمرة، تكون كل قوى مختلفة عن بعضها البعض؛ وبالتالي فعلى الرغم من كون هكذا زمر «دائرية» إلا أنها لا تدور. وتكون أي زمرة دائرية غير منتهية مساوية الشكل لزمرة الأعداد الصحيحة تحت عملية الجمع المشروحة أعلاه. وكل الزمر الدائرية أبيليةٌ كما رأينا في المثالين السابقين.
بلغت دراسة الزمر الأبيلية منتهية التوليد درجة كبيرة من النضوج، وهي تتضمن المبرهنة الأساسية للزمر الأبيلية منتهية التوليد، ويوجَد الكثير من المفاهيم المتعلقة بالزمر مثل المركز والمبادل تصف إلى أي مدى تكون زمرة ما غير أبيلية.
زمر التماثل
زمر التماثل هي زمر تتكون من تناظرات كائنات هندسية معينة ذات طبيعة هندسية (كزمرة التماثل للمربع المشروحة سابقًا) أو جبرية (مثل المعادلات كثيرة الحدود وحلولها). ومن الناحية النظرية، يمكن أن تعَد نظرية الزمر دراسةً للتناظر. تبسط التناظرات في الرياضيات دراسةَ الكائنات الهندسية والتحليلية تبسيطًا بالغًا. يُقال عن زمرة ما أنها تؤثر على كائن رياضي آخر إذا كان كل عنصر للزمرة يؤدي عملية ما على بالانسجام مع قانون الزمرة. وكما في المثال أدناه، فإن عنصرًا من الرتبة 7 من زمرة المثلث (2,3,7) يؤثر على التبليط بتبديل المثلثات الملتوية المظللة (والمثلثات الأخرى أيضًا). يرتبط نمط الزمرة المؤثرة ببنية الكائن المتأثر من خلال تأثير الزمرة.
في حقول الكيمياء كعلم البلورات، تصف الزمر الفراغية والزمر النقطية التناظراتِ الجزيئيةَ والبلورية. تكمن تلك التناظرات وراء السلوك الفيزيائي والكيميائي لتلك الأنظمة، وتتيح نظرية الزمر تبسيط التحليل الميكانيكي الكمومي لتلك الخصائص. مثلًا تستخدَم نظرية الزمر لتوضيح أن الانتقالات البصرية بين المستويات الكمومية لا يمكن أن يحدث ببساطة بسبب تناظر الحالات المعنية.
ليست الزمر مفيدة في تقييم الآثار الناتجة عن التناظرات في الجزيئات فحسب، ولكن من المدهش أنها تتنبأ أيضًا بأنه يمكن للجزيئات في بعض الأحيان أن تغير من تناظرها. تأثير جان-تيلر هو تشويه جزيء ذي تناظر عالٍ عندما يتخذ حالة قاعية ما ذات تناظر أقل من مجموعة الحالات القاعية الممكنة المرتبطة ببعضها من خلال عمليات التناظر للجزيء.
وبالمثل تساعد نظرية الزمر في التنبؤ بالتغيرات في الخصائص الفيزيائية التي تنجم عن خضوع مادة ما لتحول طوري، كتحول المادة مثلًا من الشكل البلوري المكعبي إلى رباعي السطوح. وتعد المواد الفيروكهربية مثالًا على ذلك؛ حيث يحدث التغير من الحالة الباراكهربية إلى الحالة الكهربية الحديدية في درجة حرارة كوري، وهو مرتب بتغير من الحالة الباراكهربية عالية التناظر إلى الحالة الفيروكهربية الأقل تناظرًا، ويكون ذاك التغيير مصحوبًا بما يسمى نمط فونون لينًا، وهو نمط شبكية اهتزازية يصل فيه التردد إلى الصفر خلال الانتقال.
إن لهذا وأمثالِه من طرق كسر التناظر التلقائي المزيدَ من التطبيقات في فيزياء الجسيمات الابتدائية، حيث أن حدوثهم مرتبط بظهور بوزونات جولدستون.
تُستَخدم زمر التماثل المنتهية مثل زمرة ماتيو في نظرية الترميز، والمطبَّقة بدورها في تصحيح الخطأ للبيانات المنقولة، كما تُطبَّق زمرة ماتيو في أجهزة السي دي. وتعد نظرية غالوا التفاضلية تطبيقًا آخر لزمر التماثل، وهي تصف الدوال ذات المشتقات العكسية، معطيةً معايير نظرية زمرية لكون حلول معادلات تفاضلية معينةٍ مهذبةً. ثم إن الخصائص الهندسية التي تبقى مستقرة تحت تأثيرات الزمرة يُحقَّق بشأنها في النظرية الثابتة الهندسية.
الزمر الخطية العامة ونظرية التمثيل
تتكون زمرة المصفوفات من مصفوفات مع عملية ضرب المصفوفات. الزمرة الخطية العامة مكونة من كل المصفوفات من الرتبة ذات المعكوس والمكونة من مدخلات حقيقية. ويطلق على زمرها الجزئية زمر المصفوفات أو الزمر الخطية. ويمكن أن تعد الزمرة الزوجية المشروحة أعلاه زمرةَ مصفوفات بالغة الصغر. وكذا تعد الزمرة المتعامدة الخاصة زمرةَ مصفوفات مهمة أخرى. وهي تصف كل الدورانات الممكنة في العدد من الأبعاد. تُستَخدم مصفوفات الدوران في الرسوميات الحاسوبية بواسطة زوايا أويلر.
نظرية التمثيل هي تطبيق لمفهوم الزمرة، كما أنها ضرورية للوصول إلى فهم أعمق للزمر. ويختص العاملون فيها بدراسة الزمرة من خلال تأثيراتها على الفضاءات الأخرى. وتشكل التمثيلات الخطية فئة كبيرة من تمثيلات الزمر، وهي الناجمة عن تأثير الزمرة على فضاء متجهي كالفضاء الإقليدي ثلاثي الأبعاد . إن أي تمثيل للزمرة على فضاء متجهي حقيقي بعدد من الأبعاد هو ببساطة تشاكل زمري
من الزمرة إلى الزمرة الخطية العامة. وهكذا تتحول عملية الزمرة (المعطاة تجريديًّا) إلى ضرب المصفوفات؛ فتصبح في متناوَل الحسابات الصريحة.
يعطي هذا معاني أعمق لدراسة الكائن المؤثَّر عليه بتأثير زمري ما. ومن ناحية أخرى، فإنه يعطي أيضا معلومات عن الزمرة. إن تمثيلات الزمر مبدأٌ منظِّم في نظرية الزمر المنتهية وزمر لي والزمر الجبرية والزمر الطوبولوجية وخاصةً الزمر المتراصة (محليًّا).
لقد طُوِّرت زمر غالوا للمساعدة في حل المعادلات كثيرة الحدود من خلال تمثيل خصائصها التناظرية. فمثلًا تكون حلول المعادلة التربيعية معطاةً من خلال
يمكن النظر إلى المبادلة بين "+" و "-" في التعبير السابق، أي تبديل حلى المعادلة، بمثابة عملية زمرية بسيطة جدًّا. وتوجد صيغ مماثلة معروفة للمعادلات التكعيبية والرباعية، ولكن هذا لا ينطبق عامة على الدرجة الخامسة وما فوقها. الخصائص التجريدية لزمر غالوا المتعلقة بكثيرات الحدود (خاصةً قابليتها للحلحلة) تعطي معيارًا لكثيرات الحدود التي يمكن التعبير عن كافة حلولها بالجذور، أي باستخدام الجمع والضرب والجذور فقط كما في الصيغة أعلاه.
من الممكن التعامل مع تلك المسألة من خلال التحول إلى نظرية الحقل مع النظر في حقل الانشطار لكثيرة الحدود. تعمم نظرية غالوا الحديثة هذا النوع من زمر غالوا المذكور أعلاه إلى امتدادات حقول وتضع—عن طريق المبرهنة الأساسية في نظرية غالوا—علاقة دقيقة بين الحقول والزمر، مما يؤكد مجددًا انتشار الزمر في فروع الرياضيات الأخرى.
الزمر المنتهية
يُقال إن الزمرة منتهية إذا امتلكت عدد محدودًا من العناصر. ذلك العدد يطلق عليه رتبة تلك الزمرة. وتعد الزمر المتماثلة من أهم أصنافها، وهي زمر تباديل العدد N من الرموز. على سبيل المثال، تتكون الزمرة المتماثلة في ثلاثة رموز من كل التسلسلات الممكنة للحروف اللثلاث ، أي و وهكذا حتى ، وعددها في المجمل 6 (عاملي 3). ويكون هذا الصنف أساسيًّا طالما أن أي زمرة منتهية يمكن التعبير عنها في صورة زمرة جزئية من زمرة متماثلة حيث عدد صحيح مناسب (مبرهنة كيلي). وكما في زمرة تماثلات المربع المشروحة أعلاه، يمكن تناول الزمرة على أنها زمرة تماثلات مثلث متساوي الأضلاع.
تعرف رتبة العنصر في المجموعة بأنها أقل عدد صحيح موجب يحقق أن
، حيث يمثل
أي تطبيق العملية على نُسَخ من ، فإن كانت تمثل الضرب، فإن يمثل العدد مرفوعًا للأس . في الزمر غير المنتهية قد لا يوجد مثل العدد ، ويُقال حينها إن رتبة هي اللانهاية. وبتعبير آخر، رتبة العنصر في زمرة هي رتبة الزمرة الجزئية الدورية التي يولدها هذا العنصر.
تنتج عن البيانات المتعلقة بالزمر المنتهية طرقٌ أكثر تعقيدًا في العد مثل عد المجموعات المشاركة، ومنها مبرهنة لاغرانج التي تنص على أنه عندما تكون زمرة منتهية، تقبل رتبتها القسمة على رتبة أي زمرة جزئية منها ، وتثبت مبرهنات سيلو العكس الجزئي لمبرهنة لاغرانج.
تعد الزمرة الزوجية (المشروحة أعلاه) زمرة منتهية من الرتبة 8. رتبة العنصر تساوي 4؛ حيث أنها أيضًا رتبة الزمرة الجزئية التي يولدها ذلك العنصر (انظر أعلاه). ورتبة عناصر الانعكاس (وما علا شاكلته) تساوي 2. وكلتا الرتبتين الأخيرتين تقسم رتبة الزمرة الكبرى وهي 8، وهذا ما أثبتته مبرهنة لاغرانج. وتمتلك الزمر رتبة تساوي .
تصنيف الزمر المنتهية البسيطة
غالبًا ما يسعى علماء الرياضيات إلى وضع تصنيف متكامل (أو قائمة) لأي مفهوم رياضي. ويؤدي هذا الهدف إلى معضلات رياضية صعبة فيما يتعلق بالزمر المنتهية. وفقًا لمبرهنة لاغرانج، تكون الزمر المنتهية من الرتبة p (عدد أولي) زمرًا دورية (أبيلية) بالضرورة، ورمزها . يمكن أيضًا للزمر من الرتبة أن تظهر أبيلية، لكن ذلك لا يشمل الزمر من الرتبة ، كما يظهر أعلاه في مثال الزمرة ذات الرتبة 8 = 23. يمكن لنظم الجبر المحوسبة أن تُستخدم لعمل قائمة بالزمر الصغيرة، ولكن لا يوجد تصنيف يشمل كافة الزمر المنتهية. لكن أمكن تصنيف الزمر المنتهية البسيطة. تسمى الزمر غير التافهة بسيطة إن كان لها زمرتان جزئيتان طبيعيتان لا ثالثة لهما هما الزمرة التافهة والزمرة نفسها. تُظهر مبرهنة جوردان-هلدر الزمرَ المنتهية البسيطة في شكل اللبنات الأساسية لكافة الزمر المنتهية. إن وضع قائمة بكافة الزمر المنتهية البسيطة كان إنجازًا رائدًا في نظرية الزمر المعاصرة. نجح العالم ريتشارد بورشردس الحائز على ميدالية فيلدز عام 1998 - في برهنة حدسيات نظرية مونشاين، وهي علاقة مدهشة وعميقة بين أكبر زمرة مشتتة منتهية بسيطة —"زمرة الوحش"—، ودوال نمطية معينة (والدوال النمطية هي جزء من التحليل المركب التقليدي)، ونظرية الأوتار (النظرية التي يُفترض أنها تمثل الوصف الفيزيائي الموحَّد للعديد من الظواهر الفيزيائية).
زمر ببُنى إضافية
تعد الكثير من الزمر مثالًا على بنًى رياضية أخرى علاوةً على كونها مثالًا على الزمر، وبلغة نظرية الأصناف فهي تعد كائنات زمرية في الفئة، ما يعني أنها كائنات (أي أمثلة على كائن رياضي آخر) تأتي مع تحويلات تسمى التطبيقات المحافظة على الشكل بحيث تحاكي تلك التحويلاتُ بديهياتِ الزمر. فمثلًا بحسب تعريف الزمر المذكور أعلاه فإن أي زمرة تعد مجموعة أيضًا، لذلك فإن أي زمرة تمثل كائنًا زمريًّا في فئة المجموعات.
زمر طوبولوجية
زمر لي
سميت هكذا نسبة إلى عالم الرياضيات سوفوس لي.
انظر أيضا
متتالية منضبطة.
زمرة أبيلية.
تمثيل زمرة منتهية
هامش
مصادر
بنى جبرية
تناظر
نظرية الزمر