Lagmental Vicfred

Frobenius Is a Linear Operator over the Base Field by Vicfred

tags: mathematics, finite fields, Frobenius, normal bases

On F_{q^n}, raising to q is an F_q-linear automorphism of order n. The point is to make the formal expression readable enough to audit line by line.

Notation

For \(q=p^r\), the Frobenius map \(F(x)=x^q\) controls extensions of \(\mathbf F_q\). Its orbits determine minimal polynomials, trace, norm, and the Galois group.

$$ F:\mathbf F_{q^n}\to\mathbf F_{q^n},\qquad F(x)=x^q $$

I read the first line as input and the second as output. The symbols \(\forall\) and \(\exists\) are not interchangeable, and neither may be upgraded silently to \(\Longleftrightarrow\).

$$ F^n=1,\qquad\operatorname{Gal}(\mathbf F_{q^n}/\mathbf F_q)=\langle F\rangle $$

Stress the formula

This is the algebraic core of the note. Once this line is correct, the surrounding interpretation has something solid to refer to.

$$ \begin{aligned}F(ax+by)&=(ax+by)^q\\&=a^qx^q+b^qy^q=ax^q+by^q\qquad(a,b\in\mathbf F_q).\end{aligned} $$

Interpretation

The formula is reusable precisely because it says which pieces are structural and which belong only to the worked example.

$$ \begin{aligned} \mathsf{D}\;&:\quad F:\mathbf F_{q^n}\to\mathbf F_{q^n},\qquad F(x)=x^q,\\[5pt] \mathsf{C}\;&:\quad F^n=1,\qquad\operatorname{Gal}(\mathbf F_{q^n}/\mathbf F_q)=\langle F\rangle. \end{aligned} $$

Limit of the argument

Frobenius is \(\mathbf F_q\)-linear on an extension but not generally linear over a larger coefficient field. Exponents must match the chosen base.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] F^n=1,\qquad\operatorname{Gal}(\mathbf F_{q^n}/\mathbf F_q)=\langle F\rangle \end{gathered}} $$

With the dependency made explicit, the same pattern can be recognised safely in nearby problems. A changed hypothesis should now be easy to spot.

This article was posted on Fri 22 February 2019. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.