Non-archimedean Local Field Theory
For a non-archimedean local field F (with absolute value denoted by |·|), the following objects are important:
- its ring of integers which is a discrete valuation ring, is the closed unit ball of F, and is compact;
- the units in its ring of integers which forms a group and is the unit sphere of F;
- the unique non-zero prime ideal in its ring of integers which is its open unit ball ;
- a generator ϖ of called a uniformizer of F;
- its residue field which is finite (since it is compact and discrete).
Every non-zero element a of F can be written as a = ϖnu with u a unit, and n a unique integer. The normalized valuation of F is the surjective function v : F → Z ∪ {∞} defined by sending a non-zero a to the unique integer n such that a = ϖnu with u a unit, and by sending 0 to ∞. If q is the cardinality of the residue field, the absolute value on F induced by its structure as a local field is given by
An equivalent definition of a non-archimedean local field is that it is a field that is complete with respect to a discrete valuation and whose residue field is finite.
Read more about this topic: Local Field
Famous quotes containing the words local, field and/or theory:
“The local snivels through the fields:
I sit between felt-hatted mums....”
—Philip Larkin (1922–1986)
“In the beginning, I wanted to enter what was essentially a man’s field. I wanted to prove I could do it. Then I found that when I did as well as the men in the field I got more credit for my work because I am a woman, which seems unfair.”
—Eugenie Clark (b. 1922)
“every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.”
—Thomas Nagel (b. 1938)