Abstract:Let $\mathbb{F}$ be a finite field and let $f$ be a linear polynomial in $\mathbb{F}[x]$. We investigate the number of polynomials of degree $d$ which commute with $f$ under composition. In so doing, we rediscover a result of Park, but with a conceptually simpler proof.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: Given a finite field \(F_p\) and a linear polynomial \(f\in F_p[x]\), for any natural number \(d\), determine how many \(d\)-degree polynomials in \(F_p[x]\) commute with \(f\) under function composition. That is, find the number of \(d\)-degree polynomials \(g\in F_p[x]\) that satisfy \(f\circ g = g\circ f\).
Specifically, the author has studied the following problems:
- Let \(p\) be a prime number, and \(F_p\) be a finite field containing \(p\) elements.
- Given a linear polynomial \(f\) in \(F_p[x]\), where \(f\neq I(x) = x\) (that is, \(f\) is not the identity polynomial).
- For any natural number \(d\), solve for the number of \(d\)-degree polynomials in \(F_p[x]\) that commute with \(f\), denoted as \(\#C_d(f)\).
The main results of the paper include:
1. **Non - monic polynomials**: Let \(f\in F_p[x]\) be a linear polynomial with leading coefficient \(a\neq1\), and \(r = \text{ord}_p(a)\). Then,
\[
\#C_d(f)=\begin{cases}
\frac{(p - 1)p^{d-1}}{r},&\text{if }d\equiv1\pmod{r}\\
0,&\text{otherwise}
\end{cases}
\]
2. **Monic polynomials**: Let \(f\in F_p[x]\) be a monic linear polynomial, then
\[
\#C_d(f)=\begin{cases}
(p - 1)p^k,&\text{if }d = kp\text{ and }0\leq k\leq p\\
0,&\text{otherwise}
\end{cases}
\]
These results rediscover the work of Park [Par92], but provide conceptually simpler proof methods. In addition, the author also discusses the relationship between these results and previous related work, and points out some key simplifications and novelties in their methods.