قواعد غروبنر فوق ساحات بروفير

الملخص

    في هذا البحث قمنا بدراسة ساحات بروفير وعلاقتها ببعض الأنواع الأخرى من الساحات الصحيحة، وخاصة الساحات التقديرية، وقد توصلنا إلى أن الشرط اللازم والكافي كي تكون الساحة الصحيحة ساحة بروفير موضعية هو أن تكون هذه الساحة ساحة تقديرية.

عملنا في هذا البحث على دراسة قواعد غروبنر فوق ساحات بروفير، وانطلاقاً من العلاقة بين ساحات بروفير والساحات الأخرى كالساحة التقديرية، توصلنا إلى العديد من النتائج أهمها ما يتعلق بمسألة الانتماء لمثالية في حلقة الحدوديات فوق ساحة بروفير الموضعية، والتوصل إلى الشرط اللازم والكافي كي تكون مجموعة مولدة لمثالية ما في ساحة بروفير الموضعية قاعدة غروبنر، كما توصلنا إلى إمكانية تطبيق خوارزمية  في الساحات التقديرية من أجل حساب قواعد غروبنر في ساحات بروفير الموضعية والنيوثرية.