- #1
snipez90
- 1,101
- 5
Homework Statement
Let F be a finite field of characteristic p. As such, it is a finite
dimensional vector space over Z_p.
(a) Prove that the Frobenius morphism T : F -> F, T(a) = a^p is a
linear map over Z_p.
(b) Prove that the geometric multiplicity of 1 as an eigenvalue of T
is 1.
(c) Let F have dimension 2 over Z_7. Prove that 2 is not an eigenvalue
of T.
Homework Equations
Fermat's little theorem (lagrange's theorem applied to multiplicative group)
The Attempt at a Solution
I got a) and b), which are essentially straightforward applications of Fermat's little theorem. For c), I'm trying to show that T has 2 eigenvalues (neither of which is 2 of course) since it's a well-known theorem that a linear map cannot have more than dim(F) eigenvalues. Again 1 is an eigenvalue by Fermat's theorem as before, but I can't find another eigenvalue. Is there a better approach? Thanks in advance.