Canonical bases for subalgebras of factor algebras

Abstract:
We introduce canonical bases for subalgebras

of quotients of the commutative and non-commutative polynomial

ring. The usual theory for Gröbner bases and its counterpart for

subalgebras of polynomial rings, also called SAGBI bases, are combined to obtain a tool for

computation in subalgebras of factor algebras.