Frobenius endomorphism

{{short description|Map raising elements to the pth power, in characteristic p}} {{distinguish|Frobenius characteristic map}} {{refimprove|date=August 2025}}

In commutative algebra and field theory, the '''Frobenius endomorphism''' (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic {{mvar|p}}, an important class that includes finite fields.<ref>{{cite book|last=Lang|title=Algebra|pages=180,246}}</ref><ref>{{cite book|last=Hartshone|title=Algebraic Geometry|pages=21}}</ref> The endomorphism maps every element to its {{mvar|p}}th power. In certain contexts it is an automorphism, but this is not true in general.<ref>{{cite book|last=Artin|title=Algebra Second Edition|pages=3.8 pp 355,M5 pp 511}}</ref><ref>{{cite book|last=Weil|year=1995|title=Basic number theory|pages=corollary 2: pp 18; Definition 5: pp 20}}</ref>

== Definition == Let {{mvar|R}} be a commutative ring with prime characteristic {{mvar|p}} (an integral domain of positive characteristic always has prime characteristic, for example). The Frobenius endomorphism {{math|''F''}} is defined by : <math>F(r) = r^p</math> for all {{math|''r''}} in {{math|''R''}}. It respects the multiplication of {{math|''R''}}: : <math>F(rs) = (rs)^p = r^ps^p = F(r)F(s),</math> and {{math|''F''(1)}} is {{math|1}} as well. Moreover, it also respects the addition of {{mvar|R}}. The expression {{math|(''r'' + ''s'')^''p''}} can be expanded using the binomial theorem. Because {{mvar|p}} is prime, it divides {{math|''p''!}} but not any {{math|''q''!}} for {{math|''q'' < ''p''}}; it therefore will divide the numerator, but not the denominator, of the explicit formula of the binomial coefficients : <math>\frac{p!}{k! (p-k)!},</math> if {{math|1 &le; ''k'' &le; ''p'' &minus; 1}}. Therefore, the coefficients of all the terms except {{math|''r''{{i sup|''p''}}}} and {{math|''s''{{i sup|''p''}}}} are divisible by {{mvar|p}}, and hence they vanish.<ref>This is known as the freshman's dream.</ref> Thus : <math>F(r + s) = (r + s)^p = r^p + s^p = F(r) + F(s).</math>

This shows that ''F'' is a ring homomorphism.

If {{math|''φ'' : ''R'' → ''S''}} is a homomorphism of rings of characteristic {{mvar|p}}, then :<math>\varphi(x^p) = \varphi(x)^p.</math> If {{math|''F_R''}} and {{math|''F_S''}} are the Frobenius endomorphisms of {{mvar|R}} and {{mvar|S}}, then this can be rewritten as: :<math>\varphi \circ F_R = F_S \circ \varphi.</math> This means that the Frobenius endomorphism is a natural transformation from the identity functor on the category of characteristic {{mvar|p}} rings to itself.

If the ring {{mvar|R}} is a ring with no nilpotent elements, then the Frobenius endomorphism is injective: {{math|''F''(''r'') {{=}} 0}} means {{math|''r''{{i sup|''p''}} {{=}} 0}}, which by definition means that {{mvar|r}} is nilpotent of order at most {{mvar|p}}. In fact, this is necessary and sufficient, because if {{mvar|r}} is any nilpotent, then one of its powers will be nilpotent of order at most {{mvar|p}}. In particular, if {{mvar|R}} is a field then the Frobenius endomorphism is injective.

The Frobenius morphism is not necessarily surjective, even when {{mvar|R}} is a field. For example, let {{math|''K'' {{=}} '''F'''_''p''(''t'')}} be the finite field of {{mvar|p}} elements together with a single transcendental element; equivalently, {{mvar|K}} is the field of rational functions with coefficients in {{math|'''F'''_''p''}}. Then the image of {{mvar|F}} does not contain {{mvar|t}}. If it did, then there would be a rational function {{math|''q''(''t'')/''r''(''t'')}} whose {{mvar|p}}th power {{math|''q''(''t'')^''p''/''r''(''t'')^''p''}} would equal {{mvar|t}}. But the degree of this {{mvar|p}}th power (the difference between the degrees of its numerator and denominator) is {{math|''p'' deg(''q'') − ''p'' deg(''r'')}}, which is a multiple of {{mvar|p}}. In particular, it can't be {{math|1}}, which is the degree of {{mvar|t}}. This is a contradiction; so {{mvar|t}} is not in the image of {{mvar|F}}.

A field {{mvar|K}} is called ''perfect'' if either it is of characteristic zero or it is of positive characteristic and its Frobenius endomorphism is an automorphism. For example, all finite fields are perfect.

== Fixed points of the Frobenius endomorphism == Consider the finite field {{math|'''F'''_''p''}}. By Fermat's little theorem, every element {{mvar|x}} of {{math|'''F'''_''p''}} satisfies {{math|''x''{{i sup|''p''}} {{=}} ''x''}}. Equivalently, it is a root of the polynomial {{math|''X''{{i sup|''p''}} − ''X''}}. The elements of {{math|'''F'''_''p''}} therefore determine {{mvar|p}} roots of this equation, and because this equation has degree {{mvar|p}} it has no more than {{mvar|p}} roots over any extension. In particular, if {{mvar|K}} is an algebraic extension of {{math|'''F'''_''p''}} (such as the algebraic closure or another finite field), then {{math|'''F'''_''p''}} is the fixed field of the Frobenius automorphism of {{mvar|K}}.

Let {{mvar|R}} be a ring of characteristic {{math|''p'' > 0}}. If {{mvar|R}} is an integral domain, then by the same reasoning, the fixed points of Frobenius are the elements of the prime field. However, if {{mvar|R}} is not a domain, then {{math|''X''{{i sup|''p''}} − ''X''}} may have more than {{mvar|p}} roots; for example, this happens if {{math|''R'' {{=}} '''F'''_''p'' × '''F'''_''p''}}.

A similar property is enjoyed on the finite field <math>\mathbf{F}_{p^n}</math> by the {{math|''n''}}th iterate of the Frobenius automorphism: Every element of <math>\mathbf{F}_{p^n}</math> is a root of <math>X^{p^n} - X</math>, so if {{mvar|K}} is an algebraic extension of <math>\mathbf{F}_{p^n}</math> and {{mvar|F}} is the Frobenius automorphism of {{mvar|K}}, then the fixed field of {{math|''F''{{i sup|''n''}}}} is <math>\mathbf{F}_{p^n}</math>. If {{math|''R''}} is a domain that is an <math>\mathbf{F}_{p^n}</math>-algebra, then the fixed points of the {{math|''n''}}th iterate of Frobenius are the elements of the image of <math>\mathbf{F}_{p^n}</math>.

Iterating the Frobenius map gives a sequence of elements in {{mvar|R}}: :<math>x, x^p, x^{p^2}, x^{p^3}, \ldots.</math> This sequence of iterates is used in defining the Frobenius closure and the tight closure of an ideal.

== As a generator of Galois groups == The Galois group of an extension of finite fields is generated by an iterate of the Frobenius automorphism. First, consider the case where the ground field is the prime field {{math|'''F'''_''p''}}. Let {{math|'''F'''_''q''}} be the finite field of {{mvar|q}} elements, where {{math|''q'' {{=}} ''p''{{i sup|''n''}}}}. The Frobenius automorphism {{mvar|F}} of {{math|'''F'''_''q''}} fixes the prime field {{math|'''F'''_''p''}}, so it is an element of the Galois group {{math|Gal('''F'''_''q''/'''F'''_''p'')}}. In fact, since <math>\mathbf{F}_q^{\times}</math> is cyclic with {{math|''q'' − 1}} elements, we know that the Galois group is cyclic and {{mvar|F}} is a generator. The order of {{mvar|F}} is {{mvar|n}} because {{math|''F''{{i sup|''j''}}}} acts on an element {{mvar|x}} by sending it to {{math|''x''{{i sup|''p^j''}}}}, and <math>x^{p^j} = x</math> can only have <math>p^j</math> many roots, since we are in a field. Every automorphism of {{math|'''F'''_''q''}} is a power of {{mvar|F}}, and the generators are the powers {{math|''F''{{i sup|''i''}}}} with {{mvar|i}} coprime to {{mvar|n}}.

Now consider the finite field {{math|'''F'''_{''q''{{i sup|''f''}}}}} as an extension of {{math|'''F'''_''q''}}, where {{math|''q'' {{=}} ''p''{{i sup|''n''}}}} as above. If {{math|''n'' > 1}}, then the Frobenius automorphism {{mvar|F}} of {{math|'''F'''_{''q''{{i sup|''f''}}}}} does not fix the ground field {{math|'''F'''_''q''}}, but its {{mvar|n}}th iterate {{math|''F''{{i sup|''n''}}}} does. The Galois group {{math|Gal('''F'''_{''q''{{i sup|''f''}}}&thinsp;/'''F'''_''q'')}} is cyclic of order {{mvar|f}} and is generated by {{math|''F''{{i sup|''n''}}}}. It is the subgroup of {{math|Gal('''F'''_{''q''{{i sup|''f''}}}&thinsp;/'''F'''_''p'')}} generated by {{math|''F''{{i sup|''n''}}}}. The generators of {{math|Gal('''F'''_{''q''{{i sup|''f''}}}&thinsp;/'''F'''_''q'')}} are the powers {{math|''F''{{i sup|''ni''}}}} where {{mvar|i}} is coprime to {{mvar|f}}.

The Frobenius automorphism is not a generator of the absolute Galois group : <math>\operatorname{Gal} \left (\overline{\mathbf{F}_q}/\mathbf{F}_q \right ),</math> because this Galois group is isomorphic to the profinite integers : <math>\widehat{\mathbf{Z}} = \varprojlim_n \mathbf{Z}/n\mathbf{Z},</math> which are not cyclic. However, because the Frobenius automorphism is a generator of the Galois group of every finite extension of {{math|'''F'''_''q''}}, it is a generator of every finite quotient of the absolute Galois group. Consequently, it is a topological generator in the usual Krull topology on the absolute Galois group.

== Frobenius for schemes == There are several different ways to define the Frobenius morphism for a scheme. The most fundamental is the absolute Frobenius morphism. However, the absolute Frobenius morphism behaves poorly in the relative situation because it pays no attention to the base scheme. There are several different ways of adapting the Frobenius morphism to the relative situation, each of which is useful in certain situations. [[File:Absolute and relative Frobenius.svg|thumb|Let {{math|''φ'' : ''X'' → ''S''}} be a morphism of schemes, and denote the absolute Frobenius morphisms of {{math|''S''}} and {{math|''X''}} by {{math|''F''_''S''}} and {{math|''F''_''X''}}, respectively. Define {{math|''X''{{i sup|(''p'')}}}} to be the base change of {{math|''X''}} by {{math|''F''_''S''}}. Then the above diagram commutes and the square is Cartesian. The morphism {{math|''F''_''X''/''S''}} is relative Frobenius.]]

=== The absolute Frobenius morphism === Suppose that {{mvar|X}} is a scheme of characteristic {{math|''p'' > 0}}. Choose an open affine subset {{math|''U'' {{=}} Spec ''A''}} of {{mvar|X}}. The ring {{mvar|A}} is an {{math|'''F'''_''p''}}-algebra, so it admits a Frobenius endomorphism. If {{mvar|V}} is an open affine subset of {{mvar|U}}, then by the naturality of Frobenius, the Frobenius morphism on {{mvar|U}}, when restricted to {{mvar|V}}, is the Frobenius morphism on {{mvar|V}}. Consequently, the Frobenius morphism glues to give an endomorphism of {{mvar|X}}. This endomorphism is called the '''absolute Frobenius morphism''' of {{mvar|X}}, denoted {{math|''F_X''}}. By definition, it is a homeomorphism of {{mvar|X}} with itself. The absolute Frobenius morphism is a natural transformation from the identity functor on the category of {{math|'''F'''_''p''}}-schemes to itself.

If {{mvar|X}} is an {{mvar|S}}-scheme and the Frobenius morphism of {{mvar|S}} is the identity, then the absolute Frobenius morphism is a morphism of {{mvar|S}}-schemes. In general, however, it is not. For example, consider the ring <math>A = \mathbf{F}_{p^2}</math>. Let {{mvar|X}} and {{mvar|S}} both equal {{math|Spec ''A''}} with the structure map {{math|''X'' → ''S''}} being the identity. The Frobenius morphism on {{mvar|A}} sends {{mvar|a}} to {{math|''a''{{i sup|''p''}}}}. It is not a morphism of <math>\mathbf{F}_{p^2}</math>-algebras. If it were, then multiplying by an element {{mvar|b}} in <math>\mathbf{F}_{p^2}</math> would commute with applying the Frobenius endomorphism. But this is not true because: : <math>b \cdot a = ba \neq F(b) \cdot a = b^p a.</math> The former is the action of {{mvar|b}} in the <math>\mathbf{F}_{p^2}</math>-algebra structure that {{mvar|A}} begins with, and the latter is the action of <math>\mathbf{F}_{p^2}</math> induced by Frobenius. Consequently, the Frobenius morphism on {{math|Spec ''A''}} is not a morphism of <math>\mathbf{F}_{p^2}</math>-schemes.

The absolute Frobenius morphism is a purely inseparable morphism of degree {{mvar|p}}. Its differential is zero. It preserves products, meaning that for any two schemes {{mvar|X}} and {{mvar|Y}}, {{math|''F''_''X''×''Y'' {{=}} ''F_X'' × ''F_Y''}}.

=== Restriction and extension of scalars by Frobenius === Suppose that {{math|''φ'' : ''X'' → ''S''}} is the structure morphism for an {{mvar|S}}-scheme {{mvar|X}}. The base scheme {{mvar|S}} has a Frobenius morphism {{math|''F''_''S''}}. Composing {{mvar|φ}} with {{math|''F''_''S''}} results in an {{mvar|S}}-scheme ''X''_''F'' called the '''restriction of scalars by Frobenius'''. The restriction of scalars is actually a functor, because an {{mvar|S}}-morphism {{math|''X'' → ''Y''}} induces an {{mvar|S}}-morphism {{math|''X_F'' → ''Y_F''}}.

For example, consider a ring {{math|''A''}} of characteristic {{math|''p'' > 0}} and a finitely presented algebra over {{math|''A''}}: :<math>R = A[X_1, \ldots, X_n] / (f_1, \ldots, f_m).</math> The action of {{math|''A''}} on {{math|''R''}} is given by: :<math>c \cdot \sum a_\alpha X^\alpha = \sum c a_\alpha X^\alpha,</math> where &alpha; is a multi-index. Let {{math|''X'' {{=}} Spec ''R''}}. Then {{math|''X_F''}} is the affine scheme {{math|Spec ''R''}}, but its structure morphism {{math|Spec ''R'' → Spec ''A''}}, and hence the action of {{math|''A''}} on {{math|''R''}}, is different: : <math>c \cdot \sum a_\alpha X^\alpha = \sum F(c) a_\alpha X^\alpha = \sum c^p a_\alpha X^\alpha.</math>

Because restriction of scalars by Frobenius is simply composition, many properties of {{mvar|X}} are inherited by {{math|''X''_''F''}} under appropriate hypotheses on the Frobenius morphism. For example, if {{mvar|X}} and ''S''_''F'' are both finite type, then so is {{math|''X''_''F''}}.

The '''extension of scalars by Frobenius''' is defined to be: : <math>X^{(p)} = X \times_S S_F.</math> The projection onto the {{mvar|S}} factor makes {{math|''X''{{i sup|(''p'')}}}} an {{mvar|S}}-scheme. If {{mvar|S}} is not clear from the context, then {{math|''X''{{i sup|(''p'')}}}} is denoted by {{math|''X''{{i sup|(''p''/''S'')}}}}. Like restriction of scalars, extension of scalars is a functor: An {{mvar|S}}-morphism {{math|''X'' → ''Y''}} determines an {{mvar|S}}-morphism {{math|''X''{{i sup|(''p'')}} → ''Y''{{i sup|(''p'')}}}}.

As before, consider a ring {{math|''A''}} and a finitely presented algebra {{math|''R''}} over {{math|''A''}}, and again let {{math|''X'' {{=}} Spec ''R''}}. Then: : <math>X^{(p)} = \operatorname{Spec} R \otimes_A A_F.</math> A global section of {{math|''X''{{i sup|(''p'')}}}} is of the form: : <math>\sum_i \left(\sum_\alpha a_{i\alpha} X^\alpha\right) \otimes b_i = \sum_i \sum_\alpha X^\alpha \otimes a_{i\alpha}^p b_i,</math> where {{math|''α''}} is a multi-index and every {{math|''a''_''iα''}} and {{math|''b''_''i''}} is an element of ''A''. The action of an element ''c'' of ''A'' on this section is: : <math>c \cdot \sum_i \left (\sum_\alpha a_{i\alpha} X^\alpha\right) \otimes b_i = \sum_i \left(\sum_\alpha a_{i\alpha} X^\alpha\right) \otimes b_i c.</math> Consequently, {{math|''X''{{i sup|(''p'')}}}} is isomorphic to: : <math>\operatorname{Spec} A[X_1, \ldots, X_n] / \left (f_1^{(p)}, \ldots, f_m^{(p)} \right ),</math> where, if: : <math>f_j = \sum_\beta f_{j\beta} X^\beta,</math> then: : <math>f_j^{(p)} = \sum_\beta f_{j\beta}^p X^\beta.</math> A similar description holds for arbitrary {{math|''A''}}-algebras {{math|''R''}}.

Because extension of scalars is base change, it preserves limits and coproducts. This implies in particular that if {{mvar|X}} has an algebraic structure defined in terms of finite limits (such as being a group scheme), then so does {{math|''X''{{i sup|(''p'')}}}}. Furthermore, being a base change means that extension of scalars preserves properties such as being of finite type, finite presentation, separated, affine, and so on.

Extension of scalars is well-behaved with respect to base change: Given a morphism {{math|''S''′ → ''S''}}, there is a natural isomorphism: :<math>X^{(p/S)} \times_S S' \cong (X \times_S S')^{(p/S')}.</math>

=== Relative Frobenius === Let {{math|''X''}} be an {{math|''S''}}-scheme with structure morphism {{math|''φ''}}. The '''relative Frobenius morphism''' of {{math|''X''}} is the morphism: : <math>F_{X/S} : X \to X^{(p)}</math> defined by the universal property of the pullback {{math|''X''{{i sup|(''p'')}}}} (see the diagram above): : <math>F_{X/S} = (F_X, \varphi).</math> Because the absolute Frobenius morphism is natural, the relative Frobenius morphism is a morphism of {{mvar|S}}-schemes.

Consider, for example, the {{math|''A''}}-algebra: : <math>R = A[X_1, \ldots, X_n] / (f_1, \ldots, f_m).</math> We have: : <math>R^{(p)} = A[X_1, \ldots, X_n] / (f_1^{(p)}, \ldots, f_m^{(p)}).</math> The relative Frobenius morphism is the homomorphism {{math|''R''{{i sup|(''p'')}} → ''R''}} defined by: : <math>\sum_i \sum_\alpha X^\alpha \otimes a_{i\alpha} \mapsto \sum_i \sum_\alpha a_{i\alpha}X^{p\alpha}.</math>

Relative Frobenius is compatible with base change in the sense that, under the natural isomorphism of {{math|''X''{{i sup|(''p''/''S'')}} ×_''S'' ''S''′}} and {{math|(''X'' ×_''S'' ''S''′){{i sup|(''p''/''S''′)}}}}, we have: : <math>F_{X / S} \times 1_{S'} = F_{X \times_S S' / S'}.</math>

Relative Frobenius is a universal homeomorphism. If {{math|''X'' → ''S''}} is an open immersion, then it is the identity. If {{math|''X'' → ''S''}} is a closed immersion determined by an ideal sheaf ''I'' of {{math|''O_S''}}, then {{math|''X''{{i sup|(''p'')}}}} is determined by the ideal sheaf {{math|''I''{{i sup|''p''}}}} and relative Frobenius is the augmentation map {{math|''O_S''/''I''{{i sup|''p''}} → ''O_S''/''I''}}.

{{math|''X''}} is unramified over {{mvar|S}} if and only if {{math|''F''_''X''/''S''}} is unramified and if and only if {{math|''F''_''X''/''S''}} is a monomorphism. {{math|''X''}} is étale over {{mvar|S}} if and only if {{math|''F''_''X''/''S''}} is étale and if and only if {{math|''F''_''X''/''S''}} is an isomorphism.

=== Arithmetic Frobenius === {{See also|Arithmetic and geometric Frobenius}}

The '''arithmetic Frobenius morphism''' of an {{mvar|S}}-scheme {{mvar|X}} is a morphism: : <math>F^a_{X/S} : X^{(p)} \to X \times_S S \cong X</math> defined by: : <math>F^a_{X/S} = 1_X \times F_S.</math> That is, it is the base change of {{math|''F''_''S''}} by {{math|1_''X''}}.

Again, if: : <math>R = A[X_1, \ldots, X_n] / (f_1, \ldots, f_m),</math> : <math>R^{(p)} = A[X_1, \ldots, X_n] / (f_1, \ldots, f_m) \otimes_A A_F,</math> then the arithmetic Frobenius is the homomorphism: : <math>\sum_i \left(\sum_\alpha a_{i\alpha} X^\alpha\right) \otimes b_i \mapsto \sum_i \sum_\alpha a_{i\alpha} b_i^p X^\alpha.</math> If we rewrite {{math|''R''{{i sup|(''p'')}}}} as: : <math>R^{(p)} = A[X_1, \ldots, X_n] / \left (f_1^{(p)}, \ldots, f_m^{(p)} \right ),</math> then this homomorphism is: : <math>\sum a_\alpha X^\alpha \mapsto \sum a_\alpha^p X^\alpha.</math>

=== Geometric Frobenius === Assume that the absolute Frobenius morphism of {{mvar|S}} is invertible with inverse <math>F_S^{-1}</math>. Let <math>S_{F^{-1}}</math> denote the {{mvar|S}}-scheme <math>F_S^{-1} : S \to S</math>. Then there is an extension of scalars of {{mvar|X}} by <math>F_S^{-1}</math>: : <math>X^{(1/p)} = X \times_S S_{F^{-1}}.</math> If: : <math>R = A[X_1, \ldots, X_n] / (f_1, \ldots, f_m),</math> then extending scalars by <math>F_S^{-1}</math> gives: : <math>R^{(1/p)} = A[X_1, \ldots, X_n] / (f_1, \ldots, f_m) \otimes_A A_{F^{-1}}.</math> If: : <math>f_j = \sum_\beta f_{j\beta} X^\beta,</math> then we write: : <math>f_j^{(1/p)} = \sum_\beta f_{j\beta}^{1/p} X^\beta,</math> and then there is an isomorphism: : <math>R^{(1/p)} \cong A[X_1, \ldots, X_n] / (f_1^{(1/p)}, \ldots, f_m^{(1/p)}).</math>

The '''geometric Frobenius morphism''' of an {{mvar|S}}-scheme {{mvar|X}} is a morphism: : <math>F^g_{X/S} : X^{(1/p)} \to X \times_S S \cong X</math> defined by: : <math>F^g_{X/S} = 1_X \times F_S^{-1}.</math> It is the base change of <math>F_S^{-1}</math> by {{math|1_''X''}}.

Continuing our example of {{math|''A''}} and {{math|''R''}} above, geometric Frobenius is defined to be: : <math>\sum_i \left(\sum_\alpha a_{i\alpha} X^\alpha\right) \otimes b_i \mapsto \sum_i \sum_\alpha a_{i\alpha} b_i^{1/p} X^\alpha.</math> After rewriting {{math|''R''{{i sup|(1/''p'')}}}} in terms of <math>\{f_j^{(1/p)}\}</math>, geometric Frobenius is: : <math>\sum a_\alpha X^\alpha \mapsto \sum a_\alpha^{1/p} X^\alpha.</math>

=== Arithmetic and geometric Frobenius as Galois actions === Suppose that the Frobenius morphism of {{mvar|S}} is an isomorphism. Then it generates a subgroup of the automorphism group of {{mvar|S}}. If {{math|''S'' {{=}} Spec ''k''}} is the spectrum of a finite field, then its automorphism group is the Galois group of the field over the prime field, and the Frobenius morphism and its inverse are both generators of the automorphism group. In addition, {{math|''X''{{i sup|(''p'')}}}} and {{math|''X''{{i sup|(1/''p'')}}}} may be identified with {{mvar|X}}. The arithmetic and geometric Frobenius morphisms are then endomorphisms of {{mvar|X}}, and so they lead to an action of the Galois group of {{math|''k''}} on {{math|''X''}}.

Consider the set of {{math|''K''}}-points {{math|''X''(''K'')}}. This set comes with a Galois action: Each such point {{math|''x''}} corresponds to a homomorphism {{math|''O_X'' → ''K''}} from the structure sheaf to {{math|''K''}}, which factors via {{math|''k''(''x'')}}, the residue field at {{math|''x''}}, and the action of Frobenius on {{math|''x''}} is the application of the Frobenius morphism to the residue field. This Galois action agrees with the action of arithmetic Frobenius: The composite morphism : <math>\mathcal{O}_X \to k(x) \xrightarrow{\overset{}F} k(x)</math> is the same as the composite morphism: : <math>\mathcal{O}_X \xrightarrow{\overset{}F^a_{X/S}} \mathcal{O}_X \to k(x)</math> by the definition of the arithmetic Frobenius. Consequently, arithmetic Frobenius explicitly exhibits the action of the Galois group on points as an endomorphism of {{math|''X''}}.

== Frobenius for local fields == Given an unramified finite extension {{math|''L''/''K''}} of local fields, there is a concept of '''Frobenius endomorphism''' that induces the Frobenius endomorphism in the corresponding extension of residue fields.<ref name=FT144>{{cite book | last1=Fröhlich | first1=A. | author1-link=Albrecht Fröhlich | last2=Taylor | first2= M.J. | author2-link=Martin J. Taylor | title=Algebraic number theory | series=Cambridge studies in advanced mathematics | volume=27 | publisher=Cambridge University Press | year=1991 | isbn=0-521-36664-X | zbl=0744.11001 | page=144 }}</ref>

Suppose {{math|''L''/''K''}} is an unramified extension of local fields, with ring of integers ''O_K'' of {{mvar|K}} such that the residue field, the integers of {{mvar|K}} modulo their unique maximal ideal {{mvar|φ}}, is a finite field of order {{mvar|q}}, where {{mvar|q}} is a power of a prime. If {{math|Φ}} is a prime of {{mvar|L}} lying over {{mvar|φ}}, that {{math|''L''/''K''}} is unramified means by definition that the integers of {{mvar|L}} modulo {{math|Φ}}, the residue field of {{mvar|L}}, will be a finite field of order {{math|''q''{{i sup|''f''}}}} extending the residue field of {{mvar|K}} where {{mvar|f}} is the degree of {{math|''L''/''K''}}. We may define the Frobenius map for elements of the ring of integers {{math|''O_L''}} of {{mvar|L}} as an automorphism {{math|''s''_Φ}} of {{mvar|L}} such that : <math>s_\Phi(x) \equiv x^q \pmod{\Phi}.</math>

== Frobenius for global fields == In algebraic number theory, '''Frobenius elements''' are defined for extensions {{math|''L''/''K''}} of global fields that are finite Galois extensions for prime ideals {{math|Φ}} of {{mvar|L}} that are unramified in {{math|''L''/''K''}}. Since the extension is unramified the decomposition group of {{math|Φ}} is the Galois group of the extension of residue fields. The Frobenius element then can be defined for elements of the ring of integers of {{mvar|L}} as in the local case, by : <math>s_\Phi(x) \equiv x^q \pmod{\Phi},</math> where {{mvar|q}} is the order of the residue field {{math|''O_K''/(Φ ∩ ''O_K'')}}.

Lifts of the Frobenius are in correspondence with p-derivations.

== Examples == The polynomial : {{math|''x''⁵ − ''x'' − 1}} has discriminant : {{math|19 &times; 151}}, and so is unramified at the prime 3; it is also irreducible mod 3. Hence adjoining a root {{mvar|ρ}} of it to the field of {{math|3}}-adic numbers {{math|'''Q'''₃}} gives an unramified extension {{math|'''Q'''₃(''ρ'')}} of {{math|'''Q'''₃}}. We may find the image of {{mvar|ρ}} under the Frobenius map by locating the root nearest to {{math|''ρ''³}}, which we may do by Newton's method. We obtain an element of the ring of integers {{math|'''Z'''₃[''ρ'']}} in this way; this is a polynomial of degree four in {{mvar|ρ}} with coefficients in the {{math|3}}-adic integers {{math|'''Z'''₃}}. Modulo {{math|3⁸}} this polynomial is : <math>\rho^3 + 3(460+183\rho-354\rho^2-979\rho^3-575\rho^4)</math>.

This is algebraic over {{math|'''Q'''}} and is the correct global Frobenius image in terms of the embedding of {{math|'''Q'''}} into {{math|'''Q'''₃}}; moreover, the coefficients are algebraic and the result can be expressed algebraically. However, they are of degree 120, the order of the Galois group, illustrating the fact that explicit computations are much more easily accomplished if {{mvar|p}}-adic results will suffice.

If {{math|''L''/''K''}} is an abelian extension of global fields, we get a much stronger congruence since it depends only on the prime {{mvar|φ}} in the base field {{mvar|K}}. For an example, consider the extension {{math|'''Q'''(''β'')}} of {{math|'''Q'''}} obtained by adjoining a root {{mvar|β}} satisfying : <math>\beta^5+\beta^4-4\beta^3-3\beta^2+3\beta+1=0</math> to {{math|'''Q'''}}. This extension is cyclic of order five, with roots : <math>2 \cos \tfrac{2 \pi n}{11}</math> for integer {{mvar|n}}. It has roots that are Chebyshev polynomials of {{mvar|β}}: : {{math|''β''² − 2, ''β''³ − 3''β'', ''β''⁵ − 5''β''³ + 5''β''}} give the result of the Frobenius map for the primes {{math|2}}, {{math|3}} and {{math|5}}, and so on for larger primes not equal to {{math|11}} or of the form {{math|22''n'' + 1}} (which split). It is immediately apparent how the Frobenius map gives a result equal mod {{mvar|p}} to the {{mvar|p}}th power of the root {{mvar|β}}.

== See also ==

* Perfect field * Frobenioid * {{section link|Finite field|Frobenius automorphism and Galois theory}} * Universal homeomorphism

== References == {{reflist}}

* {{Springer|id=f/f041760|title=Frobenius automorphism}} * {{Springer|id=f/f041770|title=Frobenius endomorphism}}

Category:Finite fields Category:Algebraic number theory Category:Galois theory