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

Details:

   
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.
LanguageEnglish
Year2005
Edition0
Translation No
Refereed No
Webmaster