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 poet’s eye, in a fine frenzy rolling,
Doth glance from heaven to earth, from earth to heaven;
And as imagination bodies forth
The forms of things unknown, the poet’s pen
Turns them to shapes, and gives to airy nothing
A local habitation and a name.”
—William Shakespeare (1564–1616)
“They talk about a woman’s sphere,
As though it had a limit.
There’s not a place in earth or heaven.
There’s not a task to mankind given ...
Without a woman in it.”
—Kate Field (1838–1896)
“The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.”
—Giuseppe Mazzini (1805–1872)