پایهی گربنر نسبت به چند ترتیب برای یک مدول تفاضلی، مهمترین ابزار برای یافتن چندجملهای بعد دستگاههای دیفرانسیلی و تفاضلی است. در این مقاله، الگوریتمی برای محاسبهی این پایهی گربنر، ارایه شده است. برای این منظور، ابتدا برای هر عضو از یک مدول تفاضلی نوعی نمایش، موسوم به نمایش نسبت به چند ترتیب، معرفی می کنیم. سپس با استفاده از این نمایش، اثباتی برای تعمیم قضیهی بوخبرگر در مدولهای تفاضلی متناهی مولد، ارایه میدهیم. همچنین شرط لازم و کافی برای وجود پایهی گربنر نسبت به چند ترتیب را برای یک مدول تفاضلی بیان میکنیم. در ادامه، الگوریتمی برای محاسبهی پایهی گربنر یک زیر مدول تفاضلی متناهی مولد نسبت به چند ترتیب، ارایه میشود.
بازنشر اطلاعات | |
این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است. |