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:
“The improved American highway system ... isolated the American-in-transit. On his speedway ... he had no contact with the towns which he by-passed. If he stopped for food or gas, he was served no local fare or local fuel, but had one of Howard Johnson’s nationally branded ice cream flavors, and so many gallons of Exxon. This vast ocean of superhighways was nearly as free of culture as the sea traversed by the Mayflower Pilgrims.”
—Daniel J. Boorstin (b. 1914)
“It’s a melody full of the laughter of children out after the rain.”
—Dorothy Fields (1904–1974)