# مبرهنة لاغرانج (نظرية الزمر)

البنية الجبرية ← نظرية الزمر نظرية الزمر :
المفاهيم الأساسية
زمرة جزئية
زمرة جزئية نظامية
زمرة خارج القسمة
(نصف-)جداء مباشر
تشاكل الزمر
نواة
صورة
مجموع مباشر
جداء إكليلي
بسيطة
منتهية
غير منتهية
متصلة
مضاعفة
جمعية
دائرية
أبيلية
زوجية
ذات قوة عادمة
قابلة للحلحلة
فعل
مسرد مصطلحات نظرية الزمر
قائمة مواضيع نظرية الزمر :
الزمر المنتهية
تصنيف الزمر المنتهية البسيطة
دائرية
متناوبة
نوع لي
متفرقة
مبرهنة كوشي
مبرهنة لاغرانج
مبرهنات سيلو
مبرهنة هال
زمرة-p
زمرة أبيلية ابتدائية
زمرة فروبنيوس
مضاعف شور
زمرة متناظرة S$_n$
زمرة كلاين رباعية العناصر V
زمرة زوجية D$_n$
زمرة كواتيرنيون Q
زمرة ثنائية الحلقات Dic$_n$ :
الزمر المتقطعةالشبكات
الأعداد الصحيحة ($\mathbb {Z}$)
زمرة حرة
الزمر المعيارية PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
زمرة حسابية
شبكة
زمرة زائدية :
زمر طوبولوجية ولي
ملف لولبي
دائرة
خطية عامة GL(n)
خطية خاصة SL(n)
متعامدة O(n)
إقليدية E(n)
متعامدة خاصة SO(n)
وحدوية U(n)
وحدوية خاصة SU(n)
تماسكية Sp(n)
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$
لورنتز
بوانكاريه
مطابقة
تماثل تفاضلي
حلقة
زمر لي لانهائية الأبعاد O(∞)SU(∞)Sp(∞) :
الزمر الجبرية
زمرة جبرية خطية
زمرة اختزالية
تشكيلة أبيلية
منحنى إهليلجي :
عنت :
في نظرية الزمر، مبرهنة لاغرانج (بالإنجليزية: Lagrange's theorem)‏ هي مبرهنة تنص على أنه إذا كانت G زمرة منتهية وH زمرة جزئية من G فإن رتبة H (أي عدد العناصر الموجودة فيها) قاسم لرتبة G. سميت هذه المبرهنة هكذا نسبة إلى عالم الرياضيات جوزيف لاغرانج.

## البرهان

المجموعات المشاركة من جهة اليسار ل H في G هن أصناف تكافئ لعلاقة تكافئ ما معرفة علي G.
لتكن علاقة التكافؤ المعرفة كما يلي :
    xRy يكافئ x-y ينتمي إلى H
نبين أن عدد عناصر أصناف H+x لها نفس عدد عناصر H. ثم نستنتج أن عدد عناصر الزمرة الجزئية H يقسم عدد عناصر الزمرة G. يسمى هذا الخارج مؤشر H.
    $\left|G\right|=\left[G:H\right]\cdot \left|H\right|.$

## استعمال المبرهنة

من بين نتائج هذه المبرهنة كون رتبة كل عنصر a من زمرة منتهية (علما أن رتبة عنصر ما من زمرة هو أصغر عدد k حيث a$^k$ = e وحيث e هو العنصر المحايد للزمرة) تقسم رتبة الزمرة ذاتها. يرجع ذلك إلى كون رتبة العنصر a تساوي رتبة الزمرة الدائرية التي ولدها a. إذا كان عدد عناصر الزمرة هو n فإنه ينتج ما يلي:
    $\displaystyle a^{n}=e{\mbox{.}}$
قد تستعمل هذه النتيجة من أجل البرهان على مبرهنة فيرما الصغرى كما على تعميمها والمتمثل في مبرهنة أويلر. تبين هذه المبرهنة أيضا أن كل زمرة عدد عناصرها عدد أولي هي زمرة دائرية وبسيطة.

## وجو زمرة جزئية بترتيب ما

تثير مبرهنة لاغرانج السؤال العكسي والمتمثل فيما يلي : هل هناك من زمرة جزئية من زمرة منتهية ما، حيث رتبة الزمرة الجزئية تقسم رتبة الزمرة الكلية ؟ الجواب على هذا السؤال هو النفي. بأخذ زمرة منتهية ما G، وباعتبار عددٍ d قاسما لرتبة G، لا توجد حتما زمرة جزئية من الزمرة G، رتبتها هي d. أصغر مثال على ذلك الزمرة A$_4$ (الزمرة المتناوبة من الدرجة الرابعة).
انظر إلى زمرة قابلة للحلحلة وإلى مبرهنة كوشي وإلى مبرهنة سيلوف.

## التاريخ

برهن كارل فريدريش غاوس على مبرهنة لاغرانج في الحالة الخاصة المتعلقة ب $(\mathbb {Z} /p\mathbb {Z} )^{*}$، الزمرة الجدائية للأعداد الصحيحة غير المنعدمة بتردد p، حيث p عدد أولي. نشر ذلك في كتابه استفسارات حسابية في عام 1801. في عام 1844، برهن أوغستين لوي كوشي على مبرهنة لاغرانج عندما يتعلق الأمر بالزمر المتماثلة S$_n$.
في عام 1861، برهن كامي جوردان على مبرهنة لاغرانج في الحالة العامة المتعلقة بزمر التبديلات.

## مراجع

* ↑ Lagrange, J. L. (1771). "Suite des réflexions sur la résolution algébrique des équations. Section troisieme. De la résolution des équations du cinquieme degré & des degrés ultérieurs" [Series of reflections on the algebraic solution of equations. Third section. On the solution of equations of the fifth degree & higher degrees]. Nouveaux Mémoires de l’Académie Royale des Sciences et Belles-Lettres de Berlin: 138–254. مؤرشف من الأصل في 2020-01-26.
* ↑ Camille Jordan (1861). "Mémoire sur le numbre des valeurs des fonctions" [Memoir on the number of values of functions]. Journal de l'École Polytechnique. ج. 22: 113–194. مؤرشف من الأصل في 2018-02-26.
* ↑ pp. 41-50. نسخة محفوظة 15 ديسمبر 2019 على موقع واي باك مشين.
* بوابة جبر
* بوابة رياضيات