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:
“Civility, which is a disposition to accommodate and oblige others, is essentially the same in every country; but good breeding, as it is called, which is the manner of exerting that disposition, is different in almost every country, and merely local; and every man of sense imitates and conforms to that local good breeding of the place which he is at.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (16941773)
“I dont pop my cork for evry guy I see.”
—Dorothy Fields (19041974)