Resumo: The Skolem-Mahler-Lech theorem is a classical fundamental result of the theory of linear recurrence sequences which states that the zeros of a linear recurrence sequence over a field of characteristic zero are the union of a finite number of arithmetic progressions and a finite set.
There are many different proofs and extensions of the Skolem-Mahler-Lech theorem in the literature. Some of them use the famous Strassmann's theorem. In this talk we provide the first noncommutative version of these two theorems.


