An extension of Buchberger's algorithm and calculationsin enveloping fields of lie algebras

Authors:
J. Apel;W. Lassner
Affiliations:
-;-
Venue:
Journal of Symbolic Computation
Year:
1988

Citing 1
Cited 12

Groebner Bases for Non-Commutative Polynomial Rings

AAECC-3 Proceedings of the 3rd International Conference on Algebraic Algorithms and Error-Correcting Codes

Non-commutative Gröbner bases in algebras of solvable type

Journal of Symbolic Computation
An algorithm for the construction of matrix representationsfor finitely presented non-commutative algebras

Journal of Symbolic Computation
FELIX—an assistant for alebraists

ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Finite Gröbner bases in non-Noetherian skew polynomial rings

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

Journal of the ACM (JACM)
Elimination theory for differential difference polynomials

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Cited References

Computer algebra handbook
Gröbner bases in universal enveloping algebras of Leibniz algebras

Journal of Symbolic Computation
Letterplace ideals and non-commutative Gröbner bases

Journal of Symbolic Computation
Detecting unnecessary reductions in an involutive basis computation

Journal of Symbolic Computation
Passive complete orthonomic systems of PDEs and involutive bases of polynomial modules

SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Looking for Gröbner basis theory for (almost) skew 2-nomial algebras

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The powerful concept of Grobner bases and an extension of the Buchberger algorithm for their computation have been generalised to enveloping algebras of Lie algebras. Algorithms for the computation of syzygies by use of Grobner bases are given. This is the first method which allows the transformation of right fractions into left fractions in the Lie field of any finite dimensional Lie algebra. That enables CAS calculations in Lie fields. An AMP program LIEFIELD has been written for this purpose. Another AMP program SYZYGY produces a generating set of the syzygy module of any finite subset of an enveloping algebra. Examples for both programs are presented for the Weyl algebra and the so(3).