Fuchsian group: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Giftlite
m −sp
 
en>Gatewaycat
m Limit sets: replace tex with inline
 
Line 1: Line 1:
Dalton is [http://Data.Gov.uk/data/search?q=what%27s+written what's written] from his birth certificate regrettably he never really favored that name. The [http://Www.google.de/search?q=preference+hobby preference hobby] for him and his kids is landscaping but he's been taking on new things a short time ago. Auditing is where his primary income derives from. Massachusetts is where that he and his wife survive. He's not godd at design but you might want to check its website: http://circuspartypanama.com<br><br>Take a look at my blog - [http://circuspartypanama.com clash of clans hack tool android]
In [[algebraic geometry]], the '''localization of a module''' is a construction to introduce [[denominator]]s in a [[module (mathematics)|module]] for a [[ring (mathematics)|ring]]. More precisely, it is a systematic way to construct a new module ''S''<sup>&minus;1</sup>''M'' out of a given module ''M'' containing [[algebraic fraction]]s
:<math>\frac{m}{s}</math>.
where the [[denominator]]s ''s'' range in a given subset ''S'' of ''R''.
 
The technique has become fundamental, particularly in [[algebraic geometry]], as the link between modules and [[sheaf (mathematics)|sheaf]] theory. Localization of a module generalizes [[localization of a ring]].
 
==Definition==
In this article, let ''R'' be a [[commutative ring]] and ''M'' an ''R''-[[module (mathematics)|module]].
 
Let ''S'' a [[multiplicatively closed subset]] of ''R'', i.e. 1 ∈ ''S'' and for any ''s'' and ''t'' ∈ ''S'', the product ''st'' is also in ''S''. Then the '''localization of ''M'' with respect to ''S''''', denoted ''S''<sup>&minus;1</sup>''M'', is defined to be the following module: as a set, it consists of [[equivalence relation|equivalence classes]] of pairs (''m'', ''s''), where ''m'' ∈ ''M'' and ''s'' ∈ ''S''. Two such pairs (''m'', ''s'') and (''n'', ''t'') are considered equivalent if there is a third element ''u'' of ''S'' such that
:''u''(''sn''-''tm'') = 0
It is common to denote these equivalence classes
:<math>\frac{m}{s}</math>.
 
To make this set a ''R''-module, define
:<math>\frac{m}{s} + \frac{n}{t} := \frac{tm+sn}{st}</math>
and
:<math>a \cdot \frac{m}{s} := \frac{a m}{s}</math>
(''a'' ∈ ''R''). It is straightforward to check that the definition is well-defined, i.e. yields the same result for different choices of representatives of fractions. One interesting characterization of the equivalence relation is that it is the smallest relation (considered as a set) such that cancellation laws hold for elements in ''S''. That is, it is the smallest relation such that ''rs/us = r/u'' for all ''s'' in ''S''.
 
One case is particularly important: if ''S'' equals the complement of a [[prime ideal]] ''p'' ⊂ ''R'' (which is multiplicatively closed by definition of prime ideals) then the localization is denoted ''M''<sub>''p''</sub> instead of (''R''\''p'')<sup>&minus;1</sup>''M''. The '''[[support of a module|support of the module]]''' ''M'' is the set of prime ideals ''p'' such that ''M''<sub>''p''</sub> ≠ 0. Viewing ''M'' as a function from the [[spectrum of a ring|spectrum]] of ''R'' to ''R''-modules, mapping
:<math>p \mapsto M_p</math>
this corresponds to the [[support (mathematics)|support]] of a function.
Localization of a module at primes also reflects the "local properties" of the module. In particular, there are many cases where the more general situation can be reduced to a statement about localized modules. The reduction is because a ''R''-module ''M'' is trivial if and only if all its localizations at primes or maximal ideals are trivial.
 
==Remarks==
* The definition applies in particular to ''M''=''R'', and we get back the [[localization of a ring|localized ring]] ''S''<sup>&minus;1</sup>''R''.
 
* There is a module homomorphism
::&phi;: ''M'' &rarr; ''S''<sup>&minus;1</sup>''M''
:mapping
::&phi;(''m'') = ''m'' / 1.
:Here &phi; need not be [[injective]], in general, because there may be significant [[torsion (algebra)|torsion]]. The additional ''u'' showing up in the definition of the above equivalence relation can not be dropped (otherwise the relation would not be transitive), unless the module is torsion-free.
 
*Some authors allow not necessarily multiplicatively closed sets ''S'' and define localizations in this situation, too. However, saturating such a set, i.e. adding ''1'' and finite products of all elements, this comes down to the above definition.
 
==Tensor product interpretation==
By the very definitions, the localization of the module is tightly linked to the one of the ring via the [[tensor product]]
:''S''<sup>&minus;1</sup>''M'' = ''M'' ⊗<sub>''R''</sub>''S''<sup>&minus;1</sup>''R'',
This way of thinking about localising is often referred to as [[extension of scalars]].
 
As a tensor product, the localization satisfies the usual [[universal property]].
 
==Flatness==
From the definition, one can see that localization of modules is an [[exact functor]], or in other words (reading this in the tensor product) that ''S''<sup>&minus;1</sup>''R'' is a [[flat module]] over ''R''. This fact is foundational for the use of flatness in algebraic geometry, saying in particular that the inclusion of the [[open set]] Spec(''S''<sup>&minus;1</sup>''R'') into Spec(''R'') (see [[spectrum of a ring]]) is a [[flat morphism]].
 
==(Quasi-)coherent sheaves==
In terms of localization of modules, one can define [[quasi-coherent sheaf|quasi-coherent sheaves]] and [[coherent sheaf|coherent sheaves]] on [[locally ringed space]]s. In algebraic geometry, the '''quasi-coherent''' ''O''<sub>''X''</sub>-'''modules''' for [[scheme (mathematics)|scheme]]s ''X'' are those that are locally modelled on sheaves on Spec(''R'') of localizations of any ''R''-module ''M''. A '''coherent''' ''O''<sub>''X''</sub>-'''module''' is such a sheaf, locally modelled on a [[finitely-presented module]] over ''R''.
 
== See also ==
=== Localization ===
[[:Category:Localization (mathematics)]]
* [[Local analysis]]
* [[Localization (algebra)]]
* [[Localization of a category]]
* [[Localization of a ring]]
* [[Localization of a topological space]]
 
==References==
Any textbook on commutative algebra covers this topic, such as:
* {{Citation | last1=Eisenbud | first1=David | author1-link=David Eisenbud | title=Commutative algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94268-1; 978-0-387-94269-8 | id={{MathSciNet | id = 1322960}} | year=1995 | volume=150}}
 
[[Category:Module theory]]
[[Category:Localization (mathematics)]]

Latest revision as of 00:24, 30 October 2013

In algebraic geometry, the localization of a module is a construction to introduce denominators in a module for a ring. More precisely, it is a systematic way to construct a new module S−1M out of a given module M containing algebraic fractions

ms.

where the denominators s range in a given subset S of R.

The technique has become fundamental, particularly in algebraic geometry, as the link between modules and sheaf theory. Localization of a module generalizes localization of a ring.

Definition

In this article, let R be a commutative ring and M an R-module.

Let S a multiplicatively closed subset of R, i.e. 1 ∈ S and for any s and tS, the product st is also in S. Then the localization of M with respect to S, denoted S−1M, is defined to be the following module: as a set, it consists of equivalence classes of pairs (m, s), where mM and sS. Two such pairs (m, s) and (n, t) are considered equivalent if there is a third element u of S such that

u(sn-tm) = 0

It is common to denote these equivalence classes

ms.

To make this set a R-module, define

ms+nt:=tm+snst

and

ams:=ams

(aR). It is straightforward to check that the definition is well-defined, i.e. yields the same result for different choices of representatives of fractions. One interesting characterization of the equivalence relation is that it is the smallest relation (considered as a set) such that cancellation laws hold for elements in S. That is, it is the smallest relation such that rs/us = r/u for all s in S.

One case is particularly important: if S equals the complement of a prime ideal pR (which is multiplicatively closed by definition of prime ideals) then the localization is denoted Mp instead of (R\p)−1M. The support of the module M is the set of prime ideals p such that Mp ≠ 0. Viewing M as a function from the spectrum of R to R-modules, mapping

pMp

this corresponds to the support of a function. Localization of a module at primes also reflects the "local properties" of the module. In particular, there are many cases where the more general situation can be reduced to a statement about localized modules. The reduction is because a R-module M is trivial if and only if all its localizations at primes or maximal ideals are trivial.

Remarks

  • The definition applies in particular to M=R, and we get back the localized ring S−1R.
  • There is a module homomorphism
φ: MS−1M
mapping
φ(m) = m / 1.
Here φ need not be injective, in general, because there may be significant torsion. The additional u showing up in the definition of the above equivalence relation can not be dropped (otherwise the relation would not be transitive), unless the module is torsion-free.
  • Some authors allow not necessarily multiplicatively closed sets S and define localizations in this situation, too. However, saturating such a set, i.e. adding 1 and finite products of all elements, this comes down to the above definition.

Tensor product interpretation

By the very definitions, the localization of the module is tightly linked to the one of the ring via the tensor product

S−1M = MRS−1R,

This way of thinking about localising is often referred to as extension of scalars.

As a tensor product, the localization satisfies the usual universal property.

Flatness

From the definition, one can see that localization of modules is an exact functor, or in other words (reading this in the tensor product) that S−1R is a flat module over R. This fact is foundational for the use of flatness in algebraic geometry, saying in particular that the inclusion of the open set Spec(S−1R) into Spec(R) (see spectrum of a ring) is a flat morphism.

(Quasi-)coherent sheaves

In terms of localization of modules, one can define quasi-coherent sheaves and coherent sheaves on locally ringed spaces. In algebraic geometry, the quasi-coherent OX-modules for schemes X are those that are locally modelled on sheaves on Spec(R) of localizations of any R-module M. A coherent OX-module is such a sheaf, locally modelled on a finitely-presented module over R.

See also

Localization

Category:Localization (mathematics)

References

Any textbook on commutative algebra covers this topic, such as:

  • 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