Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeJul 13th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexthe entry _[[valuation]]_ would deserve more clarification on that issue alluded to under "Sometimes one also..." and where the min-style definition appears the max-style definition should also appear. The entry should say that at least with some qualification added, then a valued field is a normed field with multiplicative norm. -- Or should it be semi-normed? I could fiddle with it, but I feel I don't quite get why the terminology here is so non-uniform that I am afraid I am missing something and maybe a more expert person should help. In [Scholze 11, remark 2.3](http://ncatlab.org/nlab/show/perfectoid+space#Scholze11) is a useful comment: > The term valuation is somewhat unfortunate: If $\Gamma = \mathbb{R}_{\geq 0}$, then this would usually be called a seminorm, and the term valuation would be used for (a constant multiple of) the map $x \mapsto - log {\vert x \vert}$. On the other hand, the term higher-rank norm is much less commonly used than the term higher-rank valuation.

   the entry valuation would deserve more clarification on that issue alluded to under “Sometimes one also…” and where the min-style definition appears the max-style definition should also appear.

   The entry should say that at least with some qualification added, then a valued field is a normed field with multiplicative norm. – Or should it be semi-normed?

   I could fiddle with it, but I feel I don’t quite get why the terminology here is so non-uniform that I am afraid I am missing something and maybe a more expert person should help.

   In Scholze 11, remark 2.3 is a useful comment:

   The term valuation is somewhat unfortunate: If $\Gamma = \mathbb{R}_{\geq 0}$, then this would usually be called a seminorm, and the term valuation would be used for (a constant multiple of) the map $x \mapsto - log {\vert x \vert}$. On the other hand, the term higher-rank norm is much less commonly used than the term higher-rank valuation.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJul 13th 2014
   • (edited Jul 13th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexAh, now I remember that the entry _[[absolute value]]_ was supposed to take care of this. We need to think about what to do here. The entry _[[absolute value]]_ declares that it discusses what is commonly called just "valuation", but that convention is hard to maintain throughout the nLab. I think we should merge the entries "valuation" and "absolute value" to a single entry that starts out clearly saying that there is a more restrictive and a more general sense of the term "valuation", then first discusses the more restrictive sense and then the more general sense. Or something like this. Does anyone feel like doing the required clean-up here?

   Ah, now I remember that the entry absolute value was supposed to take care of this.

   We need to think about what to do here. The entry absolute value declares that it discusses what is commonly called just “valuation”, but that convention is hard to maintain throughout the nLab.

   I think we should merge the entries “valuation” and “absolute value” to a single entry that starts out clearly saying that there is a more restrictive and a more general sense of the term “valuation”, then first discusses the more restrictive sense and then the more general sense.

   Or something like this. Does anyone feel like doing the required clean-up here?

3. • CommentRowNumber3.
   • CommentAuthorzskoda
   • CommentTimeJul 14th 2014
   • (edited Jul 14th 2014)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI would keep two entries 1. there is also more than one notion of absolute value, and not all such notions are commonly called valuations... 2. it is not only that valuation can be more restrictive and less restrictive but that two different notions are called valuation just because roughly exponentiation can make one into another (but only in a subset of cases). 3. the [[absolute value]] entry is in quite good condition and I would not like to mess it with valuation entry You call wikipedia succinct as it chose only one of the two kinds.Neglecting complexity makes things simpler isn't it ? I prefer that the explicit value statements are not in nLab entries.

   I would keep two entries

   1. there is also more than one notion of absolute value, and not all such notions are commonly called valuations…

   2. it is not only that valuation can be more restrictive and less restrictive but that two different notions are called valuation just because roughly exponentiation can make one into another (but only in a subset of cases).

   3. the absolute value entry is in quite good condition and I would not like to mess it with valuation entry

   You call wikipedia succinct as it chose only one of the two kinds.Neglecting complexity makes things simpler isn’t it ? I prefer that the explicit value statements are not in nLab entries.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeNov 3rd 2017
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI added to [[valuation]] some mention of the valuation ring, valuation ideal, and valuation uniformity, as well as some examples.

   I added to valuation some mention of the valuation ring, valuation ideal, and valuation uniformity, as well as some examples.