پایه گروبنر

از ویکی‌پدیا، دانشنامهٔ آزاد
پرش به: ناوبری، جستجو

در جبر محاسباتی، و هندسه جبری محاسباتی، یک پایه‌گروبنر عبارت است از نوعی خاص از زیرمجموعه مولد برای یک ایده‌آل I در حلقه چندجمله‌ای‌های R.

در واقع، یک پایه‌گروبنر عبارت است از مجموعه چندجمله‌ای‌های چندمتغیره که دارای ویژگی‌های مفیدی است که یک راه‌حل الگوریتمی برای بسیاری از مسائل بنیادی در ریاضیات و علوم ارائه نموده است. از منظر دیگر روش پایه‌گروبنر تعمیم چندمتغیره غیرخطی از:

  1. الگوریتم اقلیدس برای محاسبه بزرگترین مقسوم علیه مشترک (ب.م.م) در چندجمله‌ای‌های تک‌متغیره،
  2. روش حذفی گاوس برای سیستم‌های خطی، و
  3. مسائل برنامه‌ریزی خطی می‌باشد.

منابع[ویرایش]

  • Thomas Becker, Volker Weispfenning, and H. Kredel (1993). Gröbner Bases: A Computational Approach to Commutative Algebra. Springer. ISBN 0387979719. 
  • David Cox, John Little, and Donal O'Shea (1997). "Chapter 2: Gröbner Bases". Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer. ISBN 0-387-94680-2. 
  • Gert-Martin Greuel, Gerhard Pfister (2002). A Singular Introduction to Commutative Algebra. Springer. ISBN 3540428976.