Hilbert's Theorem 90, periodicity, and roots of Artin-Schreier polynomials

TL;DR

This paper explores the properties of solutions to Artin-Schreier polynomials in characteristic p fields, revealing periodicity in associated sequences and characterizing roots in finite fields, extending Hilbert's Theorem 90.

Contribution

It establishes a link between Hilbert's Theorem 90 and periodic sequences in characteristic p, providing explicit formulas for roots of Artin-Schreier polynomials and their periodicity.

Findings

Sequences associated with solutions are periodic with period dividing p times a p-power.

Roots of reducible Artin-Schreier polynomials can be expressed explicitly in finite fields.

The sequence of partial sums related to roots is periodic with period p times the extension degree.

Abstract

Let $E/F$ be a cyclic field extension of degree $n$, and let $\sigma$ generate the group ${\rm Gal}(E/F)$. If ${\rm Tr}^E_F(y)=\sum_{i=0}^{n-1}\sigma^i y=0$, then the additive form of Hilbert's Theorem 90 asserts that $y=\sigma x-x$ for some $x\in E$. When $E$ has characteristic $p>0$ we prove that $x$ gives rise to a periodic sequence $x_0,x_1,\dots$ which has period $pn_p$, where $n_p$ is the largest $p$-power that divides $n$. We also show, if $y$ lies in the finite field $\mathbb{F}_{p^n}$, then the roots of a reducible Artin-Schreier polynomial $t^p-t-y$ have the form $x+u$ where $u\in\mathbb{F}_p$ and $x=\sum_{i=0}^{n-1}\sum_{j=0}^{i-1}z^{p^j}y^{p^i}$ for some $z\in\mathbb{F}_{p^e}$ with $e=n_p$. Furthermore, the sequence $\left(\sum_{j=0}^{i-1}z^{p^j}\right)_{i\ge0}$ is periodic with period $pe$.