Noncommutative Grobner Bases for Almost Commutative Algebras

Abstract: Let

K

be an infinite field and

K < X > = K < X_{1}, ..., X_{n} >

the free associative algebra generated by

X = X_{1}, ..., X_{n}

over

K

. It is proved that if

I

is a two-sided ideal of

K < X >

such that the

K

-algebra

A = K < X > / I

is almost commutative in the sense of [3], namely, with respect to its standard

m a t h b b N

-filtration

F A

, the associated

m a t h b b N

-graded algebra

G (A)

is commutative, then

I

is generated by a finite Gr"obner basis. Therefor, every quotient algebra of the enveloping algebra

U (m a t h b f g)

of a finite dimensional

K

-Lie algebra

m a t h b f g

is, as a noncommutative algebra of the form

A = K < X > / I

, defined by a finite Gr"obner basis in

K < X >

.

This page was built for publication: Noncommutative Grobner Bases for Almost Commutative Algebras