Intereting Posts

Definition of a Cartesian coordinate system
Question related to pseudoprimes and Carmichael numbers
Product rule intuition
List of problem books in undergraduate and graduate mathematics
Is there an intuitve motivation for the wedge product in differential geometry?
The projection formula for quasicoherent sheaves.
Prove that if $7^n-3^n$ is divisible by $n>1$, then $n$ must be even.
Series for envelope of triangle area bisectors
Follow-up Question: Proof of Irrationality of $\sqrt{3}$
The kernel of $R \to A \otimes_R B$ is nil
Symmetric and exterior power of representation
Properties of zero-diagonal symmetric matrices
Examples of Free Lie Algebra
Significant Figures
Odd and (almost) even rows in the Pascal's triangle

$R$ is a domain with characteristic $p$ ($p$ is prime). There is a homomorphism $f : R \to R$, $f(a)=a^p$. $f$ is called the *Frobenius endomorphism*. And I have known this.

When $R$ which is mentioned above is also a field, it is said that $f$ is an isomorphism. I think I just need to ensure $f$ is bijective. But I don’t know how to prove it’s surjective.

Actually I have got your ideas. In some of your opinions, if it is finite, then it can be surjective. Then what if it is infinite?

- When does a formula for the roots of a polynomial exist?
- If every commutator is idempotent, then the ring is commutative
- Is $G/pG$ is a $p$-group?
- Existence of $f'\in F$ such that $f^{}=(f')^n$ for finite extension $F\subset G$
- Prove Quotient Group Isomorphism
- Hom of finitely generated modules over a noetherian ring

In my question, $R$ is a field as well as a domain. Then I wonder whether the **“domain”** is helpful for the proof of surjection or not.

- Ring of order $n$ is isomorphic to $\Bbb Z/n\Bbb Z$, with $n$ square-free
- What are Goldbach conjecture for other algebra structures, matrix, polynomial, algebraic number, etc?
- Is every quotient of a finite abelian group $G$ isomorphic to some subgroup of $G$?
- Let $\pi$ denote a prime element in $\mathbb Z, \pi \notin \mathbb Z, i \mathbb Z$. Prove that $N(\pi)=2$ or $N(\pi)=p$, $p \equiv 1 \pmod 4$
- P p-sylow with $ P ⊂ Z(G) $
- Existence of $f'\in F$ such that $f^{}=(f')^n$ for finite extension $F\subset G$
- Coker of powers of an endomorphism
- Intuition about the second isomorphism theorem
- Characterization of finite morsphisms over $\operatorname{Spec }O_K$
- Formula relating Euler characteristics $\chi(A)$, $\chi(X)$, $\chi(Y)$, $\chi(Y \cup_f X)$ when $X$ and $Y$ are finite.

All fields are domains; being a domain is not some extra property that a field may or may not have.

The Frobenius homomorphism is often called the Frobenius endomorphism, since “endomorphism” is a more specific term meaning “map from something to itself”. However, I’ll use “homomorphism” here to avoid confusion.

Let $K=\mathbb{F}_p(T)$, the rational functions in the variable $T$ over the field $\mathbb{F}_p=\mathbb{Z}/p\mathbb{Z}$. That is,

$$K=\mathbb{F}_p(T)=\left\{\,\frac{f}{g}\,\Bigg|\,\,\,f,g\in\mathbb{F}_p[T], g\neq0\right\}.$$

Then the Frobenius homomorphism $\phi:K\to K$ is not surjective, because (for instance) the element $T$ is not in the image of $\phi$. This is because if we had $\phi(\frac{f}{g})=\frac{f^{\;p}}{g^{\;p}}=T$ for some $\frac{f}{g}\in K$, then we have $p(\deg(f)-\deg(g))=\deg(T)=1$, which is impossible as $\deg(f)-\deg(g)$ is an integer and $1$ is not divisible by $p$.

Now let $K=\mathbb{F}_p$. Then the Frobenius homomorphism $\phi:K\to K$ is surjective, because it is in fact equal to the identity map, i.e. $\phi(x)=x$ for all $x\in K$. More generally, if $K$ is any finite field of characteristic $p$, then the Frobenius homomorphism is surjective, because (as I will show below) it is always injective, and an injective function from a finite set to itself must be surjective.

However, it is not necessary that $K$ be finite in order for the Frobenius homomorphism to be surjective. For example, now let $K=\mathbb{F}_p(T^{\;1/p^\infty})$. That is,

$$K=\mathbb{F}_p(T^{\;1/p^\infty})=\mathbb{F}_p(T,\sqrt[p]{T\;},\sqrt[p^2]{T\;},\ldots).$$ This is certainly an infinite field. The Frobenius homomorphism $\phi:K\to K$ is surjective. For example, the element $\alpha\in K$,

