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

Chandoul, A. ; Jellali, M. ; Mkaouar, M.

Canadian mathematical bulletin, Tome 56 (2013) no. 2, pp. 258-264

Résumé

Dufresnoy and Pisot characterized the smallest Pisot number of degree $n\,\ge \,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 $\left( \text{SPE} \right)$ of degree $n$ in the field of formal power series over a finite field is given by $P\left( Y \right)\,=\,{{Y}^{n}}\,-\,\alpha X{{Y}^{n-1}}\,-{{\alpha }^{n}}$ where $\alpha $ is the least element of the finite field ${{\mathbb{F}}_{q}}\backslash \left\{ 0 \right\}$ (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.

Détail

DOI : 10.4153/CMB-2011-168-5

Mots-clés : 11A55, 11D45, 11D72, 11J61, 11J66, Pisot element, continued fraction, Laurent series, finite fields