Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleA Rewriting System for Computing Intersections of Right Ideals in K<A>
Author(s) Guy Melancon, Christophe Reutenauer
TypeTechnical Report, Misc
AbstractWe 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.
Translation No
Refereed No