Details:
Title  A Rewriting System for Computing Intersections of Right Ideals in K<A>  Author(s)  Guy Melancon, Christophe Reutenauer  Type  Technical Report, Misc  Abstract  We describe a rewriting system working on sequences of polynomials with non commuting indeterminates and show how it may be used to compute a basis for the intersection of two finitely generated right ideals. As a consequence, we obtain a constructive proof that the intersection of two finitely generated right ideals in K<A> results in a right ideal of finite type. 
Language  English  Year  2005  Edition  0  Translation 
No  Refereed 
No 
