# Talk:Ostrowski's theorem

WikiProject Mathematics (Rated Start-class, Low-importance)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Low Importance
Field: Number theory

The definition of equivalence of absolute values as given here doesn't seem to go very well with the definition given on Norm_(mathematics). Ncik 00:49, 13 December 2005 (UTC)

I think that's because they're not the same thing. A norm is a function on a VS, and it depends on an absolute value on the field for it's definition. Sometimes one has a field extension L/K and one has an absolute value (A) on K and an absolute value (B) on L which agrees with (A) where they are both defined, i.e. on K. Then (B) will certainly be a norm on L, considered as a vector space over (K,(A)). But in general they are not comparable, and I think that's why the equivalence relation on norms doesn't look like the equivalence relation on absolute values. Please correct me if I'm wrong. Owen Jones 12:29, 2 April 2006 (UTC)

Since the only field extensions of the real numbers are the real numbers and the complex numbers - this is wrong, e.g., R(T). Also, the theorem that the only complete Archimedean valued fields are R and C cannot easily be deduced from the theorem here, but is an interesting theorem in its own right.--128.176.188.101 16:04, 27 June 2007 (UTC)

## Topological isomorphism

I removed a sentence This is stronger than saying that the two absolute-value structures are topologically isomorphic. It seems unclear exactly what this is supposed to mean. Are there in fact valued fields that are homeomorphic but for which the valuations are inequivalent? Ostrowki's theorem implies that this is not in fact the case for Q. In any event, a reference to a reliable source is needed. Deltahedron (talk) 08:05, 21 August 2012 (UTC)

## |a|∞ or |a|∗?

I wiped [1] out. | a | is a perfectly standard notation, and Wikipedia does not want various originalities with asterisks. Especially if such originalities embed mathmode into section headers that leads to glitches. Especially if one does so because is not skilled enough to make subscripts with HTML. Incnis Mrsi (talk) 15:11, 11 February 2014 (UTC)

You have not addressed why you believe what I changed is not a mistake in the logical progression of the proof - did you even check? Notwithstanding that, let me justify them in turn:
1. To change |a| to |a|∗∗ at the end of the first paragraph: this is a mistake - read the logical progression here, we are trying to justify only considering integers - facts about the real absolute value do not come into it at this section.
2. In the bolded section, I changed |n| > 1 to |n| > 1: again, this is a mistake, |n| doesn't mean anything, just read through the proof! The absolute values that we are considering in the proof are |n|,|n|,|n|∗∗.
3. I changed to latex in the bolded part: this was a typographical thing, I don't really care if you revert this, but if you are going to revert it at least make it accurate - i.e. change the |n| > 1 to |n|>1.
RubberTyres (talk) 16:25, 11 February 2014 (UTC)
Yes, I realized you merely tried to uphold a consistency of notation. My [rollback] button pushing was silly. Are you satisfied with [2]? In any case I have one more question. Incnis Mrsi (talk) 17:33, 11 February 2014 (UTC)
I also made several unrelated tweaks. For example, I strongly disliked “normal absolute value” and replaced it with “standard absolute value”. Does anybody object? Incnis Mrsi (talk) 17:46, 11 February 2014 (UTC)
That seems fine to me. RubberTyres (talk) 17:51, 11 February 2014 (UTC)

## |n|∗ and |n|∗∗

I fail to understand

Is “for if” a correct grammar? Why should we find certain c? How this long exercise with cth power of non-negative rational numbers is related to further proof? Incnis Mrsi (talk) 17:33, 11 February 2014 (UTC)

We should find a certain c, because that is the definition of equivalent absolute values. That is, an absolute value |.| is equivalent to an absolute value |.|∗∗ if and only if there exists a positive real number c such that |n| = |n|c∗∗ for all values of n. This `long exercise' means that we may assume that we are proving the theorem over the positive natural numbers greater than 1, even though the theorem is a statement about all rational numbers - this exercise shows us that if we prove it for positive natural numbers greater than 1, then it also holds over the rational numbers - in effect, it simplifies the proof significantly. I can't comment about the for if, I was never very good when it came to grammar, I think it might be okay though. RubberTyres (talk) 17:51, 11 February 2014 (UTC)