Sciweavers

IJAC
2007

Automorphic Equivalence Problem for Free Associative Algebras of Rank Two

13 years 11 months ago
Automorphic Equivalence Problem for Free Associative Algebras of Rank Two
Let K x, y be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not two elements in K x, y are equivalent under an automorphism of K x, y . A modification of our algorithm solves the problem whether or not an element in K x, y is a semiinvariant of a nontrivial automorphism. In particular, it determines whether or not the element has a nontrivial stabilizer in AutK x, y . An algorithm for equivalence of polynomials under automorphisms of C[x, y] was presented by Wightwick. Another, much simpler algorithm for automorphic equivalence of two polynomials in K[x, y] for any algebraically closed constructive field K was given by Makar-Limanov, Shpilrain, and Yu. In our approach we combine an idea of the latter three authors with an idea from the unpubished thesis of Lane used to describe automorphisms which stabilize elements of K x, y . This also allows us to give a simple proof o...
Vesselin Drensky, Jie-Tai Yu
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where IJAC
Authors Vesselin Drensky, Jie-Tai Yu
Comments (0)