In this paper we introduce the concept of bi-automaton algebras, generalizing the automaton algebras previously defined by Ufnarovski. A bi-automaton algebra is a quotient of the free algebra, defined by a binomial ideal admitting a Gröbner basis which can be encoded as a regular set; we call such a
Multiplicative Bases, Gröbner Bases, and Right Gröbner Bases
✍ Scribed by Edward L. Green
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 314 KB
- Volume
- 29
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
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 homogeneous systems of linear equations with coefficients in a quotient of a path algebra are studied via right Gröbner basis theory.
📜 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
In this paper we contribute with one main result to the interesting problem initiated by Hong (1998, J. Symb. Comput. 25, 643-663) on the behaviour of Gröbner bases under composition of polynomials. Polynomial composition is the operation of replacing the variables of a polynomial with other polynom
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 present an algorithm which converts a given Gröbner basis of a polynomial ideal I to a Gröbner basis of I with respect to another term order. The conversion is done in several steps following a path in the Gröbner fan of I. Each conversion step is based on the computation of a Gröbner basis of a
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 res