1
$\begingroup$

We define the Frobenius Homomorphism as that:

Let $F$ be a field of characteristic $p\gt 0$. Then we call the Frobenius homomorphism this map: $\phi:F\to F, \phi(x)=x^p$

I have the following questions:

  1. When this homomorphism is in fact an endomorphism or an automorphism?
  2. Why $x^p=0$ implies $x=0$ (I think it's true in a finite field $F$, but I don't know why)

I would appreciate it so much if someone could help me with this. I think it's a common doubt for beginners because I've already read some books without any clarification on this topic.

Thanks again

1 Answers 1

1

First, this homomorphism is always an endomorphism, because endomorphism means homomorphism from a space to itself. Indeed, $\phi$ maps $F$ to itself.

The frobenius map is an automorphism if and only if it is bijective and has a bijective inverse. What this says is that "$\phi$ is an automorphism" is equivalent with "$F$ contains a unique $p^{\mathrm th}$ root for every element $x\in F.$" In other words, $F$ is a perfect field of characteristic $p.$

Second, the fact that $x^p=0\Rightarrow x=0,$ is true because $F$ is a field, and thus has nilradical $(0).$ (Suppose $x\neq 0.$ Can you derive a contradiction?)

  • 0
    yes, you're right, than$k$ you2012-12-16