PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] equivalent valuations (Definition)

Let $K$ be a field. The equivalence of valuations $|\cdot|_1$ and $|\cdot|_2$ of $K$ may be defined so that

  1. $|\cdot|_1$ is not the trivial valuation;
  2. if $|a|_1 < 1$ then $|a|_2 < 1 \qquad \forall a \in K.$

It it easy to see that these conditions imply symmetry for both valuations (use $\frac{1}{a}$ ). Also, we have always $$|a|_1 \leqq 1 \, \Leftrightarrow \, |a|_2 \leqq 1;$$ so both valuations have a common valuation ring in the case they are non-archimedean. (The equivalence of the more general Krull valuations is defined to mean that they have common valuation rings.) Further, both valuations determine a common metric on $K$ .

Theorem 1   Two valuations (of rank one) $|\cdot|_1$ and $|\cdot|_2$ of $K$ are equivalent iff one of them is a positive power of the other, $$|a|_1 = |a|_2^c \qquad \forall a \in K,$$ where $c$ is a positive constant.




"equivalent valuations" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: discrete valuation, independence of valuations

Also defines:  equivalence of valuations

This object's parent.

Attachments:
Ostrowski's valuation theorem (Theorem) by pahio
proof of theorem on equivalent valuations (Proof) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: power, positive, iff, metric, Krull valuations, non-archimedean, valuation ring, valuations, imply, easy to see, trivial valuation, field
There are 4 references to this entry.

This is version 15 of equivalent valuations, born on 2004-06-18, modified 2005-03-27.
Object id is 5932, canonical name is EquivalentValuations.
Accessed 3751 times total.

Classification:
AMS MSC13A18 (Commutative rings and algebras :: General commutative ring theory :: Valuations and their generalizations)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)