Abstract
Dufresnoy and Pisot characterized the smallest Pisot number of degree n >= 3 by giving explicitly its minimal polynomial. In this paper, we translate Dufresnoy and Pisot's result to the Laurent series case.
The aim of this paper is to prove that the minimal polynomial of the smallest Pisot element (SPE) of degree n in the field of formal power series over a finite field is given by P(Y) = Y-n - alpha XYn-1 - alpha(n), where alpha is the least element of the finite field F-q\{0} (as a finite total ordered set). We prove that the sequence of SPEs of degree n is decreasing and converges to alpha X. Finally, we show how to obtain explicit continued fraction expansion of the smallest Pisot element over a finite field.