Abstract:In their recent paper, Rosen, Takeyama, Tasaka, and Yamamoto constructed recurrent sequences providing a decomposition law of primes in a Galois extension. In this paper, we reconstruct their sequences via representation theory of finite groups and obtain an explicit description of the sequences.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the problem of the law of decomposition of prime numbers in Galois extensions in number theory. Specifically, the authors hope to use the representation theory of finite groups to reconstruct and explicitly describe the linear recurrence sequences constructed by Rosen, Takeyama, Tasaka and Yamamoto. These sequences can provide the law of decomposition of prime numbers in Galois extensions.
#### Main contributions
1. **Reconstruct recurrence sequences**:
- Reconstruct these linear recurrence sequences through the representation theory of finite groups.
- Provide an explicit description of these sequences, making them available for practical calculations.
2. **Explicit expressions**:
- Give specific formulas for the first \(n\) terms of these sequences.
- Provide an explicit expression for the general term without using the recurrence formula.
3. **Prove rationality**:
- Through the proofs of theorems and lemmas, ensure the rationality of these sequences (i.e., all terms are rational numbers).
4. **Handle special cases**:
- For the situation of whether a specific Galois group is included in the alternating group, provide different formula - handling methods.
#### Presentation of formulas in Markdown format
- The characteristic polynomial is:
\[
f(x) = a_0 + a_1 x + \cdots + a_{n - 1}x^{n - 1}+x^n
\]
- For each conjugate class \(\mathcal{C}\), the constructed linear recurrence sequence \((a_n)\) satisfies:
\[
a_p\equiv
\begin{cases}
1\pmod{p}&\text{if }\operatorname{Frob}_p\in\mathcal{C},\\
0\pmod{p}&\text{otherwise}
\end{cases}
\]
- The first \(n\) terms of the sequence are given by the matrix:
\[
\left[\sigma^{-1}\alpha^{m - 1}\right]_{1\leq m\leq n,\sigma\in G}\left[\sigma\tau^{-1}\alpha\right]^{-1}_{\sigma,\tau\in G}\left[\delta_{\tau,\mathcal{C}_i}\right]_{\tau\in G,1\leq i\leq k}
\]
- The explicit expression for the general term is:
\[
a_{\mathcal{C}_i,n}=\frac{1}{\det\Gamma_\alpha}\sum_{\sigma\in G}\sum_{\tau\in\mathcal{C}_i}\sigma\alpha^n\cdot\omega_{\sigma^{-1}\tau}(\alpha)
\]
where \(\Gamma\) is the group matrix, \(\omega\) is an element of its adjoint matrix, and \(\alpha\) is a root of the characteristic polynomial.
### Summary
By introducing the representation theory of finite groups, this paper not only reconstructs the existing linear recurrence sequences, but also provides an explicit description of these sequences and verifies their rationality. This makes these sequences more useful in practical applications, especially when studying the law of decomposition of prime numbers in Galois extensions.