$$\alpha=\frac{\sqrt[p]{T\;}+2\cdot(\sqrt[p^2]{T\;})^3}{T^{\;2}-5T^{\;p}}$$

is in the image of $\phi$, because we can replace every occurrence of a $T^{\;p^d}$ with a one-lower-power-of-$p$ exponent, i.e.

$$\phi(\beta)=\alpha,\text{ where }\quad\beta=\frac{\sqrt[p^2]{T\;}+2\cdot(\sqrt[p^3]{T\;})^3}{(\sqrt[p]{T\;})^{\;2}-5T}$$

Similarly with any other element of $K$. (Note that $2$ or $5$ could very well be equal to $p$, and hence equal to $0$.)

Incidentally, the field $\mathbb{F}_p(T^{\;1/p^\infty})$ is called the perfection of the field $\mathbb{F}_p(T)$. It is a theorem that a field $K$ of characteristic $p$ is perfect if and only if the Frobenius homomorphism $\phi:K \to K$ is surjective, and by adding in $p^n$-th roots of every element of $\mathbb{F}_p(T)$, we have made a field for which it must be surjective, hence the name.

Now, some books (for example, McCarthy’s *Algebraic Extensions of Fields*) use the term “isomorphism” to mean what we now call “monomorphism” (injective homomorphism), and when they want to express what we now call “isomorphism” (bijective homomorphism), they would say “**onto** isomorphism” (since onto is a synonym for surjective, and bijective = injective + surjective).

If for some reason you are using this older terminology, then the Frobenius homomorphism for a field is always an “isomorphism” (i.e. injective). This is because, if $K$ is any field of characteristic $p$, and $\phi:K\to K$ is the Frobenius homomorphism, then

$$\begin{align*}\phi(\alpha)=\alpha^p=\beta^p=\phi(\beta)&\implies\alpha^p-\beta^p=0\\ &\implies(\alpha-\beta)^p=0\\ & \implies\alpha-\beta=0\\ & \implies\alpha=\beta.\end{align*}$$

In fact, **any homomorphism** from a field $K$ to a non-zero ring $R$ must be injective (what could its kernel be, as an ideal of the field $K$?) Also note that, by the First Isomorphism Theorem for Rings, we therefore have that any homomorphism $f:K\to R$ from a field $K$ to a non-zero ring $R$ is an isomorphism (in the modern sense) onto the subring of $R$ that is the image of $f$, i.e. if we threw out the rest of $R$ and only looked at the subring $f(K)$, then $f:K\to f(K)$ is an isomorphism (in the modern sense). This is what Jyrki Lahtonen conjectured that you meant above.

If we look at things that are not domains (and so in particular are not fields), then the Frobenius homomorphism need not be injective. For example, let $R=\mathbb{F}_p[x]/(x^p)$. That is,

$$R=\mathbb{F}_p[x]/(x^p)=\{a_0+\cdots+a_{p-1}x^{p-1}+(x^p)\mid a_i\in\mathbb{F}_p\}.$$

Then if $\phi:R\to R$ is the Frobenius homomorphism, we have for example $x+(x^p)\neq0+(x^p)$, but $$\phi(x+(x^p))=x^p+(x^p)=0+(x^p)=0^p+(x^p)=\phi(0+(x^p)).$$

On a final note, I just want to emphasize that the concept of a Frobenius homomorphism is only applicable if the field is of characteristic $p$ (as all the examples above were). For example, $\mathbb{Q}$ is a field of characteristic $0$, and for any prime $p$, the function $f:\mathbb{Q}\to\mathbb{Q}$ defined by $f(a)=a^p$ is not a homomorphism (compare $f(2)$ with $2\cdot f(1)$).

- Prove that $f$ is a polynomial if one of the coefficients in its Taylor expansion is 0
- Show that the zero set of $f$ is an orientable submanifold of $\Bbb R^{n+1}$.
- Every abelian group of finite exponent is isomorphic to a direct sum of finite cyclic groups?
- The Limit of $x\left(\sqrt{a}-1\right)$ as $x\to\infty$.
- How to detect when continued fractions period terminates
- diophantine equation $ |x^2-py^2|=\frac{p-1}{2} $
- Is it possible to determine if you were on a Möbius strip?
- Finite p-group with a cyclic frattini subgroup.
- Sur- in- bijections and cardinality.
- Show $ \int _0^t \frac{\left|B_u \right|}{u}du < \infty \ a.e.$
- What is the principal cubic root of $-8$?
- Prove that $\mu$(E$\Delta$F) = 0 implies $\mu$(E) = $\mu$(F)
- How many combinations of $3$ natural numbers are there that add up to $30$?
- Differentiability of $x^2\log(x^4+y^2)$ at $(0,0)$
- Show that are logically equivalent