4
$\begingroup$

It is well known that SAGBI/Gröbner bases are important for commutative and non-commutative algebra. The references for commutative scenery is ample and vast, but I am in trouble to find a good reference for the general theory of SAGBI/Gröbner bases for non-commutative setting. Actually, I am interesting in the following subjects:

(1) Where can I find the general construction of these bases for non-commutative setting?

(2) Is there some reference for the specific case of the Universal enveloping algebra of a finite-dimensional semi-simple Lie algebra over $\mathbb{C}$?

(3) Does exist a reference using this bases in representation theory? For instance, in the study of universal objects defined by generators and relations.

THANKS!

Improve this question
$\endgroup$

3 Answers 3

Reset to default
6
$\begingroup$

In the non-commutative situation, it is called Groebner-Shirshov basis. See, for example, the survey paper "Groebner-Shirshov Bases: Some New Results" by L. A. Bokut and Yuqun Chen, and references there. The case of universal enveloping algebra was considered by Bergman in G. M. Bergman, The diamond lemma for ring theory, Adv. in Math., 29, 178-218 (1978). I do not know about representation theory, but certainly this is one of the main tools of studying finitely presented rings and algebras over a field. The problem, of course, is that a finite Groebner-Shirshov basis (unlike Groebner basis in the commutative case) does not always exist.

Improve this answer
$\endgroup$
5
$\begingroup$

There are lots of papers dealing with representation-theoretic questions and universal enveloping algebras using Gröbner bases. Some examples are given by these: 1, 2, 3, 4.

Improve this answer
$\endgroup$
1
  • $\begingroup$ The link to springerlink.com is broken. I'm also unable to find any copy saved on the Wayback Machine. $\endgroup$
    – The Amplitwist
    Commented Apr 15, 2023 at 10:53
2
$\begingroup$

You should be interested in the discussion in

Evans, Gareth A.; Wensley, Christopher D., Complete involutive rewriting systems, J. Symb. Comput. 42, No. 11-12, 1034-1051 (2007). ZBL1128.68044.

on the notion of noncommutative involutive systems, which in the commutative case are a well known modification of the Gröbner basis theory. Evans' thesis is available at math.RA/0602140.

I can't help on the proposed applications.

Ronnie Brown

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .