شبكية diagram ofQ adjoin the positive square roots of 2 and 3, its subfields, and Galois groups.إيفاريست غالوا(1811-1832)
في الرياضيات، وبالتحديد فيالجبر التجريدي،نظرية غالوا (بالإنجليزية:Galois theory)، المسماة هكذا نسبة لعالم الرياضيات الفرنسيإيفاريست غالوا، تعطي صلة بيننظرية الحقول من جهة،ونظرية الزمر من جهة ثانية.[1][2][3] باستعمال نظرية غالوا، يمكن تبسيط مجموعة من المعضلات من نظرية الحقول إلى نظرية الزمر، التي تعتبر أكثر بساطة وأكثر فهما.
ميلاد نظرية غالوا استمد أصلا من السؤال التالي، والذي تجيب عليهمبرهنة أبيل-روفيني.
لماذا ليس هناك صيغة لجذور المعادلات الحدودية من الدرجة الخامسة فما فوق، بدلالة معاملات هاته الحدوديات، باستعمال العمليات الجبرية الاعتيادية (الجمع والطرح والضرب والقسمة) وبتطبيق الجذور (أي الجذر المربع والجذر المكعب وما إلى ذلك).
ليس فقط نظرية غالوا تعطي جوابا جميلا لهذا السؤال، بل تفسر أيضا لماذا يمكن حلحلة المعادلات من الدرجة الرابعة فما أدنى بالطريقة المذكورة أعلاه، ولماذا هذه الحلول تأخذ الشكل الذي تأخذه. بالإضافة إلى ذلك، تعطي نظرية غالوا الوسائل الواضحة اللائي يمكنن من القول أن معادلة ما بشكل معين من درجة عالية يمكن أن تحلحل بالطريقة الموصوفة أعلاه.
كما تعطي نظرية غالوا نظرة واضحة حول المسائل المتعلقة بمعضلاتإنشاءات الفرجار والمسطرة. إنها تحدد بشكل أنيق النسب بين أطوال القطع اللائي يمكن رسمهن باستعمال هذه الطريقة. وبذلك، يمكن الإجابة بشكل سهل عن بعض المعضلات الكلاسيكية في الهندسة الرياضية كما يلي:
تنبثق نظرية غالوا من دراسةالدوال التماثلية. معاملات متعددةٍ ما للحدودواحدية المدخل، هنمتعددات تماثلية ابتدائية للحدود متغيراتهن هن جذور متعددة الحدود هذه. على سبيل المثال،(x –a)(x –b) =x2 – (a +b)x +ab حيث 1 و a+b و ab هن ثلاث متعددات تماثلية للحدود من الدرجة الصفر والدرجة الأولى والدرجة الثانية، متغيراتها الاثنين هن a و b.
وثق هذه الصيغ عالم الرياضيات الفرنسيفرانسوا فييت والذي عاش خلال القرن السادس عشر من خلال صيغه المعروفة باسمصيغ فييت، حين تكون هذه الجذور حقيقية وموجبة.
مثل المقال الذي كتبه عالم الرياضيات الفرنسي الإيطاليجوزيف لويس لاغرانج عام 1770، والذي يحمل عنوانتخمينات حول الحلحلة الجبرية للمعادلات خطوة إضافية.
إذا أخذ مكان و مكان في هاتين المعادلتين، فإننا نحصل على معادلتين أخرتين، صحيحتين أيضا. على سبيل المثال، المعادلة تصير.
يُستنتج من ذلك أن زمرة غالوا المتعلقة بمتعددة الحدود هي زمرة مكونة من تبديلتين اثنتين، أولاهما هي التبديلة المحايدة (التي تترك كل عنصر على حاله)، وثانيهما هي التبديلة التي تستبدل العنصر الأول بالثاني والثاني بالأول. هيزمرة دائرية درجتها اثنان. هي إذنزمرة مساوية الشكل لZ/2Z.انظر إلىمتعددة حدود تماثلية وإلىتبديل دائري.
نحاول أن نصف زمرة غالوا المتعلقة بمتعددة الحدود هذه، عبر مجموعةالأعداد الجذرية. لهذه المعادلة أربعة جذور هن:
هناك أربعة وعشرون تبديلة لهذه الجذور ()، ولكن لسن كلهن أعضاء من زمرة غالوا (أي أن ليس كلهن ينتمين إلى زمرة غالوا المتعلقة بمتعددة الحدود هذه).
على سبيل المثال، مجموع العنصرين الأول والأخير من مجموعة الجذور الأربعة، كما جئن في الترتيب أعلاه، يساوي الصفر. أيضا، مجموع العنصرين الثاني والثالث يساوي الصفر. هذا يقصي من زمرة غالوا التبديلة(A,B,C,D) → (A,D,C,B).
زمرة غالوا تتكون من أربعة عناصر (أربعةتبديلات) هن:
^W. Scharlau, ed. (1981, which provides the manuscript in German).Richard Dedekind, 1831–1981: Eine Würdigung. Braunschweig, Vieweg.{{استشهاد بكتاب}}:تحقق من التاريخ في:|سنة= (مساعدة) و|مؤلف1= باسم عام (مساعدة)
^Allan Clark (1984) [1971].Elements of Abstract Algebra. Courier Corporation. ص. 131.ISBN:978-0-486-14035-3.