In this paper, we study conditions on algebras with multiplicative bases so that there is a Gröbner basis theory. We introduce right Gröbner bases for a class of modules. We give an elimination theory and intersection theory for right submodules of projective modules in path algebras. Solutions to h
Taylor and Lyubeznik Resolutions via Gröbner Bases
✍ Scribed by Werner M. Seiler
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 286 KB
- Volume
- 34
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that a subcomplex already defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Gröbner bases, whereas the Lyubeznik resolution is a consequence of Buchberger's chain criterion. Finally, we relate Fröberg's contracting homotopy for the Taylor complex to normal forms with respect to our Gröbner bases and use it to derive a splitting homotopy that leads to the Lyubeznik complex.
📜 SIMILAR VOLUMES
We show how the complexity of counting relates to the well known phenomenon that computing Gröbner bases under a lexicographic order is generally harder than total degree orders. We give simple examples of polynomials for which it is very easy to compute their Gröbner basis using a total degree orde
By means of combinatorics on finite distributive lattices, lexicographic quadratic Gröbner bases of certain kinds of subrings of an affine semigroup ring arising from a finite distributive lattice will be studied.
We give an account of the theory of Gröbner bases for Clifford and Grassmann algebras, both important in physical applications. We describe a characterization criterion tailored to these algebras which is significantly simpler than those given earlier or for more general non-commuting algebras. Our
Our aim in this paper is to improve on the algorithms for the computation of SAGBI and SAGBI-Gröbner for subalgebras of polynomial rings in the special case where the base ring is a principal ideal domain. In addition we will show the existence in general of strong SAGBI bases (the natural analogue
This article studies the polyhedral structure and combinatorics of polytopes that arise from hierarchical models in statistics, and shows how to construct Gro¨bner bases of toric ideals associated to a subset of such models. We study the polytopes for cyclic models, and we give a complete polyhedral