What problem does this paper attempt to address?

The main problem that this paper attempts to solve is about the decomposition law of prime numbers in finite Galois extension fields, especially the characterization problem of completely split prime numbers. Specifically, the authors developed an explicit method to represent finite algebraic numbers (especially some idempotent elements among them) by linear recurrence sequences, and used these results to characterize the completely split prime numbers in a given finite Galois extension field. ### Specific description of the problem 1. **Complete splitting of prime numbers**: - Let \(L\) be a finite Galois extension field of the rational number field \(\mathbb{Q}\), and \(O_L\) be the ring of integers in \(L\). - For each rational prime number \(p\), the ideal \(pO_L\) can be uniquely decomposed into the product of the powers of \(r\) different prime ideals \(\mathfrak{p}_i\): \[ pO_L=\prod_{i = 1}^r\mathfrak{p}_i^{e_i} \] - If \(e_i = 1\) and \([O_L/\mathfrak{p}_i:\mathbb{F}_p]=1\), then the prime number \(p\) is said to be completely split in \(L\). 2. **Set of completely split prime numbers**: - Define the set of completely split prime numbers \(\text{Spl}(L)\) as the set of all prime numbers that are completely split in \(L\). - Determining \(\text{Spl}(L)\) is an important topic in algebraic number theory, because \(L\) is uniquely determined by \(\text{Spl}(L)\) (except for a finite number of prime numbers). 3. **Core problem**: - Given a finite Galois extension field \(L/\mathbb{Q}\), for each prime number \(p\), does there exist a rule to judge whether \(p\) belongs to \(\text{Spl}(L)\)? ### Method and contribution The authors provide a new method to solve the above problems by introducing the concept of finite algebraic numbers and connecting them with linear recurrence sequences. Specifically: - They show how to represent finite algebraic numbers by linear recurrence sequences and use these sequences to characterize completely split prime numbers. - They prove that for any conjugate class \(C\) in \(\text{Gal}(L/\mathbb{Q})\), there exists a unique sequence \((a_m(C))_m\in\text{Rec}(f;\mathbb{Q})\) such that for almost all prime numbers \(p\), if the Frobenius automorphism at \(p\) belongs to \(C\), then \(a_p\equiv1\pmod{p}\), otherwise \(a_p\equiv0\pmod{p}\). This method not only provides a characterization of completely split prime numbers, but also provides new tools and perspectives for further research on the decomposition law of prime numbers in Galois extension fields.

The ring of finite algebraic numbers and its application to the law of decomposition of primes

Linear recurrent sequences providing decomposition law in number fields

Counting Irreducible Polynomials over Finite Fields

Prime rational functions over a field

On structures of the ring of arithmetical functions: prime ideals and beyond

The Square-Root Law Does Not Hold in the Presence of Zero Divisors

Structures of finite fields of primes and the Euclidean square roots of unity in the finite rings

Decomposing Finite $\mathbb{Z}$-Algebras

On the set of stable primes for postcritically infinite maps over number fields

Arithmetic representations of fundamental groups II: finiteness

On Krull-Schmidt decompositions of unit groups of number fields

Some remarks on the ring of arithmetical functions

Sufficient conditions for a problem of Polya

New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

Special Sets of Primes in Function Fields

On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

Abelian varieties that split modulo all but finitely many primes

Counting irreducible binomials over finite fields

Exponential sums over singular binary quartic forms and applications

Sum-product phenomenon in quotients of rings of algebraic integers