The Smallest Pisot Element in the Field of Formal Power Series Over a Finite Field

Abstract

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) = Yn–XYn-1–αn where α is the least element of the finite field 픽q\{0} (as a finite total ordered set). We prove that the sequence of SPEs of degree n is decreasing and converges to αX: Finally, we show how to obtain explicit continued fraction expansion of the smallest Pisot element over a finite field.