Editing Talk:Valuation (algebra)

{{WikiProject banner shell|class=B|
{{WikiProject Mathematics| importance = low }}
}}

==Untitled==
The concept described in http://planetmath.org/encyclopedia/Valuation.html seems to be closely related, but I think neither is a special case of the other. Is the PlanetMath version used much, should we mention it? They claim that their valuations are used to define general primes in arbitrary fields. [[User:AxelBoldt|AxelBoldt]] 16:41, 18 June 2004 (UTC)

:PlanetMath is not defining the standard concept of valuation, but one I have stumbled upon some times with which I am not quite familiar and which I ''tend to distrust'' as it includes only a subset of what we call here "valuations" (and includes any kind of ''metric''). I am not aware whether in fact what PMath calls ''valuation'' is strictly speaking known as ''valuation'' generally. What they call "non-archimedian" valuations are a small family of valuations in "our" sense. It may be worth mentioning it, but I am not an expert ''in that part of the concept''.

:Just in case: the fact that ''I'' have an opinion shows only that I have one, as any other contributor. [[User:Pfortuny|Pfortuny]] 20:14, 18 June 2004 (UTC)

::The PM definition might be enough in some 'one-dimensional' contexts - [[algebraic number field]]s, [[algebraic curve]]s. Things get a bit more serious ... The Soviet encyclopedia seems to agree with WP on this.

::[[User:Charles Matthews|Charles Matthews]] 20:24, 18 June 2004 (UTC)

