Abstract:The factorizations of the polynomial $X^n-1$ and the cyclotomic polynomial $\Phi_n$ over a finite field $\mathbb F_q$ have been studied for a very long time. Explicit factorizations have been given for the case that $\mathrm{rad}(n)\mid q^w-1$ where $w=1$, $w$ is prime or $w$ is the product of two primes. For arbitrary $a\in \mathbb F_q^\ast$ the factorization of the polynomial $X^n-a$ is needed for the construction of constacyclic codes. Its factorization has been determined for the case $\mathrm{rad}(n)\mid q-1$ and for the case that there exist at most three distinct prime factors of $n$ and $\mathrm{rad}(n)\mid q^w-1$ for a prime $w$. Both polynomials $X^n-1$ and $X^n-a$ are compositions of the form $f(X^n)$ for a monic irreducible polynomial $f\in \mathbb F_q[X]$. The factorization of the composition $f(X^n)$ is known for the case $\gcd(n, \mathrm{ord}(f)\cdot \mathrm{deg}(f))=1$ and $\mathrm{rad}(n)\mid q^w-1$ for $w=1$ or $w$ prime. However, there does not exist a closed formula for the explicit factorization of either $X^n-1$, the cyclotomic polynomial $\Phi_n$, the binomial $X^n-a$ or the composition $f(X^n)$. Without loss of generality we can assume that $\gcd(n,q)=1$. Our main theorem, Theorem 18, is a closed formula for the factorization of $X^n-a$ over $\mathbb F_q$ for any $a\in \mathbb F_q^\ast$ and any positive integer $n$ such that $\gcd(n,q)=1$. From our main theorem we derive one closed formula each for the factorization of $X^n-1$ and of the $n$-th cyclotomic polynomial $\Phi_n$ for any positive integer $n$ such that $\gcd(n,q)=1$ (Theorem 2.5 and Theorem 2.6). Furthermore, our main theorem yields a closed formula for the factorization of the composition $f(X^n)$ for any irreducible polynomial $f\in \mathbb F_q[X]$, $f\neq X$, and any positive integer $n$ such that $\gcd(n,q)=1$ (Theorem 27).

The $a$-number of $y^{q^2+q+1} = x^{q^2+1} + x^q $ over finite field

The $a$-number of $y^n=x^m+x$ over finite fields

Application of the Cartier Operator in Coding Theory

The distribution of $a$-numbers of hyperelliptic curves in characteristic three

The Rank of the Cartier operator on Picard Curves

An Additive Function on a Ring of Integers in the Imaginary Quadratic Field Q(√d) with Class-Number One

An Infinite Family of Artin-Schreier Curves with Minimal a-number

Powers of the Cartier operator on Artin-Schreier covers

A number field analogue of Weil's theorem on congruent zeta functions

Exponential sums over singular binary quartic forms and applications

The $a$-numbers of non-hyperelliptic curves of genus 3 with cyclic automorphism group of order 6

On the existence of curves with prescribed $a$-number

An Improvement of the Hasse-Weil Bound for Artin-Schreier Curves Via Cyclotomic Function Fields

An analogue of Girstmair's formula in function fields

Algebraic curves with many points over the binary field

A computable formula for the class number of the imaginary quadratic field $Q(\sqrt{-p}), \ p=4n-1$

Closed formulas for the factorization of $X^n-1$, the $n$-th cyclotomic polynomial, $X^n-a$ and $f(X^n)$ over a finite field for arbitrary positive integers $n$

Sárközy's Theorem in Various Finite Field Settings

Class Number Formulas for Certain Biquadratic Fields

A $p$-adic arithmetic inner product formula

Quadratic fields, Artin-Schreier extensions, and Bell numbers