Gr(?)bner-Shirshov Bases And Linear Bases For Free Differential Type Algebras Over Algebras

We study a question which can be roughly stated as follows:Given a(unital or nonunital)algebra A together with a Gr(?)bner-Shirshov basis G,consider the free operated algebra B over A,such that the operator satisfies some polynomial identities ?which are Gr(?)bner-Shirshov in the sense of Li Guo et al.,when does the union ??G will be an operated Gr(?)bner-Shirshov basis for B?We answer this question in the affirmative under a mild condition in our previous work with Zihao Qi,Kai Wang and Guodong Zhou.When this condition is satisfied,??G is an operated Gr(?)bner-Shirshov basis for B and as a consequence,we also get a linear basis of B.However,the condition could not be applied directly to differential type algebras introduced by Li Guo,Sit and Ronghua Zhang,including usual differential algebras.This master thesis solves completely this problem for differential type algebras.Some new monomial orders are introduced which,together with some known ones,permit the application of the previous result to most of differential type algebras,thus providing new operated GS bases and linear bases for these differential type algebras.Versions are presented both for unital and nonunital algebras.However,a class of examples are also presented,for which the natural expectation in the question is wrong and these examples are dealt with by direct inspection.