Details:
Title  Onesided noncommutative Groebner bases with applications to computing Green's relations  Author(s)  Anne Heyworth  Type  Article in Journal  Abstract  Standard noncommutative Gröbner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gröbner basis procedures for onesided ideals in finitely presented noncommutative algebras over fields. The polynomials defining a Kalgebra A as a quotient of a free Kalgebra are combined with the polynomials defining a onesided ideal I of A, by using a tagging notation. Standard noncommutative Gröbner basis techniques can then be applied to the mixed set of polynomials, thus calculating A/I whilst working in a free structure, avoiding the complication of computing in A. The paper concludes by showing how the results can be applied to completable presentations of semigroups and so enable calculations of Green's relations.  Keywords  Gröbner bases, semigroups, right ideals, left ideals  Length  15 
File 
 URL 
http://www.cs.le.ac.uk/people/aheyworth/ 
Language  English  Journal  Journal of Algebra  Volume  242  Pages  401415  Year  2001  Translation 
No  Refereed 
No 
