Harmonic function: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Gabbe
replaced hyphens (-) with en dashes (–) per WP:ENDASH
 
Line 1: Line 1:
W przeszłym okresie jeszcze głośniej jest w sektorze o prekursorskich technikach Rapid Prototyping. Dlaczego nagłe prototypowanie staje się aż tak modne? Ponieważ jego wyeksploatowanie owe niebanalna ekonomizacja okresu natomiast pieniędzmi. Jak to możliwe?<br><br>Po pierwsze, użycie tej techniki wykonywa, iż słusznie zarazy po zakończeniu fazy planowania możemy przystąpić do wykonania dojrzałego wzrokowo towaru. Po pozostałe, technika kasuje nieodzowność wykorzystania urządzeń CNC, które w rezultacie są wartościowe natomiast czasochłonne. Po trzecie, Rapid Prototyping pozwoli nam przestawienie facetowi zdecydowanego naocznie a wyniku. ORAZ jeszcze jedna istotna zaleta, technika ta zapewnia nam możliwość natychmiastowego oraz giętkiego zweryfikowania błędów konstrukcyjno- naocznych, co same aprobuje zaoszczędzić okres a pieniądze.<br><br>My web blog [http://szybkieprototypowanie.blox.pl/html szybkie prototypy]
{{mergefrom|Height (ring theory)|date=July 2013}}
In [[commutative algebra]], the '''Krull dimension''' of a [[commutative ring]] ''R'', named after [[Wolfgang Krull]], is the supremum of the lengths of all chains of [[prime ideals]]. The Krull dimension need not be finite even for a [[Noetherian ring]]. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the [[deviation of a poset|deviation]] of the poset of submodules.
 
The Krull dimension has been introduced to provide an algebraic definition of the [[dimension of an algebraic variety]]: the dimension of the [[affine variety]] defined by an ideal ''I'' in a [[polynomial ring]] ''R'' is the Krull dimension of ''R''/''I''.
 
A field ''k'' has Krull dimension 0; more generally, ''k''[''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>] has Krull dimension ''n''. A [[principal ideal domain]] that is not a field has Krull dimension 1. A [[local ring]] has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent.
 
== Explanation ==
We say that a chain of prime ideals of the form
<math>\mathfrak{p}_0\subsetneq \mathfrak{p}_1\subsetneq \ldots \subsetneq \mathfrak{p}_n</math>
has '''length n'''. That is, the length is the number of strict inclusions, not the number of primes; these differ by 1. We define the '''Krull dimension''' of <math>R</math> to be the supremum of the lengths of all chains of prime ideals in <math>R</math>. 
 
Given a prime <math>\mathfrak{p}</math> in ''R'', we define the '''[[height (ring theory)|height]]''' of <math>\mathfrak{p}</math>, written <math>\operatorname{ht}(\mathfrak{p})</math>, to be the supremum of the lengths of all chains of prime ideals contained in <math>\mathfrak{p}</math>, meaning that <math>\mathfrak{p}_0\subsetneq \mathfrak{p}_1\subsetneq \ldots \subsetneq \mathfrak{p}_n\subseteq \mathfrak{p}</math>. In other words, the height of <math>\mathfrak{p}</math> is the Krull dimension of the [[localization of a ring|localization]] of ''R'' at <math>\mathfrak{p}</math>. A prime ideal has height zero if and only if it is a [[minimal prime ideal]]. The Krull dimension of a ring is the supremum of the heights of all maximal ideals, or those of all prime ideals.
 
In a Noetherian ring, every prime ideal has finite height. Nonetheless,
Nagata gave an example of a Noetherian ring of infinite Krull dimension.<ref>Eisenbud, D. ''Commutative Algebra'' (1995). Springer, Berlin. Exercise 9.6.</ref> A ring is called '''[[catenary ring|catenary]]''' if any inclusion <math>\mathfrak{p}\subset \mathfrak{q}</math> of prime ideals can be extended to a maximal chain of prime ideals between <math>\mathfrak{p}</math> and <math>\mathfrak{q}</math>, and any two maximal chains between <math>\mathfrak{p}</math>
and <math>\mathfrak{q}</math> have the same length. Nagata gave an example of a Noetherian ring which is not catenary.<ref>Matsumura, H. ''Commutative Algebra'' (1970). Benjamin, New York. Example 14.E.</ref>
 
==Krull dimension and schemes==
 
It follows readily from the definition of the [[spectrum of a ring]] Spec(''R''), the space of prime ideals of ''R'' equipped with the Zariski topology, that the Krull dimension of ''R'' is equal to the dimension of its spectrum as a topological space, meaning the supremum of the lengths of all chains of irreducible closed subsets.  This follows immediately from the [[Galois connection]] between ideals of ''R'' and closed subsets of Spec(''R'') and the observation that, by the definition of Spec(''R''), each prime ideal <math>\mathfrak{p}</math> of ''R'' corresponds to a generic point of the closed subset associated to <math>\mathfrak{p}</math> by the Galois connection.
 
==Examples==
 
* The dimension of a [[polynomial ring]] over a field ''k''[''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>] is the number of variables ''n''. In the language of [[algebraic geometry]], this says that the affine space of dimension ''n'' over a field has dimension ''n'', as expected. In general, if ''R'' is a [[Noetherian ring|Noetherian]] ring of dimension ''n'', then the dimension of ''R''[''x''] is  ''n'' + 1. If the Noetherian hypothesis is dropped, then ''R''[''x''] can have dimension anywhere between ''n'' + 1 and 2''n'' + 1.
 
* The ring of integers '''Z''' has dimension 1. More generally, any [[principal ideal domain]] that is not a field has dimension 1.
 
* An [[integral domain]] is a field if and only if its Krull dimension is zero. [[Dedekind domain]]s that are not fields (for example, [[discrete valuation ring]]s) have dimension one. A [[Noetherian ring|Noetherian]] ring is [[Artinian ring|Artinian]] if and only if its Krull dimension is 0.
 
* An [[integral extension]] of a ring has the same dimension as the ring does.
 
* Let ''R'' be an algebra over a field ''k'' that is an integral domain. Then the Krull dimension of ''R'' is less than or equal to the transcendence degree of the field of fractions of ''R'' over ''k''.<ref>http://mathoverflow.net/questions/79959/krull-dimension-transcendence-degree</ref> The equality holds if ''R'' is finitely generated as algebra (for instance by the [[noether normalization lemma]]).
 
* Let ''R'' be a noetherian ring, ''I'' an ideal and <math>\operatorname{gr}_I(R) = \oplus_0^\infty I^k/I^{k+1}</math> be the [[associated graded ring]] (geometers call it the ring of the [[normal cone]] of ''I''.) Then <math>\operatorname{dim} \operatorname{gr}_I(R)</math> is the supremum of the heights of maximal ideals of ''R'' containing ''I''.<ref>{{harvnb|Eisenbud|2004|loc=Exercise 13.8}}</ref>
 
* A Noetherian local ring is called a [[Cohen–Macaulay ring]] if its dimension is equal to its [[Depth (ring theory)|depth]]. A [[regular local ring]] is an example of such a ring.
 
==Krull dimension of a module==
 
If ''R'' is a commutative ring, and ''M'' is an ''R''-module, we define the Krull dimension of ''M'' to be the Krull dimension of the quotient of ''R'' making ''M'' a [[faithful module]].  That is, we define it by the formula:
 
:<math>\operatorname{dim}_R M := \operatorname{dim}( R/\operatorname{Ann}_R(M))</math>
 
where Ann<sub>''R''</sub>(''M''), the [[annihilator (ring theory)|annihilator]], is the kernel of the natural map R → End<sub>''R''</sub>(M) of ''R'' into the ring of ''R''-linear endomorphisms of ''M''.
 
In the language of [[Scheme (mathematics)|schemes]], finitely generated modules are interpreted as [[coherent sheaves]], or generalized finite rank [[vector bundles]].
 
==Krull dimension for non-commutative rings==
 
The Krull dimension of a module over a possibly non-commutative ring is defined as the [[deviation of a poset|deviation]] of the poset of submodules ordered by inclusion. For commutative Noetherian rings, this is the same as the definition using chains of prime ideals.<ref>McConnell, J.C. and Robson, J.C. ''Noncommutative Noetherian Rings'' (2001). Amer. Math. Soc., Providence. Corollary 6.4.8.</ref> The two definitions can be different for commutative rings which are not Noetherian.
 
== See also ==
*[[Dimension theory (algebra)]]
*[[Regular local ring]]
*[[Hilbert function]]
*[[Krull's principal ideal theorem]]
 
==Notes==
{{reflist}}
 
==Bibliography==
* [[Irving Kaplansky]], ''Commutative rings (revised ed.)'', [[University of Chicago Press]], 1974, ISBN 0-226-42454-5.  Page 32.
* {{cite book | author1=L.A. Bokhut' | author2=I.V. L'vov | author3=V.K. Kharchenko | chapter=I. Noncommuative rings | editor1-first=A.I. | editor1-last=Kostrikin | editor1-link=A.I. Kostrikin | editor2-first=I.R. | editor2-last=Shafarevich | editor2-link=Igor Shafarevich | title=Algebra II | series=Encyclopaedia of Mathematical Sciences | volume=18 | publisher=[[Springer-Verlag]] | year=1991 | isbn=3-540-18177-6 }}  Sect.4.7.
* {{Citation | last1=Eisenbud | first1=David | author1-link=David Eisenbud | title=Commutative algebra with a view toward algebraic geometry | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94268-1 | mr=1322960 | year=1995 | volume=150}}
 
[[Category:Commutative algebra]]
[[Category:Dimension]]

Revision as of 08:52, 11 January 2014

Template:Mergefrom In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.

The Krull dimension has been introduced to provide an algebraic definition of the dimension of an algebraic variety: the dimension of the affine variety defined by an ideal I in a polynomial ring R is the Krull dimension of R/I.

A field k has Krull dimension 0; more generally, k[x1, ..., xn] has Krull dimension n. A principal ideal domain that is not a field has Krull dimension 1. A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent.

Explanation

We say that a chain of prime ideals of the form p0p1pn has length n. That is, the length is the number of strict inclusions, not the number of primes; these differ by 1. We define the Krull dimension of R to be the supremum of the lengths of all chains of prime ideals in R.

Given a prime p in R, we define the height of p, written ht(p), to be the supremum of the lengths of all chains of prime ideals contained in p, meaning that p0p1pnp. In other words, the height of p is the Krull dimension of the localization of R at p. A prime ideal has height zero if and only if it is a minimal prime ideal. The Krull dimension of a ring is the supremum of the heights of all maximal ideals, or those of all prime ideals.

In a Noetherian ring, every prime ideal has finite height. Nonetheless, Nagata gave an example of a Noetherian ring of infinite Krull dimension.[1] A ring is called catenary if any inclusion pq of prime ideals can be extended to a maximal chain of prime ideals between p and q, and any two maximal chains between p and q have the same length. Nagata gave an example of a Noetherian ring which is not catenary.[2]

Krull dimension and schemes

It follows readily from the definition of the spectrum of a ring Spec(R), the space of prime ideals of R equipped with the Zariski topology, that the Krull dimension of R is equal to the dimension of its spectrum as a topological space, meaning the supremum of the lengths of all chains of irreducible closed subsets. This follows immediately from the Galois connection between ideals of R and closed subsets of Spec(R) and the observation that, by the definition of Spec(R), each prime ideal p of R corresponds to a generic point of the closed subset associated to p by the Galois connection.

Examples

  • The dimension of a polynomial ring over a field k[x1, ..., xn] is the number of variables n. In the language of algebraic geometry, this says that the affine space of dimension n over a field has dimension n, as expected. In general, if R is a Noetherian ring of dimension n, then the dimension of R[x] is n + 1. If the Noetherian hypothesis is dropped, then R[x] can have dimension anywhere between n + 1 and 2n + 1.
  • The ring of integers Z has dimension 1. More generally, any principal ideal domain that is not a field has dimension 1.
  • Let R be an algebra over a field k that is an integral domain. Then the Krull dimension of R is less than or equal to the transcendence degree of the field of fractions of R over k.[3] The equality holds if R is finitely generated as algebra (for instance by the noether normalization lemma).

Krull dimension of a module

If R is a commutative ring, and M is an R-module, we define the Krull dimension of M to be the Krull dimension of the quotient of R making M a faithful module. That is, we define it by the formula:

dimRM:=dim(R/AnnR(M))

where AnnR(M), the annihilator, is the kernel of the natural map R → EndR(M) of R into the ring of R-linear endomorphisms of M.

In the language of schemes, finitely generated modules are interpreted as coherent sheaves, or generalized finite rank vector bundles.

Krull dimension for non-commutative rings

The Krull dimension of a module over a possibly non-commutative ring is defined as the deviation of the poset of submodules ordered by inclusion. For commutative Noetherian rings, this is the same as the definition using chains of prime ideals.[5] The two definitions can be different for commutative rings which are not Noetherian.

See also

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

Bibliography

  • Irving Kaplansky, Commutative rings (revised ed.), University of Chicago Press, 1974, ISBN 0-226-42454-5. Page 32.
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Sect.4.7.
  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  1. Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Exercise 9.6.
  2. Matsumura, H. Commutative Algebra (1970). Benjamin, New York. Example 14.E.
  3. http://mathoverflow.net/questions/79959/krull-dimension-transcendence-degree
  4. Template:Harvnb
  5. McConnell, J.C. and Robson, J.C. Noncommutative Noetherian Rings (2001). Amer. Math. Soc., Providence. Corollary 6.4.8.