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] proof of theorem on equivalent valuations (Proof)

It is easy to see that $| \cdot |$ and $| \cdot |^c$ are equivalent valuations for any constant $c > 0$ -- it follows from the fact that $0 \le x^c < 1$ if and only if $0 < x \le 1$

Assume that the valuations $| \cdot |_1$ and $| \cdot |_2$ are equivalent. Let $b$ be an element of $K$ such that $0 < |b|_1 < 1$ Because the valuations are assumed to be equivalent, it is also the case that $0 < |b|_2 < 1$ Hence, there must exist positive constants $c_1$ and $c_2$ such that $|b|_1^{c_1} = {1 \over 2}$ and $|b|_2^{c_2} = {1 \over 2}$

We will show that show that $| x |_1^{c_1} = | x |_2^{c_2}$ for all $a \in K$ by contradiction.

Let $a$ be any element of $k$ such that $0 < |a|_1 < 1$ Assume that $| a |_1^{c_1} \neq | a |_2^{c_2}$ Then either $| a |_1^{c_1} < | a |_2^{c_2}$ or $| a |_1^{c_1} > | a |_2^{c_2}$ We may assume that $| a |_1^{c_1} < | a |_2^{c_2}$ without loss of generality.

Since $| a |_2^{c_2} / | a |_1^{c_1} > 1$ there exists an integer $m > 0$ such that $(| a |_2^{c_2} / | a |_1^{c_1})^m > 2$ Let $n$ be the least integer such that $2^n |a|_2^{m c_2} > 1$ Then we have $$2^n |a|_1^{m c_1} < 2^{n-1} |a|_2^{m c_2} < 1 < 2^n |a|_2^{m c_2}.$$ Since $2 = |b^{-1}|_1^{c_1} = |b^{-1}|_2^{c_2}$ this implies that $$\left| {a^m \over b^n} \right|_1^{c_1} < 1 < \left| {a^m \over b^n} \right|_2^{c_2},$$ but then $$\left| {a^m \over b^n} \right|_1 < 1$$ and $$\left| {a^m \over b^n} \right|_2 > 1,$$ which is impossible because the two valuations are assumed to be equivalent.

Q.E.D




"proof of theorem on equivalent valuations" is owned by rspuzio.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: implies, integer, without loss of generality, contradiction, positive, equivalent, valuations, equivalent valuations, easy to see

This is version 9 of proof of theorem on equivalent valuations, born on 2005-01-03, modified 2005-02-14.
Object id is 6616, canonical name is ProofOfTheoremOnEquivalentValuations.
Accessed 1069 times total.

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

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

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