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] Ostrowski's valuation theorem (Theorem)

The field of rational numbers has no other non-equivalent valuations than

Note. Any valuation $|\cdot|$ of the field $\mathbb{Q}$ defines a metric $d(x,\,y) = |x-y|$ in the field, but $\mathbb{Q}$ is complete only with respect to (the ``trivial metric'' defined by) the trivial valuation. The field has the proper completions with respect to its other valuations: the field of reals $\mathbb{R}$ and the fields $\mathbb{Q}_p$ of $p$ -adic numbers; cf. also $p$ -adic canonical form.




"Ostrowski's valuation theorem" is owned by pahio.
(view preamble | get metadata)

View style:


This object's parent.

Attachments:
p-adic valuation (Definition) by pahio
non-isomorphic completions of $\mathbb{Q}$ (Theorem) by pahio
proof of Ostrowski's valuation theorem (Proof) by rm50
Log in to rate this entry.
(view current ratings)

Cross-references: reals, completions, metric, primes, positive, complex modulus, trivial valuation, valuations, rational numbers, field

This is version 6 of Ostrowski's valuation theorem, born on 2005-01-03, modified 2005-01-26.
Object id is 6613, canonical name is OstrowskisValuationTheorem.
Accessed 1671 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 | prove | add result | add corollary | add example | add (any)