Intereting Posts

Why teach linear algebra before abstract algebra?
Center of Weyl algebra over a field of characterstic $0$?
Dimension of direct sum of vector spaces
Prove sequence $a_n=n^{1/n}$ is convergent
Integral $ \int_0^\infty \frac{\ln(1+\sigma x)\ln(1+\omega x^2)}{x^3}dx$
Proof of concavity of log function
Differentiability implies continuity – A question about the proof
If $M$ is an artinian module and $f : M\to M$ is an injective homomorphism, then $f$ is surjective.
Proving irrationals are dense in (0, 1)
Why is it hard to prove whether $\pi+e$ is an irrational number?
Questions about definition of Tangent Space
Open axioms of equality
Interpolation, Extrapolation and Approximations rigorously
How to show that the orbits of the action of Gs on S \ {s} have lengths that are equal in pairs.
Partitions of $n$ into distinct odd and even parts proof

Consider the polynomial $p(x) = 1+x^5+x^{10}$ with binary coefficients. Consider the multiplicative group of $\mathbb{F}_{16}$, and let $p(x)$ be evaluated at each of these $15$ elements. The only possible evaluations are $0$ and $1$.

I am looking for more such polynomials which have binary coefficients, which when evaluated on the elements of an extension field (or its multiplicative group), gives only $0$ or $1$.

Is there an already established theory or terminology for such polynomials? I am unable to get anywhere with my googling.

- Finitely generated ideal in Boolean ring; how do we motivate the generator?
- $p$ is irreducible if and only if the only divisors of $p$ are the associates of $p$ and the unit elements of $R$
- Irrational solutions to some equations in two variables
- How (possibly) many subfields does $\mathbb{F}$ has that extend $\mathbb{Q}$?
- Tensor product of two finitely generated modules
- Prove that $R \otimes_R M \cong M$

Thanks!

- Noetherian integral domain such that $m/m^2$ is a one-dimensional vector space over $A/m$
- Minimum polynomial of $\sqrt{2} + \sqrt{5}$ above $\mathbb{Q}$ (and a generalization)
- How to prove the group of automorphisms of $S^1$ as a topological group is $\mathbb Z_2$?
- Infinite dimensional intermediate subfields of an algebraic extension of an algebraic number field
- Is the group isomorphism $\exp(\alpha x)$ from the group $(\mathbb{R},+)$ to $(\mathbb{R}_{>0},\times)$ unique?
- Prove that if for all $aba=bab$ then $|G|=1$.
- Enumerating Bianchi circles
- Why is the commutator defined differently for groups and rings?
- How I can doing a sum of a vector in $ℤ^{r}$ with a equivalence class in $ℤ/nℤ$
- Please help me check my proof that the transcendental numbers are dense in $\mathbb{R}$

Just listing my first impressions on how to arrive at a description. This is surely known, but I cannot point you at a source right away.

**The Question:** Given a finite extension field $E=\Bbb{F}_{2^n}$ of $F=\Bbb{F}_2$ describe the set of polynomials $p(x)\in F[x]$ with the property that $p(\alpha)\in F$ for all $\alpha\in E$.

Clearly such polynomials form a subring $R$ of $F[x]$. If we abbreviate $N=2^n-1$, then the monomial $x^i\in R$ whenever $N\mid i$, because $\alpha^N=1$ for all $\alpha\in E, \alpha\neq0$. Furthermore, all the binomials $x^i+x^j$ with $i\equiv j\pmod N$ are in the ring $R$.

The above observations imply that it suffices to identify the set

$$

R_N=\{p(x)\in F[x]\mid p(x)\in R, \deg p<N\}.

$$

Namely, a polynomial $p(x)=\sum_i a_ix^i\in F[x]$ is in the ring $R$ if and only if its projection $p^N(x):=\sum_{j=0}^{N-1} b_jx^j$ with $b_j=\sum_{i\equiv j\pmod N}a_i$ is in the ring $R$.

This is a useful reduction, because when we restrict ourselves to the set $R_N$, no two polynomials give rise to the same evaluation function $E\to E$.

The trick is surely that we can identify whether an element of $E$ is in $F$ by checking that it is a fixed point of the Frobenius automorphism $\phi:E\to E, \phi(z)=z^2$.

So a polynomial $p(x)=\sum_{i=0}^{N-1}a_ix^i\in R_N$ if and only the functions $p:E\to E$

and $\phi\circ p:E\to E$ coincide. The function $\phi\circ p$ is gotten by evaluating the polynomial $q(x)=\sum_{i=0}^{N-1}a_ix^{2i}$ (recall that $\phi$ respects sums and fixes all the coefficients $a_i$. Comparing the coefficients of $p(x)$ and the projection $q^N(x)$ we see that

**The Result:** $p(x)\in R_N$ if and only if $a_i=a_j$ whenever $j\equiv 2i\pmod N$.

This leads us to the concept of a *cyclotomic coset*. The subset

$$

C(i)=\{2^ji\in \Bbb{Z}_{N}\mid j\in\Bbb{N}\}\subseteq \Bbb{Z}_{N}

$$

is called the cyclotomic coset of $i$ modulo $N$. The cyclotomic cosets form a partition of $\Bbb{Z}_{N}$ as they are the orbits of the action of the multiplicative group $G\le\Bbb{Z}_{N}^*$ generated by $\overline{2}$.

**Corollary:** The polynomial $p(x)=\sum_{i=0}^{N-1}a_ix^i\in R_N$ if and only if

$a_j=a_i$ whenever $j\in C(i)$.

**Example:** With $n=4, N=15$ we see that the cyclotomic cosets modulo $N$ are

$$

\begin{aligned}

C(0)&=\{0\},\\ C(1)&=\{1,2,4,8\},\\

C(3)&=\{3,6,9,12\},\\

C(5)&=\{5,10\},\\

C(7)&=\{7,11,13,14\}.

\end{aligned}

$$

Therefore the space of polynomias in $R_{15}$ is the linear span of

$$

\begin{aligned}

&1,\\

&x+x^2+x^4+x^8,\\

&x^3+x^6+x^9+x^{12},\\

&x^5+x^{10},\\

&x^7+x^{11}+x^{13}+x^{14}.

\end{aligned}

$$

You may recognize the polynomials with four terms as $tr(x)$, $tr(x^3)$ and $tr(x^7)$ respectively.

- Inverse Galois problem for small groups
- Pointwise a.e. convergence and weak convergence in Lp
- What does it mean to differentiate in calculus?
- Distributions on manifolds
- Prove the series $ \sum_{n=1}^\infty \frac{1}{(n!)^2}$ converges to an irrational number
- Why doesn't the “zig-zag” comb deformation retract onto a point, even though it's contractible?
- Reference request for algebraic Peter-Weyl theorem?
- Divisor on curve of genus $2$
- Are most matrices invertible?
- Differentiating the polynomial $x^3 – 4x +6$
- If the infinite cardinals aleph-null, aleph-two, etc. continue indefinitely, is there any meaning in the idea of aleph-aleph-null?
- How to show that the triangle is equilateral triangle?
- A and B is similar ⇒ $A^T$ is similar to $B^T$.
- Seconds of a Clock
- Solving a linear, inhomogeneous, ordinary differential equation with constant coefficients