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 |
|