Frobenius Automorphism Article Index for
Frobenius 		Website Links For
Frobenius 		 

Information About

Frobenius Automorphism
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



Let ''R'' be a commutative ring of positive and prime characteristic ''p'' (the characteristic is always prime when ''R'' is an Integral Domain , for example). The Frobenius endomorphism ''F'' is defined by

F


for all ''r'' in ''R''. Clearly this respects the multiplication of ''R'': ''F''(''rs'')=(''rs'')''p'' = ''r''''p''''s''''p''. What is interesting, however, is that it also respects the addition of ''R''. The expression (''r'' + ''s'')''p'' can be expanded using the Binomial Theorem , and since ''p'' is prime, the coefficients of all the terms except ''r''''p'' and ''s''''p'' are divisible by ''p'', the characteristic, hence vanish. Since ''F''(1) is clearly 1, ''F'' is a ring homomorphism.

In general, ''F'' is not an automorphism. For example, let ''K'' be the field F''p''(''t''), that is, the finite field with ''p'' elements together with a single transcendental element. We claim that the image of ''F'' does not contain ''t''. We will prove this by contradiction: Suppose that there is an element of ''K'' whose image under ''F'' is ''t''. This element is a rational function ''q''(''t'')/''r''(''t'') whose ''p'''th power (''q''(''t'')/''r''(''t''))''p'' equals ''t''. This makes p(deg ''q'' - deg ''r'') = 1, which is impossible. So ''F'' is not surjective and hence not an automorphism. It is also possible for ''F'' to be non-injective. This occurs if and only if ''R'' has a Nilpotent of order less than or equal to ''p''.


FIXED POINTS OF THE FROBENIUS ENDOMORPHISM


Say ''R'' is an integral domain. The Frobenius map fixes all the elements of ''R'' which satisfy the equation ''x''''p'' = ''x''. These are all the roots of the equation ''x''''p'' - ''x'', and since this equation has degree ''p'', there are at most ''p'' roots. These are exactly the elements 0, 1, 2, ..., ''p'' - 1, so the fixed point set of ''F'' is the Prime Field .

Iterating the Frobenius map gives us a sequence of elements in R:
:x, x^p, x^{p^2}, x^{p^3}, \ldots
Applying the ''e'''th iterate of ''F'' to a ring which contains a field ''K'' of ''p''''e'' elements gives us a fixed point set equal to ''K'', similar to the example above. The iterates of the Frobenius map are also used in defining the Frobenius Closure and Tight Closure of an ideal.


FROBENIUS FOR FINITE FIELDS


Let F''q'' be the finite field of ''q'' elements, where ''q''=''p''e. ''F'' fixes F''p'' by the argument above. If ''q''=2, then ''F''2, the second iterate of Frobenius, fixes ''p''2 elements, so it will fix {\bold F}_{p^2}. In general, ''F''''e'' fixes {\bold F}_{p^e}. Furthermore, ''F'' will generate the Galois Group of any extension of finite fields.


FROBENIUS FOR SCHEME S


Using the setup above, it is easy to extend the Frobenius map to the context of schemes. Let ''X'' be a scheme over a field ''k'' of characteristic ''p''. Choose an open affine subset ''U''=Spec ''R''. Since ''X'' is a ''k''-scheme, we get an inclusion of ''k'' in ''R''. This forces ''R'' to be a characteristic ''p'' ring, so we can define the Frobenius endomorphism ''F'' for ''R'' as we did above. It is clear that ''F'' commutes with localization, so ''F'' glues to give an endomorphism of ''X''.

However, ''F'' is not necessarily an endomorphism of ''k''-schemes. If ''k'' is not F''p'', then ''F'' will not fix ''k'', and consequently ''F'' will not be a ''k''-algebra map. A partial resolution of this problem is to look at the inclusion of ''F''(''k'') = ''k''''p'' in ''k'': Since ''X'' is a ''k''-scheme, it is also a ''k''''p''-scheme. ''F'' is then a map of ''k''''p''-schemes.


FROBENIUS FOR LOCAL FIELDS


The definition of ''F'' for schemes automatically defines ''F'' for local and global fields, but we will treat these cases separately for clarity.

The definition of the Frobenius for finite fields can be extended to other sorts of field extensions. Given an Unramified Finite Extension ''L/K'' of Local Field s, there is a concept of Frobenius endomorphism which induces the Frobenius endomorphism in the corresponding extension of Residue Field s.

Suppose ''L/K'' is an unramified extension of local fields, with Ring Of Integers ''OK'' of ''K'' such that the residue field, the integers of ''K'' modulo their unique maximal ideal φ, is a finite field of order ''q''. If Φ is a prime of ''L'' lying over φ, that ''L/K'' is unramified means by definition that the integers of ''L'' modulo Φ, the residue field of ''L'', will be a finite field of order ''qf'' extending the residue field of ''K'' where ''f'' is the degree of ''L/K''. We may define the Frobenius map for elements of the ring of integers ''OL'' of ''L'' by

:s_\Phi(x) \equiv x^q \mod \Phi.


FROBENIUS FOR GLOBAL FIELDS


In Algebraic Number Theory , Frobenius elements are defined for extensions ''L/K'' of Global Field s that are finite Galois Extension s for Prime Ideal s Φ of ''L'' that are unramified in ''L/K''. Since the extension is unramified the Decomposition Group of Φ is the Galois group of the extension of residue fields. The Frobenius then can be defined for elements of the ring of integers of ''L'' as in the local case, by

:s_\Phi(x) \equiv x^q \mod \Phi,

where ''q'' is the order of the residue field ''OK'' mod φ.


EXAMPLES


The polynomial

x


has Discriminant

:19 × 151,

and so is unramified at the prime 3; it is also irreducible mod 3. Hence adjoining a root ρ of it to the field of 3-adic numbers \Bbb{Q}_3 gives an unramified extension \Bbb{Q}_3( ho) of \Bbb{Q}_3. We may find the image of ρ under the Frobenius map by locating the root nearest to ρ3, which we may do by Newton's Method . We obtain an element of the ring of integers \Bbb{Z}_3[ ho] in this way; this is a polynomial of degree four in ρ with coefficients in the 3-adic integers \Bbb{Z}_3. Modulo 38 this polynomial is

: ho^3 + 3(460+183 ho-354 ho^2-979 ho^3-575 ho^4).

This is algebraic over \Bbb{Q} and is the correct global Frobenius image in terms of the embedding of \Bbb{Q} into \Bbb{Q}_3; 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 p-adic results will suffice.

If ''L/K'' is an abelian extension of global fields, we get a much stronger congruence since it depends only on the prime φ in the base field ''K''. For an example, consider the extension of \Bbb{Q}(\beta) obtained by adjoining a root β satisfying

:\beta^5+\beta^4-4\beta^3-3\beta^2+3\beta+1=0

to \Bbb{Q}. This extension is cyclic of order five, with roots

:2 \cos rac{2 \pi n}{11}

for integer ''n''. It has roots which are Chebyshev Polynomials of β:

:β2 - 2, β3 - 3β, β5-5β3+5β

give the result of the Frobenius map for the primes 2, 3 and 5, and so on for larger primes not equal to 11 or of the form 22n+1 (which split). It is immediately apparent how the Frobenius map gives a result equal mod ''p'' to the ''p''-th power of the root β.