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 fields, there is a concept of Frobenius endomorphism which induces the Frobenius endomorphism in the corresponding extension of residue fields.
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 as an automorphism of L such that
Read more about this topic: Frobenius Endomorphism
Famous quotes containing the words local and/or fields:
“These native villages are as unchanging as the woman in one of their stories. When she was called before a local justice he asked her age. “I have 45 years.” “But,” said the justice, “you were forty-five when you appeared before me two years ago.” “Señor Judge,” she replied proudly, drawing herself to her full height, “I am not of those who are one thing today and another tomorrow!””
—State of New Mexico, U.S. public relief program (1935-1943)
“It would not be an easy thing to bring the water all the way to the plain. They would have to organize a great coumbite with all the peasants and the water would unite them once again, its fresh breath would clear away the fetid stink of anger and hatred; the brotherly community would be reborn with new plants, the fields filled with to bursting with fruits and grains, the earth gorged with life, simple and fertile.”
—Jacques Roumain (1907–1945)