کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8966115 1646771 2019 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Syzygies among reduction operators
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات اعداد جبر و تئوری
پیش نمایش صفحه اول مقاله
Syzygies among reduction operators
چکیده انگلیسی
We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear basis of the space of syzygies for a set of reduction operators. We interpret these syzygies in terms of the confluence property from rewriting theory. This enables us to optimise the completion procedure for reduction operators based on a criterion for detecting useless reductions. We illustrate this criterion with an example of construction of commutative Gröbner basis.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Pure and Applied Algebra - Volume 223, Issue 2, February 2019, Pages 721-737
نویسندگان
,