Solving Equivalence of Recurrent Sequences in Groups by Polynomial Manipulation

Abstract

Methods are described for reducing the equivalence problem for sequences defined by recurrence equations in various finitely generated groups to polynomial Gröbner basis constructions. The methods are simple enough to allow a straigthforward implementation in computer algebra programs.