The Skolem Problem in rings of positive characteristic

Ruiwen Dong, Doron Shafrir

We show that the Skolem Problem is decidable in finitely generated commutative rings of positive characteristic. More precisely, we show that there exists an algorithm which, given…