Photo:1
Photo:2
Photo:3
Photo:4
Photo:1 Photo:2 Photo:3 Photo:4 |
| Examples | |
| 2>
Any field is a valuation ring.
Z(p), the localization of the integers Z at the prime ideal (p), consisting of ratios where the numerator is any integer and the denominator is not divisible by p. The field of fractions is the field of rational numbers Q.
The ring of meromorphic functions on the entire complex plane which have a Maclaurin series (Taylor series expansion at zero) is a valuation ring. The field of fractions are the functions meromorphic on the whole plane. If f does not have a Maclaurin series then 1/f does.
Any ring of p-adic integers Zp for a given prime p is a local ring, with field of fractions the p-adic numbers Qp. The algebraic closure Zpcl of the p-adic integers is also a local ring, with field of fractions Qpcl. Both Zp and Zpcl are valuation rings.
Let k be an ordered field. An element of k is called finite if it lies between two integers n<x<m; otherwise it is called infinite. The set D of finite elements of k is a valuation ring. The set of elements x such that x ∈ D and x−1∉D is the set of infinitesimal elements; and an element x such that x∉D and x−1∈D is called infinite.
The ring F of finite elements of a hyperreal field *R is a valuation ring of *R. F consists of all hyperreal numbers differing from a standard real by an infinitesimal amount, which is equivalent to saying a hyperreal number x such that −n < x < n for some standard integer n. The residue field, finite hyperreal numbers modulo the ideal of infinitesimal hyperreal numbers, is isomorphic to the real numbers.
[edit] Tags:Field,Local Ring,Localization,Meromorphic Functions,Complex Plane,Maclaurin Series,Taylor Series,P-adic Integers,Algebraic Closure,Ordered Field,Hyperreal Field,Residue Field,Field Of Fractions,Valuation, | |
| Definitions | |
| 2>
There are several equivalent definitions of valuation ring. For a subring D of its field of fractions K the following are equivalent:
For every nonzero x in K, either x in D or x−1 in D
The ideals of D are totally ordered by inclusion
The principal ideals of D are totally ordered by inclusion
There is a totally ordered abelian group G (called the value group) and a surjective group homomorphism (called the valuation) ν:K×→G with D = { x in K : ν(x) ≥ 0 } ∪ {0}
The equivalence of the first three definitions follows easily. A theorem of (Krull 1939) states that any ring satisfying the first three conditions satisfies the fourth: take G to be the quotient K×/D× of the unit group of K by the unit group of D, and take ν to be the natural projection. Even further, given any totally ordered abelian group G, there is a valuation ring D with value group G.
Very rarely, valuation ring may refer to a ring that satisfies the second or third condition but is not necessarily a domain. A more common term for this type of ring is "uniserial ring".
[edit] Tags:Ideals,Totally Ordered,Unit Group,Uniserial Ring,Group,Group Homomorphism, | |
| Units and maximal ideals | |
| 2>
The units, or invertible elements, of a valuation ring are the elements x such that x −1 is also a member of D. The other elements of D, called nonunits, do not have an inverse, and they form an ideal M. This ideal is maximal among the (totally ordered) ideals of D. Since M is a maximal ideal, the quotient ring D/M is a field, called the residue field of D.
[edit] Tags:Maximal Ideal,Quotient Ring, | |
| Value group | |
| 2>
The units D* of D comprise a group under multiplication, which is a subgroup of the units F* of F, the nonzero elements of F. These are both abelian groups, and we can define the quotient group V = F*/D*, which is the value group of D. Hence, we have a group homomorphism ν from F* to the value group V. It is customary to write the group operation in V as +.
We can turn V into a totally ordered group by declaring the residue classes of elements of D as "positive". More precisely, V is totally ordered by defining if and only if where [x] and [y] are equivalence classes in V.
[edit] Tags:Subgroup,Abelian Groups,Quotient Group, | |
| Valuation | |
| 3>
We add to V the special value ∞, defined to be larger than any other element of V, and such that x+∞ = ∞ for all x. If we then define ν(0) = ∞, i.e., making zero larger in value than anything else, we have the following properties:
ν(x) = ∞ if and only if x=0
ν(xy) = ν(x) + ν(y)
ν(x+y) ≥ min(ν(x), ν(y))
These are precisely the properties of a valuation, and the study of valuations is essentially the study of valuation rings.
[edit] Tags: | |
| Construction | |
| 3>
For a given totally ordered abelian group G and a residue field k, define K = k((G)) to be the ring of formal power series whose powers come from G, that is, the elements of K are functions from G to k such that the support (the elements of G where the function value is not the zero of k) of each function is a well-ordered subset of G. Addition is pointwise, and multiplication is the Cauchy product or convolution, that is the natural operation when viewing the functions as power series:
with
The valuation ν(f) for f in K is defined to be the least element of the support of f, that is the least element g of G such that f(g) is nonzero. The f with ν(f)≥0 (along with 0 in K), form a subring D of K that is a valuation ring with value group G, valuation ν, and residue field k. This construction is detailed in (Fuchs & Salce 2001, pp. 66–67), and follows a construction of (Krull 1939) which uses quotients of polynomials instead of power series.
[edit] Tags:Ring Of Formal Power Series,Support,Well-ordered, | |
| Height of a value group | |
| 3>
If G is a totally ordered group, a subgroup U of G is called an isolated subgroup of G if 0 ≤ y ≤ x and x ∈ U implies y ∈ U. The set of isolated subgroups is totally ordered by inclusion. The height or rank r(V) of V is defined to be the cardinality of the set of proper isolated subgroups of V. The most important special case is height one, which is equivalent to V being a subgroup of the real numbers under addition (or equivalently, of the positive real numbers under multiplication.) A value ring with a valuation of height one has a corresponding absolute value defining an ultrametric place. There is a correspondence of the isolated proper subgroups of the value group of a valuation and the prime ideals of the valuation ring. This implies that a valuation ring is discrete if and only if it is Noetherian.
The rational rank rr(V) is defined as the rank of the value group as an abelian group
.
[edit] Tags:Cardinality,Absolute Value,Ultrametric, | |
| Integral closure | |
| 2>
A valuation ring is always integrally closed. Here, an integral domain D which is integrally closed in its field of fractions is said to be integrally closed. This means that if a member x of the field of fractions F of D satisfies an equation of the form xn + a1xn−1 + ... + a0 = 0, where the coefficients ai are elements of D, then x is in D.
To see that valuation rings are integrally closed, suppose that xn + a1xn − 1 + ... + a0 = 0. Then dividing by xn−1 gives us x = − a1 − ... − a0x − n + 1. If x were not in D, then x -1 would be in D and this would express x as a finite sum of elements in D, so that x would be in D, a contradiction.
[edit] Tags:Integral Domain, | |
| Principal ideal domains | |
| 2>
A principal ideal domain, or PID, is an integral domain in which every ideal is a principal ideal. A PID with only one non-zero maximal ideal is called a discrete valuation ring, or DVR, and every discrete valuation ring is a valuation ring. A valuation ring is a PID if and only if it is a DVR or a field. A value group is called discrete if and only if it is isomorphic to the additive group of the integers, and a valuation ring has a discrete valuation group if and only if it is a discrete valuation ring.
[edit] Tags:Principal Ideal Domain, | |
| References | |
| 2>
Nicolas Bourbaki, Commutative Algebra, Addison-Wesley, 1972
Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, 84, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1963-0, MR1794715
Krull, Wolfgang (1939), "Beiträge zur Arithmetik kommutativer Integritätsbereiche. VI. Der allgemeine Diskriminantensatz. Unverzweigte Ringerweiterungen", Mathematische Zeitschrift 45 (1): 1–19, doi:10.1007/BF01580269, ISSN 0025-5874, MR1545800
Retrieved from "http://en.wikipedia.org/w/index.php?title=Valuation_ring&oldid=474235638"
Categories: Field theoryCommutative algebraRing theoryLocalization (mathematics)
Personal tools
Log in / create account
Namespaces
Article
Talk
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Toolbox
What links here
Related changes
Upload file
Special pages
Permanent link
Cite this page
Print/export
Create a bookDownload as PDFPrintable version
Languages
Français
Nederlands
ä¸æ–‡
This page was last modified on 31 January 2012 at 16:45.
Text is available under the Creative Commons Attribution-ShareAlike License;
additional terms may apply.
See Terms of use for details.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.Contact us
Privacy policy
About Wikipedia
Disclaimers
Mobile view
if ( window.isMSIE55 ) fixalpha();
if ( window.mediaWiki ) {
mw.loader.load(["mediawiki.user", "mediawiki.util", "mediawiki.page.ready", "mediawiki.legacy.wikibits", "mediawiki.legacy.ajax", "mediawiki.legacy.mwsuggest", "ext.gadget.wmfFR2011Style", "ext.vector.collapsibleNav", "ext.vector.collapsibleTabs", "ext.vector.editWarning", "ext.vector.simpleSearch", "ext.UserBuckets", "ext.articleFeedback.startup", "ext.articleFeedbackv5.startup", "ext.markAsHelpful"]);
}
if ( window.mediaWiki ) {
mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":1,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"highlightbroken":1,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":false,"showjumplinks":1,"shownumberswatching":1,"showtoc":1,"showtoolbar":1,"skin":"vector","stubthreshold":0,"thumbsize":4,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":1,"watchdefault":0,"watchdeletion":0,"watchlistdays":3,"watchlisthideanons":0,
"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"flaggedrevssimpleui":1,"flaggedrevsstable":0,"flaggedrevseditdiffs":true,"flaggedrevsviewdiffs":false,"vector-simplesearch":1,"useeditwarning":1,"vector-collapsiblenav":1,"usebetatoolbar":1,"usebetatoolbar-cgd":1,"wikilove-enabled":1,"variant":"en","language":"en","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"searchNs100":false,"searchNs101":false,"searchNs108":false,"searchNs109":false,"gadget-wmfFR2011Style":1});;mw.user.tokens.set({"editToken":"+\\","watchToken":false});;mw.loader.state({"user.options":"ready","user.tokens":"ready"});
/* cache key: enwiki:resourceloader:filter:minify-js:4:b41a86ec4e0fe8329bc3ce917e792339 */
}
Tags: | |
z³ote monety |