:::Let's go with the Soviets then :-) I think the PM contributor is an algebraic number field kind of guy, and in that context the two concepts are probably closely related if not equivalent. Presumably, they like to say that the reals and the ''p''-adic numbers are the completions of '''Q''' with respect to all its valuations.

:::Our valuations do not seem to turn the field into a topological field though, do they? [[User:AxelBoldt|AxelBoldt]] 08:55, 20 June 2004 (UTC)

::::I've remembered... Let <math>\nu:K\rightarrow \Gamma</math> be a valuation with <math>\Gamma\subset\mathbb{R}</math>. Then you can define:

:::::<math>\vert x \vert = \frac{1}{2^{\nu(x)}}</math>

::::(with <math>\vert 0 \vert := 0</math>) and get a ''nonarchimedian valuation'' (if I recall well it is always nonarchimedian) in PM's sense. But you lose the richness of valuations with $\Gamma$ very big (for example, most valuations on function fields of varieties of dimension greater than 1). 

::::You get the topological field using the distance induced by that ''modulus''. Easily, you ''cannot'' do that if the value group is not a subset of the reals.

::::I hope I am not completely misled :) [[User:Pfortuny|Pfortuny]] 10:29, 20 June 2004 (UTC)

:::::I've attempted to introduce the notions of equivalence and "places" here, but the reference that I was using only referred to the number field case, so take it with a grain of salt.  What is the correct definition of equivalence of valuations that includes both group and number field cases? - [[User:Gauge|Gauge]] 07:33, 15 May 2005 (UTC)

::::::The code was looking horrendous, so I cleaned it up a bit.  From what I understand of wikipedia standards, only function and variable names should be italicized (in particular, parentheses shouldn't!)  - [[User:Gauge|Gauge]] 22:53, 19 June 2005 (UTC)

:::::::I have started an extensive clean up of this voice, but I am not an algebraist, nor a logician: the contents surely need a check. [[User:Daniele.tampieri|Daniele.tampieri]] 23:07, 1 December 2006 (UTC)

== Clean up ==
Planetmath disagree with J.P.Serre, A.Weyl and S.Lang and also with Bourbaki ('though the last is manly 25 years old memory).
In facts: 
# Planetmath defines a [[Norm_(mathematics)|norm]] or an [[absolute value#Fields and rings|absolute value]].
# Defining |x|=e<sup>-v(x)</sup> defines an equivalence between absolute values and valuations so the two theories are equivalents, with a difference on focus.
# Absolute value satisfies the [[triangular inequality]] (|x+y|≤|x|+|y| <=> the side of a triangle is less (or equal) than the sum of the two others <=> the straight line is the shortest path). In that case, the space is [[metric (mathematics)|metric]], meaning |x-y| is a distance measure compatible with the algebraic structure.
# Valuations have a different purpose. They generalize the concept of multiplicity and are also used for classification.
# Valuations satisfies the [[ultrametric inequality]] (|x+y|≤max(|x|,|y|) <=> the multiplicty of a sum is not greater than the mutiplicty of each summand). The ultramertic inequality is stronger than the triangular, so the space with a valuation are metric, hence their name "ultrametric".
# In a ultrametric space, if two circles intersects then one contains the other. Therefore, the set of circles |x|<r defines a well behaved classifying tree like the directories in file system on computers). 
# A field with a ultrametric absolute value is often called non-archimedean. This causes a little bit of a confusion with [[archimedean field|archimedean]] ordered field, that is a field in which every element ''x'' is finite, meaning ''x''<''n'' for an integer ''n''.
# The two notions are not equivalent. For example, the field of [[surreal_number]] has an archimedean (non-ultrametric) absolute value but is non-archimedean as an ordered field. The absolute value of infinite elements are not real but in an extension of 'R'. 
# However, there is a canonical way of building a valuation on a ordered field (c.f. E. Artin, although he do not claim to be the inventor). This valuation is always non-archimedean (ultramatric). And the ordered field is archimedean (has no infinte elements) if and only if the valuation is trivial.
[[User:AlainD|AlainD]] ([[User talk:AlainD|talk]]) 18:36, 8 February 2007 (UTC)

== Questions ==
# Regarding the pi-adic valuation in the examples, do we really need the condition that R is a principal ideal domain? Shouldn't a unique factorization domain be sufficient?  <span style="font-size: smaller;" class="autosigned">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/131.246.164.32|131.246.164.32]] ([[User talk:131.246.164.32|talk]]) 10:22, 29 November 2011 (UTC)</span><!-- Template:Unsigned IP --> <!--Autosigned by SineBot-->

== Section "geometric notion of contact" ==

I have removed said section due to errors. The described function was not a valuation, e.g. v_h(h)=\infty. The correct way to do what was intended is via a rank 2 valuation. I might write a corrected version if I get around to it.
[[User:Sloth sisyphos|Sloth sisyphos]] ([[User talk:Sloth sisyphos|talk]]) 11:35, 14 December 2021 (UTC)

== "Krull valuation" listed at [[Wikipedia:Redirects for discussion|Redirects for discussion]] ==
[[File:Information.svg|30px]]
An editor has identified a potential problem with the redirect [[:Krull valuation]] and has thus listed it [[Wikipedia:Redirects for discussion|for discussion]]. This discussion is at [[Wikipedia:Redirects for discussion/Log/2022 July 12#Krull valuation]] until a consensus is reached, and readers of this page are welcome to contribute to the discussion.<span style="font-family:Segoe Script">[[User:Jay| Jay]]</span> [[User talk:Jay|(''talk'')]] 16:27, 18 July 2022 (UTC)
:The discussion has been relisted at [[Wikipedia:Redirects for discussion/Log/2022 July 18#Krull valuation]]. [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 21:12, 18 July 2022 (UTC)

== Proposed merge of [[Discrete valuation]] into [[Valuation (algebra)]] ==

This article essentially duplicates the one on general valuations, and that article also has more examples on the topic (in fact, all examples presented there, apart from a sentence on <math>\C_p</math> that I added, are on discrete valuations). Better to have more content in one place, since [[Discrete valuation ring]] and [[Absolute value (algebra)]] are additional closely adjacent topics. [[User:1234qwer1234qwer4|1234qwer]][[User talk:1234qwer1234qwer4|1234qwer]][[Special:Contribs/1234qwer1234qwer4|4]] 11:36, 12 February 2026 (UTC)

:'''Support'''. Yes, that seems sensible. Since the discrete case is the main case, I don't see the point of a separate article only for the discrete case. -- [[User:TakuyaMurata|Taku]] ([[User talk:TakuyaMurata|talk]]) 08:15, 25 February 2026 (UTC)]