On the p-adic valuation of third order linear recurrence sequences

In a recent paper, Bilu et al. studied a conjecture of Marques and Lengyel on the p-adic valuation of the Tribonacci sequence. In this article, we do a similar study on the p-adic valuation of third order linear recurrence sequences by considering a generalisation of the conjecture of Marques and Lengyel for third order linear recurrence sequences. We obtain analogues of the results of Bilu et al. for certain third order linear recurrence sequences. Also, as a consequence of the conjecture, we prove that the solution set of the Diophantine equation given by xₙ=m! in positive integers n, m is finite for certain third order linear recurrence sequences (xₙ).