دوره 7، شماره 3 - ( پاییز 1400 )                   دوره 7 شماره 3 صفحات 526-513 | برگشت به فهرست نسخه ها


XML English Abstract Print


1- دانشگاه دامغان
2- دانشگاه دامغان ، basiri@du.ac.ir
چکیده:   (718 مشاهده)

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

متن کامل [PDF 892 kb]   (154 دریافت)    
نوع مطالعه: مقاله استخراج شده از پایان نامه | موضوع مقاله: جبر
دریافت: 1398/3/4 | ویرایش نهایی: 1401/2/17 | پذیرش: 1398/9/2 | انتشار: 1400/9/10 | انتشار الکترونیک: 1400/9/10

بازنشر اطلاعات
Creative Commons License این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است.