An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras (Q1115179): Difference between revisions

A method to solve the syzygy problem in a certain class of non- commutative algebras is presented by extending Buchberger's algorithm and the concept of Gröbner bases. The main problem consists of transforming right fractions into left fractions in a skew field. The author presents two algorithm that were implemented, one of which computes generators for the module of syzygies. The other one executes formal calculations in the algebras.