نظرية غالوا  في الرياضيات، وبالتحديد في الجبر التجريدي، نظرية غالوا ، المسماة هكذا نسبة لعالم الرياضيات الفرنسي إيفاريست غالوا، تعطى صلة بين نظرية الحقول من جهة، ونظرية الزمر من جهة ثانية. باستعمال نظرية غالوا، يمكن تبسيط مجموعة من المعضلات من نظرية الحقول إلى نظرية الزمر، التي تعتبر أكثر بساطة وأكثر فهما.  اقترح غالوا دراسة جذور متعددات الحدود بدلا من دراسة متعددات الحدود ذاتها. مكنه ذلك من تصنيف المعادلات الحدودية إلى ما هن قابلات للحلحلة بالجذور، نظرا إلى خصائص زمرة التبديلات التي تكونها جذور الحدودية، وإلى ما هن غير ذلك.  نشر عملَ غالوا جوزيف ليوفيل أربعة عشر سنة بعد وفاته. أستغرقت النظرية أكثر من ذلك من الوقت لكي تنتشر في أوساط علماء الرياضيات ولكي تفهم بشكل جيد.  ميلاد نظرية غالوا استمد أصلا من السؤال التالي، والذي تجيب عليه مبرهنة أبيل-روفيني.  ليس فقط نظرية غالوا تعطي جوابا جميلا لهذا السؤال، بل تفسر أيضا لماذا يمكن حلحلة المعادلات من الدرجة الرابعة فما أدنى بالطريقة المذكورة أعلاه، ولماذا هذه الحلول تأخذ الشكل الذي تأخذه. بالإضافة إلى ذلك، تعطي نظرية غالوا الوسائل الواضحة اللائي يمكنن من القول أن معادلة ما بشكل معين من درجة عالية يمكن أن تحلحل بالطريقة الموصوفة أعلاه.  كما تعطي نظرية غالوا نظرة واضحة حول المسائل المتعلقة بمعضلات إنشاءات الفرجار والمسطرة. إنها تحدد بشكل أنيق النسب بين أطوال القطع اللائي يمكن رسمهن باستعمال هذه الطريقة. وبذلك، يمكن الإجابة بشكل سهل عن بعض المعضلات الكلاسيكية في الهندسة الرياضية كما يلي:  انظر أيضا: جبر تجريدي.  تنبثق نظرية غالوا من دراسة الدوال التماثلية. معاملات متعددةٍ ما للحدود واحدية المدخل، هن متعددات تماثلية ابتدائية للحدود متغيراتهن هن جذور متعددة الحدود هذه. على سبيل المثال، حيث 1 و a+b و ab هن ثلاث متعددات تماثلية للحدود من الدرجة الصفر والدرجة الأولى والدرجة الثانية، متغيراتها الاثنين هن a و b.  وثق هذه الصيغ عالم الرياضيات الفرنسي فرانسوا فييت والذي عاش خلال القرن السادس عشر من خلال صيغه المعروفة باسم صيغ فييت، حين تكون هذه الجذور حقيقية وموجبة.  مثل المقال الذي كتبه عالم الرياضيات الفرنسي الإيطالي جوزيف لويس لاغرانج عام 1770، والذي يحمل عنوان "تخمينات حول الحلحلة الجبرية للمعادلات " خطوة إضافية.  لتكن المعادلة التربيعية التالية:  باستعمال صيغة حلحلة المعادلات التربيعية، يحصل على ما يلي:  الجذران formula_3 وformula_4 يحققان المعادلتين التاليتين:formula_5 و:formula_6  إذا أخذ formula_3 مكان formula_4 وformula_4 مكان formula_3 في هاتين المعادلتين، فإننا نحصل على معادلتين أخرتين، صحيحتين أيضا. على سبيل المثال، المعادلة formula_11 تصير formula_12.  يُستنتج من ذلك أن زمرة غالوا المتعلقة بمتعددة الحدود formula_13 هي زمرة مكونة من تبديلتين اثنتين، أولاهما هي التبديلة المحايدة (التي تترك كل عنصر على حاله)، وثانيهما هي التبديلة التي تستبدل العنصر الأول بالثاني والثاني بالأول. هي زمرة دائرية درجتها اثنان. هي إذن زمرة مساوية الشكل ل . انظر إلى متعددة حدود تماثلية وإلى تبديل دائري.  لتكن المعادلة الرباعية التالية: والتي يمكن أن تكتب أيضا كما يلي:  نحاول أن نصف زمرة غالوا المتعلقة بمتعددة الحدود هذه، عبر مجموعة الأعداد الجذرية. لهذه المعادلة أربعة جذور هن:  هناك أربعة وعشرون تبديلة لهذه الجذور (formula_17)، ولكن لسن كلهن أعضاء من زمرة غالوا (أي أن ليس كلهن ينتمين إلى زمرة غالوا المتعلقة بمتعددة الحدود هذه).  على سبيل المثال، مجموع العنصرين الأول والأخير من مجموعة الجذور الأربعة، كما جئن في الترتيب أعلاه، يساوي الصفر. أيضا، مجموع العنصرين الثاني والثالث يساوي الصفر. هذا يقصي من زمرة غالوا التبديلة .  زمرة غالوا تتكون من أربعة عناصر (أربعة تبديلات) هن:  هذا يعني أن زمرة غالوا هي زمرة متساوية الشكل مع زمرة كلاين رباعية العناصر.  انظر إلى امتداد الحقول وإلى التماثلات الذاتية.  يمكن مفهوم زمرة قابلة للحلحلة في نظرية الزمر من تحديد ما إذا كانت متعددة حدود ما قابلة للحلحلة بالجذور، من عدمه.