|
|
| Line 1: |
Line 1: |
| In [[abstract algebra]], a '''Dedekind domain''' or '''Dedekind ring''', named after [[Richard Dedekind]], is an [[integral domain]] in which every nonzero [[proper ideal]] factors into a product of [[prime ideals]]. It can be shown that such a factorization is then necessarily unique up to the order of the factors. There are at least three other characterizations of Dedekind domains which are sometimes taken as the definition: see below.
| | Are you constantly having issues with the PC? Are you always searching for techniques to increase PC performance? Next this might be the article you're shopping for. Here we will discuss a few of the most asked questions whenever it comes to having you PC serve we well; how could I create my computer quicker for free? How to make my computer run faster?<br><br>Carry out window's system restore. It is important to do this because it removes incorrect changes which have happened inside the program. Some of the mistakes outcome from inability of the program to create restore point frequently.<br><br>One of the most overlooked factors a computer usually slow down is because the registry has become corrupt. The registry is essentially the computer's running system. Anytime you're running the computer, entries are being created and deleted from the registry. The impact this has is it leaves false entries in your registry. So, a computer's resources must work about these false entries.<br><br>If you feel we don't have enough money at the time to upgrade, then the greatest option is to free up some room by deleting a few of the unwelcome files plus folders.<br><br>There are a great deal of [http://bestregistrycleanerfix.com/fix-it-utilities fix it utilities] s. Which 1 is the greatest is not simple to be determined. But when we like to stand out 1 among the multitude we should consider certain products. These are features, scanning speed time, total errors detected, total errors repaired, tech help, Boot time performance and price. According to these products Top Registry Cleaner for 2010 is RegCure.<br><br>Reinstall Windows 7 - If nothing appears to function, reinstall Windows 7 with all the installation disc which came with all the pack. Kindly backup or restore all the data to a flash drive or another difficult drive/CD etc. before performing the reinstallation.<br><br>Whenever the registry is corrupt or full of errors, the signs is felt by the computer owner. The slow performance, the frequent system crashes and the nightmare of all computer owners, the blue screen of death.<br><br>Thus, the greatest thing to do when the computer runs slow is to buy an authentic plus legal registry repair tool which would assist we eliminate all problems associated to registry and aid we enjoy a smooth running computer. |
| | |
| A [[field (mathematics)|field]] is a [[commutative ring]] in which there are no nontrivial proper ideals, so that any field is a Dedekind domain, however in a rather vacuous way. Some authors add the requirement that a Dedekind domain not be a field. Many more authors state theorems for Dedekind domains with the implicit proviso that they may require trivial modifications for the case of fields.
| |
| | |
| An immediate consequence of the definition is that every [[principal ideal domain]] (PID) is a Dedekind domain. In fact a Dedekind domain is a [[unique factorization domain]] (UFD) if and only if it is a PID.
| |
| | |
| == The prehistory of Dedekind domains ==
| |
| In the 19th century it became a common technique to gain insight into integral solutions of [[polynomial]] equations (i.e., [[Diophantine equations]]) using rings of [[algebraic number]]s of higher degree. For instance, fix a positive integer <math>m</math>. In the attempt to determine which integers are represented by the quadratic form <math>x^2+my^2</math>, it is natural to factor the quadratic form into <math>(x+\sqrt{-m}y)(x-\sqrt{-m}y)</math>, the factorization taking place in the ring of integers of the quadratic field <math>\mathbb{Q}(\sqrt{-m})</math>. Similarly, for a positive integer <math>n</math> the polynomial <math>z^n-y^n</math> (which is relevant for solving the Fermat equation <math>x^n+y^n = z^n</math>) can be factored over the ring <math>\mathbb{Z}[\zeta_n]</math>, where <math>\zeta_n</math> is a primitive <math>n</math> root of unity.
| |
| | |
| For a few small values of <math>m</math> and <math>n</math> these rings of algebraic integers are PIDs, and this can be seen as an explanation of the classical successes of [[Pierre de Fermat|Fermat]] (<math>m = 1, n = 4</math>) and [[Leonhard Euler|Euler]] (<math>m = 2,3, n = 3</math>). By this time a procedure for determining whether the ring of all [[quadratic integer|algebraic integers]] of a given [[quadratic field]] <math>\mathbb{Q}(\sqrt{D})</math> is a PID was well known to the [[quadratic form]] theorists. Especially, [[Carl Friedrich Gauss|Gauss]] had looked at the case of imaginary quadratic fields: he found exactly nine values of <math>D < 0</math> for which the ring of integers is a PID and conjectured that there are no further values. (Gauss' conjecture was proven more than one hundred years later by [[Kurt Heegner]], [[Alan Baker (mathematician)|Alan Baker]] and [[Harold Stark]].) However, this was understood (only) in the language of [[equivalence class]]es of quadratic forms, so that in particular the analogy between quadratic forms and the Fermat equation seems not to have been perceived. In 1847 [[Gabriel Lamé]] announced a solution of [[Fermat's Last Theorem]] for all <math>n > 2</math> -- i.e., that the Fermat equation has no solutions in nonzero integers, but it turned out that his solution hinged on the assumption that the cyclotomic ring <math>\mathbb{Z}[\zeta_n]</math> is a UFD. [[Ernst Kummer]] had shown three years before that this was not the case already for <math>n = 23</math> (the full, finite list of values for which <math>\mathbb{Z}[\zeta_n]</math> is a UFD is now known). At the same time, Kummer developed powerful new methods to prove Fermat's Last Theorem at least for a large class of prime exponents <math>n</math> using what we now recognize as the fact that the ring <math>\mathbb{Z}[\zeta_n]</math> is a Dedekind domain. In fact Kummer worked not with ideals but with "ideal numbers", and the modern definition of an ideal was given by Dedekind.
| |
| | |
| By the 20th century, algebraists and number theorists had come to realize that the condition of being a PID is rather delicate, whereas the condition of being a Dedekind domain is quite robust. For instance the ring of ordinary integers is a PID, but as seen above the ring <math>\mathcal{O}_K</math> of algebraic integers in a [[number field]] <math>K</math> need not be a PID. In fact, although Gauss also conjectured that there are infinitely many primes <math>p</math> such that the ring of integers of <math>\mathbb{Q}(\sqrt{p})</math> is a PID, to this day we do not even know whether there are infinitely many number fields <math>K</math> (of arbitrary degree) such that <math>\mathcal{O}_K</math> is a PID! On the other hand, the ring of integers in a number field is always a Dedekind domain.
| |
| | |
| Another illustration of the delicate/robust dichotomy is the fact that being a Dedekind domain is, among [[Noetherian domain]]s, a [[local property#Properties of commutative rings|'''local''' property]] -- a Noetherian domain <math>R</math> is Dedekind iff for every [[maximal ideal]] <math>M</math> of <math>R</math> the [[localization of a ring|localization]] <math>R_M</math> is a Dedekind ring. But a [[local ring|local domain]] is a Dedekind ring iff it is a PID iff it is a [[discrete valuation ring]] (DVR), so the same local characterization cannot hold for PIDs: rather, one may say that the concept of a Dedekind ring is the '''globalization''' of that of a DVR.
| |
| | |
| == Alternative definitions ==
| |
| For an [[integral domain]] <math>R</math> which is not a [[field (mathematics)|field]], all of the following conditions are equivalent:
| |
| | |
| (DD1) Every nonzero proper ideal factors into primes.
| |
| | |
| (DD2) <math>R</math> is [[Noetherian ring|Noetherian]], and the localization at each maximal ideal is a Discrete Valuation Ring.
| |
| | |
| (DD3) Every [[fractional ideal]] of <math>R</math> is invertible.
| |
| | |
| (DD4) <math>R</math> is an [[integrally closed domain|integrally closed]], [[Noetherian ring|Noetherian domain]] with [[Krull dimension]] one (i.e., every nonzero prime ideal is maximal).
| |
| | |
| Thus a Dedekind domain is a domain which satisfies any one, and hence all four, of (DD1) through (DD4). Which of these conditions one takes as the definition is therefore merely a matter of taste. In practice, it is often easiest to verify (DD4).
| |
| | |
| A [[Krull domain]] is a higher dimensional analog of a Dedekind domain: a Dedekind domain that is not a field is a Krull domain of dimension 1. This notion can be used to study the various characterizations of a Dedekind domain. In fact, this is the definition of a Dedekind domain used in Bourbaki's "Commutative algebra".
| |
| | |
| A Dedekind domain can also be characterized in terms of homological algebra: an integral domain is a Dedekind domain if and only if it is a [[hereditary ring]]; i.e., every submodule of a projective module over it is projective. Similarly, an integral domain is a Dedekind domain if and only if every divisible module over it is injective.<ref>{{harvnb|Cohn|2003|loc=2.4. Exercise 9}}</ref>
| |
| | |
| == Some examples of Dedekind domains ==
| |
| | |
| All [[principal ideal domain]]s and therefore all [[discrete valuation ring]]s are Dedekind domains.
| |
| | |
| The ring <math>R = \mathcal{O}_K</math> of [[algebraic integers]] in a number field ''K'' is Noetherian, integrally closed, and of dimension one (to see the last property, observe that for any nonzero ideal ''I'' of ''R'', ''R''/''I'' is finite and recall that a finite integral domain is a field), so by (DD4) ''R'' is a Dedekind domain. As above, this includes all the examples considered by Kummer and Dedekind and was the motivating case for the general definition, and these remain among the most studied examples.
| |
| | |
| The other class of Dedekind rings which is arguably of equal importance comes from geometry: let ''C'' be a nonsingular geometrically integral '''[[Affine variety#Affine_varieties|affine]]''' [[algebraic curve]] over a field ''k''. Then the [[coordinate ring]] ''k''[''C''] of regular functions on ''C'' is a Dedekind domain. Indeed, this is essentially an algebraic translation of these geometric terms: the coordinate ring of any affine variety is, by definition, a finitely generated ''k''-algebra, so Noetherian; moreover ''curve'' means ''dimension one'' and ''nonsingular'' implies (and, in dimension one, is equivalent to) ''normal'', which by definition means ''integrally closed''.
| |
| | |
| Both of these constructions can be viewed as special cases of the following basic result:
| |
| | |
| '''Theorem''': Let ''R'' be a Dedekind domain with [[field of fractions|fraction field]] ''K''. Let ''L'' be a finite degree [[field extension]] of ''K'' and denote by ''S'' the [[integral closure]] of ''R'' in ''L''. Then ''S'' is itself a Dedekind domain.<ref>The theorem follows, for instance, from the [[Krull–Akizuki theorem]].</ref>
| |
| | |
| Applying this theorem when ''R'' is itself a PID gives us a way of building Dedekind domains out of PIDs. Taking ''R'' = ''Z'' this construction tells us precisely that rings of integers of number fields are Dedekind domains. Taking ''R'' = ''k''[''t''] gives us the above case of nonsingular affine curves.
| |
| | |
| [[Oscar Zariski|Zariski]] and [[Pierre Samuel|Samuel]] were sufficiently taken by this construction to pose as a question whether every Dedekind domain arises in such a fashion, i.e., by starting with a PID and taking the integral closure in a finite degree field extension.<ref>Zariski and Samuel, p. 284</ref> A surprisingly simple negative answer was given by L. Claborn.<ref>Claborn 1965, Example 1-9</ref>
| |
| | |
| If the situation is as above but the extension ''L'' of ''K'' is algebraic of infinite degree, then it is still possible for the integral closure ''S'' of ''R'' in ''L'' to be a Dedekind domain, but it is not guaranteed. For example, take again ''R'' = ''Z'', ''K'' = ''Q'' and now take ''L'' to be the field <math>\overline{\textbf{Q}}</math> of all [[algebraic number]]s. The integral closure is nothing else than the ring <math>\overline{\textbf{Z}}</math> of all algebraic integers. Since the square root of an algebraic integer is again an algebraic integer, it is not possible to factor any nonzero nonunit algebraic integer into a finite product of irreducible elements, which implies that <math>\overline{\textbf{Z}}</math> is not Noetherian! In general, the integral closure of a Dedekind domain in an infinite algebraic extension is a [[Prüfer domain]]; it turns out that the ring of algebraic integers is slightly more special than this: it is a [[Bézout domain]].
| |
| | |
| == Fractional ideals and the class group ==
| |
| Let ''R'' be an integral domain with fraction field ''K''. A [[fractional ideal]] is a nonzero ''R''-[[submodule]] ''I'' of ''K'' for which there exists a nonzero ''x'' in ''K'' such that <math>xI \subset R.</math>
| |
| | |
| (We remark that this is not exactly the same as the definition given on the page describing fractional ideals: the definition given there is that a fractional ideal is a nonzero finitely generated ''R''-submodule of ''K''. The two definitions are equivalent if and only if ''R'' is Noetherian. Otherwise our definition is strictly weaker, being permissive enough to make all nonzero ''R''-submodules of ''R'' — i.e., integral ideals — fractional ideals.)
| |
| | |
| Given two fractional ideals ''I'' and ''J'', one defines their product ''IJ'' as the set of all finite sums <math> \sum_n i_n j_n, \ i_n \in I, \ j_n \in J </math>: the product ''IJ'' is again a fractional ideal. The set Frac(R) of all fractional ideals endowed with the above product is a commutative semigroup and in fact a monoid: the identity element is the fractional ideal ''R''.
| |
| | |
| For any fractional ideal ''I'', one may define the fractional ideal
| |
| | |
| : <math>I^* = (R:I) = \{x \in K \ | \ xI \subset R\}.</math>
| |
| | |
| One then tautologically has <math>I^*I \subset R</math>. In fact one has equality if and only if ''I'', as an element of the monoid of Frac(R), is invertible. In other words, if ''I'' has any inverse, then the inverse must be <math>I^*</math>.
| |
| | |
| A '''principal fractional ideal''' is one of the form <math>xR</math> for some nonzero ''x'' in ''K''. Note that each principal fractional ideal is invertible, the inverse of <math>xR</math> being simply <math>\frac{1}{x}R</math>. We denote the subgroup of principal fractional ideals by Prin(R).
| |
| | |
| A domain ''R'' is a PID if and only if every fractional ideal is principal. In this case, we have Frac(R) = Prin(R) = <math>K^{\times}/R^{\times}</math>, since two principal fractional ideals <math>xR</math> and <math>yR</math> are equal iff <math>xy^{-1}</math> is a unit in ''R''.
| |
| | |
| For a general domain ''R'', it is meaningful to take the quotient of the monoid Frac(R) of all fractional ideals by the submonoid Prin(R) of principal fractional ideals. However this quotient itself is generally only a monoid. In fact it is easy to see that the class of a fractional ideal I in Frac(R)/Prin(R) is invertible if and only if I itself is invertible.
| |
| | |
| Now we can appreciate (DD3): in a Dedekind domain—and only in a Dedekind domain! -- is every fractional ideal invertible. Thus these are precisely the class of domains for which Frac(R)/Prin(R) forms a group, the [[ideal class group]] Cl(R) of ''R''. This group is trivial if and only if ''R'' is a PID, so can be viewed as quantifying the obstruction to a general Dedekind domain being a PID.
| |
| | |
| We note that for an arbitrary domain one may define the Picard group Pic(R) as the group of invertible fractional ideals Inv(R) modulo the subgroup of principal fractional ideals. For a Dedekind domain this is of course the same as the ideal class group. However, on a more general class of domains—including Noetherian domains and [[Krull domain]]s -- the ideal class group is constructed in a different way, and there is a canonical homomorphism
| |
| | |
| :Pic(R) <math>\rightarrow</math> Cl(R)
| |
| | |
| which is however generally neither injective nor surjective. This is an affine analogue of the distinction between Cartier divisors and Weil divisors on a singular algebraic variety.
| |
| | |
| A remarkable theorem of L. Claborn (Claborn 1966) asserts that for any abelian group ''G'' whatsoever, there exists a Dedekind domain ''R'' whose ideal class group is isomorphic to ''G''. Later, [[Charles Leedham-Green|C.R. Leedham-Green]] showed that such an ''R'' may constructed as the integral closure of a PID in a quadratic field extension (Leedham-Green 1972). In 1976, M. Rosen showed how to realize any countable abelian group as the class group of a Dedekind domain which is a subring of the rational function field of an elliptic curve, and conjectured that such an "elliptic" construction should be possible for a general abelian group (Rosen 1976). Rosen's conjecture was proven in 2008 by P.L. Clark (Clark 2009).
| |
| | |
| In contrast, one of the basic theorems in algebraic number theory asserts that the class group of the ring of integers of a number field is finite; its cardinality is called the [[class number (number theory)|class number]] and it is an important and rather mysterious invariant, notwithstanding the hard work of many leading mathematicians from Gauss to the present day.
| |
| | |
| == Finitely generated modules over a Dedekind domain ==
| |
| | |
| In view of the well known and exceedingly useful [[structure theorem for finitely generated modules over a principal ideal domain]] (PID), it is natural to ask for a corresponding theory for [[finitely generated module]]s over a Dedekind domain.
| |
| | |
| Let us briefly recall the structure theory in the case of a finitely generated module <math>M</math> over a PID <math>R</math>. We define the [[torsion submodule]] <math>T</math> to be the set of elements <math>m</math> of <math>M</math> such that <math>rm = 0</math> for some nonzero <math>r</math> in <math>R</math>. Then:
| |
| | |
| (M1) <math>T</math> can be decomposed into a [[direct sum of modules|direct sum]] of [[cyclic module|cyclic]] torsion modules, each of the form <math>R/I</math> for some nonzero ideal <math>I</math> of <math>R</math>. By the Chinese Remainder Theorem, each <math>R/I</math> can further be decomposed into a direct sum of submodules of the form <math>R/P^i</math>, where <math>P^i</math> is a power of a prime ideal. This decomposition need not be unique, but any two decompositions
| |
| | |
| : <math>T \cong R/P_1^{a_1} \oplus \cdots \oplus R/P_r^{a_r} \cong R/Q_1^{b_1} \oplus \cdots \oplus R/Q_s^{b_s} </math>
| |
| | |
| differ only in the order of the factors.
| |
| | |
| (M2) The torsion submodule is a direct summand: i.e., there exists a complementary submodule <math>P</math> of <math>M</math> such that <math>M = T \oplus P</math>.
| |
| | |
| (M3PID) <math>P</math> isomorphic to <math>R^n</math> for a uniquely determined non-negative integer <math>n</math>. In particular, <math>P</math> is a finitely generated free module.
| |
| | |
| Now let <math>M</math> be a finitely generated module over an arbitrary Dedekind domain <math>R</math>. Then (M1) and (M2) hold verbatim. However, it follows from (M3PID) that a finitely generated torsionfree module <math>P</math> over a PID is free. In particular, it asserts that all fractional ideals are principal, a statement which is false whenever <math>R</math> is not a PID. In other words, the nontriviality of the class group Cl(R) causes (M3PID) to fail. Remarkably, the additional structure in torsionfree finitely generated modules over an arbitrary Dedekind domain is precisely controlled by the class group, as we now explain. Over an arbitrary Dedekind domain one has
| |
| | |
| (M3DD) <math>P</math> is isomorphic to a direct sum of rank one [[projective module]]s: <math>P \cong I_1 \oplus \cdots \oplus I_r</math>. Moreover, for any rank one projective modules <math>I_1,\ldots,I_r,J_1,\ldots,J_s</math>, one has
| |
| | |
| : <math> I_1 \oplus \cdots \oplus I_r \cong J_1 \oplus \cdots \oplus J_s</math>
| |
| | |
| if and only if
| |
| | |
| : <math>r = s</math>
| |
| | |
| and
| |
| | |
| : <math>I_1 \otimes \cdots \otimes I_r \cong J_1 \otimes \cdots \otimes J_s.\,</math>
| |
| | |
| Rank one projective modules can be identified with fractional ideals, and the last condition can be rephrased as
| |
| | |
| : <math> [I_1 \cdots I_r] = [J_1 \cdots J_s] \in Cl(R). </math>
| |
| | |
| Thus a finitely generated torsionfree module of rank <math>n > 0</math> can be expressed as <math>R^{n-1} \oplus I</math>, where <math>I</math> is a rank one projective module. The '''Steinitz class''' for ''P'' over ''R'' is the class <math>[I]</math> of <math>I</math> in Cl(R): it is uniquely determined.<ref name=FT95>Fröhlich & Taylor (1991) p.95</ref> A consequence of this is:
| |
| | |
| Theorem: Let ''R'' be a Dedekind domain. Then <math>K_0(R) \cong \mathbb{Z} \oplus Cl(R)</math>, where K<sub>0</sub>(''R'') is the [[Grothendieck group]] of the commutative monoid of finitely generated projective ''R'' modules.
| |
| | |
| These results were established by [[Ernst Steinitz]] in 1912.
| |
| | |
| == Locally Dedekind rings ==
| |
| | |
| There exist integral domains <math>R</math> which are locally but not globally Dedekind: the localization of <math>R</math> at each maximal ideal is a Dedekind ring (equivalently, a [[discrete valuation ring|DVR]]) but <math>R</math> itself is not Dedekind. As mentioned above, such a ring cannot be Noetherian. It seems that the first examples of such rings were constructed by N. Nakano in 1953. In the literature such rings are sometimes called "proper almost Dedekind rings."
| |
| | |
| ==Notes==
| |
| {{reflist|2}}
| |
| | |
| == References ==
| |
| * {{Citation|last=Bourbaki|first=Nicolas|title=Commutative Algebra|publisher=Addison-Wesley|year=1972}}
| |
| * {{Citation|last=Claborn|first=Luther|title=Dedekind domains and rings of quotients|journal = Pacific J. Math.|volume = 15|year = 1965|pages = 59–64|url=http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.pjm/1102995991}}
| |
| * {{Citation|last=Claborn|first=Luther|title=Every abelian group is a class group|journal = Pacific J. Math.|volume = 18|year = 1966|pages = 219–222|url=http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.pjm/1102994263}}
| |
| * {{Citation|last=Clark|first=Pete L.|title=Elliptic Dedekind domains revisited|journal = L'Enseignement Mathematique|volume = 55| year = 2009 | pages = 213–225 | url=http://math.uga.edu/~pete/ellipticded.pdf}}
| |
| * {{cite book | last=Cohn | first=Paul M. |authorlink=Paul Cohn | title=Further algebra and applications |year=2003 |publisher=Springer |isbn=1-85233-667-6 }}
| |
| * {{citation | last1=Fröhlich | first1=A. | author1-link=Albrecht Fröhlich | last2=Taylor | first2= M.J. | author2-link=Martin J. Taylor | title=Algebraic number theory | series=Cambridge studies in advanced mathematics | volume=27 | publisher=[[Cambridge University Press]] | year=1991 | isbn=0-521-36664-X | zbl=0744.11001 | chapter=II. Dedekind domains | pages=35-101 }}
| |
| * {{Citation|last=Leedham-Green|first=C.R.|title=The class group of Dedekind domains|journal = Trans. Amer. Math. Soc.|volume = 163|year = 1972|pages = 493–500|doi=10.2307/1995734|jstor=1995734}}
| |
| * {{Citation|last=Nakano|first=Noburu|title=Idealtheorie in einem speziellen unendlichen algebraischen Zahlkörper|journal = J. Sci. Hiroshima Univ. Ser. A.|volume = 16|year = 1953|pages = 425–439}}
| |
| * {{Citation|last=Rosen|first=Michael|title=Elliptic curves and Dedekind domains|journal = Proc. Amer. Math. Soc.|volume = 57|year = 1976 | pages = 197–201|doi=10.2307/2041187|jstor=2041187|issue=2}}
| |
| * {{Citation|last=Steinitz|first=E.| authorlink=Ernst Steinitz | title=Rechteckige Systeme und Moduln in algebraischen Zahlkörpern|journal = Math. Ann.|volume = 71|year = 1912| pages = 328–354|doi=10.1007/BF01456849|issue=3}}
| |
| * {{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | last2=Samuel | first2=Pierre | author2-link=Pierre Samuel | title=Commutative Algebra, Volume I | year=1958 | publisher=D. Van Nostrand Company}}
| |
| | |
| ==Further reading==
| |
| * {{citation | last=Edwards | first=Harold M. | title=Divisor theory | location=Boston | publisher=Birkhäuser Verlag | year=1990 | isbn=0-8176-3448-7 | zbl=0689.12001 }}
| |
| | |
| ==External links==
| |
| * {{springer|title=Dedekind ring|id=p/d030550}}
| |
| | |
| {{DEFAULTSORT:Dedekind Domain}}
| |
| [[Category:Commutative algebra]]
| |
| [[Category:Algebraic number theory]]
| |