Abstract:Let $\alpha$ be a non-zero algebraic number. Let $K$ be the Galois closure of $\mathbb{Q}(\alpha)$ with Galois group $G$ and $\bar{\mathbb{Q}}$ be the algebraic closure of $\mathbb{Q}$. In this article, among the other results, we prove the following. If $f\in \bar{\mathbb{Q}}[G]$ is a non-zero element of the group ring $\bar{\mathbb{Q}}[G]$ and $\alpha$ is a given algebraic number such that $f(\alpha^n)$ is a non-zero algebraic integer for infinitely many natural numbers $n$, then $\alpha$ is an algebraic integer. This result generalizes the result of Polya [11], Corvaja and Zannier [2] and Philippon and Rath [9]. We also prove the analogue of this result for rational functions with algebraic coefficients. Inspired by a result of B. de Smit [4], we prove a finite version of the Polya type result for a binary recurrence sequences of non-zero algebraic numbers. In order to prove these results, we apply the techniques of Corvaja and Zannier along with the results of Kulkarni et al., [6] which are applications of the Schmidt subspace theorem.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to determine whether a given algebraic number $\alpha$ is an algebraic integer under certain conditions. Specifically, the article mainly focuses on whether $\alpha$ must be an algebraic integer when an expression of a certain form (such as a linear combination, a polynomial value, a group ring element, etc.) takes on algebraic integer values for infinitely many natural numbers $n$. ### Background and Problem Description of the Paper 1. **Polya's Classical Result**: - In 1915, Polya proved that if the trace $Tr_{Q(\alpha)/Q}(\alpha^n)$ is an integer for all natural numbers $n$, then $\alpha$ is an algebraic integer. - This result no longer holds when considering infinite subsets, so the "non - zero integer" condition needs to be introduced. 2. **Extension of Existing Work**: - Corvaja and Zannier used the subspace theorem to prove more general results. - Philippon and Rath further generalized these results. - B. de Smit proposed a finite - version problem and gave a specific constant $C$. ### Main Contributions of the Paper 1. **Generalized Power Sums**: - Study the generalized power sums of the form $\lambda_1\alpha_1^\ell+\cdots+\lambda_k\alpha_k^\ell$, where $\lambda_i,\alpha_j$ are algebraic numbers and $\ell\geq1$ is an arbitrary integer. - If such a power sum takes on algebraic integer values for infinitely many $\ell$, under what conditions can it be asserted that $\alpha_j$ is an algebraic integer? 2. **Special Cases**: - For some special cases, $\ell$ can be restricted to a finite (effective) set. 3. **Application in Group Rings**: - Consider a non - zero element $f$ in the group ring $\overline{Q}[G]$. If $f(\alpha^n)$ takes on non - zero algebraic integer values for infinitely many natural numbers $n$, then $\alpha$ is an algebraic integer. 4. **Behavior under the Trace Operator**: - Study the properties of the trace operator $Tr_{K/Q}(P(\alpha^n))$, where $P(X)$ is a polynomial with algebraic coefficients. 5. **Properties of Rational Functions**: - Consider rational functions on a function field of characteristic 0 and study the cases where they take on integer values for infinitely many natural numbers $n$. 6. **Algebraic Integers in Finite Iterations**: - Generalize B. de Smit's result and give a finite bound to determine whether $\alpha$ is an algebraic integer. ### Examples of Main Theorems - **Theorem 2.1**: Let $L(X_1,\ldots,X_k)=\sum_{i = 1}^k\lambda_iX_i$ be a linear form with algebraic coefficients, and $(\alpha_1,\ldots,\alpha_k)$ be a set of algebraic numbers. If $L(\alpha_1^n,\ldots,\alpha_k^n)$ takes on algebraic integer values for infinitely many natural numbers $n$, then each $\alpha_i$ must be an algebraic integer. - **Theorem 2.3**: Let $f\in\overline{Q}[G_\alpha]$ be a non - zero element. If $f(\alpha^n)\in\mathbb{Z}\setminus\{0\}$ holds for infinitely many natural numbers $n$, then $\alpha$ is an algebraic integer. Through these theorems and corollaries, the paper provides new sufficient conditions for determining whether an algebraic number is an algebraic integer, especially when it involves generalized powers.

Sufficient conditions for a problem of Polya

Adelic perturbation of rational functions and applications

An Elementary Problem in Galois Theory about the Roots of Irreducible Polynomials

Revisiting Gauss's analogue of the prime number theorem for polynomials over a finite field

Polynomials with real zeros and Polya frequency sequences

$p$-Adic quotient sets: linear recurrence sequences with reducible characteristic polynomials

On some coefficients of the Artin–Hasse series modulo a prime

Application of a polynomial sieve: beyond separation of variables

An Algebraic Approach to the Goldbach and Polignac Conjectures

Monogenity of iterates of irreducible binomials

Deep congruences + the Brauer-Nesbitt theorem

Some factorization results on polynomials having integer coefficients

Prime numbers and factorization of polynomials

Semialgebraic Proofs, IPS Lower Bounds, and the [math]-Conjecture: Can a Natural Number be Negative?

On polynomial representation functions for multilinear forms

Prime polynomials in short intervals and in arithmetic progressions

On the transcendence of growth constants associated with polynomial recursions

Universality theorems for zeros of random real polynomials with fixed coefficients

On the arithmetic of polynomials over a number field

Square-free values of polynomials

A generalization of the theorems of Chevalley-Warning and Ax-Katz via polynomial substitutions