Two remarks on Narkiewicz's property (P) (Q2164887)

A field \(K\) is said to have property \((P)\) if there is no non-linear polynomial \(f\in K[x]\) and an infinite set \(A\subset K\) with \(f(A)=A\). It is known that finitely generated fields have this property (see [\textit{P. Liardet}, in: Sem. Theorie Nombres 1971-Univ. Bordeaux, No. 29, 20 p. (1972; Zbl 0273.12101); \textit{D. J. Lewis}, J. Algebra 20, 419--434 (1972; Zbl 0245.12003)]), and the first example of a number field of infinite degree having this property has been found by \textit{K. K. Kubota} and \textit{P. Liardet} [C. R. Acad. Sci., Paris, Sér. A 282, 1261--1264 (1976; Zbl 0353.12008)]. Later \textit{E. Bombieri} and \textit{U. Zannier} [Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 12, No. 1, 5--14 (2001; Zbl 1072.11077)] have shown that the composite of all abelian fields of given degree \(d\) over the rationals has property \((P)\). This applies in particular to the field generated by square roots of all rational primes. Subsequently several families of fields of infinite degree and property \((P)\) were obtained by \textit{R. Dvornicich} and \textit{U. Zannier} [Duke Math. J. 139, No. 3, 527--554 (2007; Zbl 1127.11040)], \textit{M. Widmer} [Monatsh. Math. 162, No. 3, 341--353 (2011; Zbl 1220.11133)] and \textit{S. Checcoli} and \textit{M. Widmer} [Math. Proc. Camb. Philos. Soc. 155, No. 1, 1--12 (2013; Zbl 1290.11139)]. The author presents an extension of the construction given by \textit{K. K. Kubota} and \textit{P. Liardet} [loc. cit.] which leads to number fields of infinite degree with the property \((P)\) having elements with arbitrary small positive Weil height. More precisely (Corollary 1.6): Let \(p_1<p_2<p_3 <\dots\) be a sequence of primes, and put \(a_0=1\), \(a_n = (p_na_{n-1})^{1/n}\) for \(n=1,2,\dots\). Then the field \(K=Q(a_1,a_2,\dots)\) has the property \((P)\) and \(\lim_{n\to\infty} h(a_n)=0\).