Multiplicative bases, Gröbner bases, and right Gröbner bases
type: Item
instance of: scholarly article
title: Multiplicative bases, Gröbner bases, and right Gröbner bases
zbMATH Open document ID: 1002.16043
published in: Journal of Symbolic Computation
publication date: 2002-08-06T00:00:00Z
review text: This paper is the first on the theory of right Gröbner bases for algebras and modules. In section 2 the author defines a theory of a Gröbner basis for an algebra with a multiplicative basis which has an admissible order. (These concepts are defined in the paper.) What is a bit surprising is that the existence of such a basis implies that the algebra under consideration has to be a quotient of a path algebra \(K\Gamma\) by a special kind of ideal, called 2-nomial ideal, and the basis is the image of the paths under the epimorphism. This is also a nice justification for the introduction of path algebras. After that the author introduces the theory of right Gröbner bases of a right module over such kind of algebra. This can be applied immediately, and the author shows an application generalizing Cohn's theorem which in this case says that the path algebra is a hereditary ring. An algorithm to construct a tip reduced Gröbner basis is given and also the elimination theory. As a consequence there is an algorithm for find the intersection of right submodules of projective modules. This in its turn can be used to solve algorithmic linear systems of equations with coefficients in the algebra. There is a proof that if \(I\) is an ideal of the algebra such that the quotient is finite dimensional, (usually called an admissible ideal), then \(I\) has a finite reduced Gröbner basis. The paper is almost self contained and very readable, and a good introduction to the subject.
Mathematics Subject Classification ID: 16Z05
Mathematics Subject Classification ID: 16G20
Mathematics Subject Classification ID: 13P10
zbMATH DE Number: 1471048
zbMATH Keywords: right Gröbner bases
zbMATH Keywords: elimination theory
zbMATH Keywords: multiplicative bases
zbMATH Keywords: path algebras
zbMATH Keywords: hereditary rings
zbMATH Keywords: algorithms
zbMATH Keywords: linear systems of equations
author: E. L. Green
reviewed by: Eduardo N. Marcos
MaRDI profile type: Publication
OpenAlex ID: W2025883030
cites work: Q4318498
cites work: The alternating syzygy behavior of monomial algebras
cites work: The diamond lemma for ring theory
cites work: Q4023642
cites work: Synergy in the Theories of Gröbner Bases and Path Algebras
cites work: Constructing projective resolutions
cites work: Q3889229
cites work: The representation theory of tensor algebras
cites work: Projective resolutions of straightening closed algebras generated by minors
cites work: Minimal projective resolutions
cites work: Q3808248
DOI: 10.1006/JSCO.1999.0324
description: scientific article; zbMATH DE number 1471048