Inverse limit In mathematics, the inverse limit (also called the projective limit) is a construction which allows one to "glue together" several related objects, the precise matter of the gluing process being specified by morphisms between the objects. Inverse limits can be defined in any category, but we will initially only consider inverse limits of groups. Formal definition Algebraic objects We start with the definition of an inverse system of groups and homomorphisms. Let (I, ≤) be a directed poset (not all authors require I to be directed). Let be a family of groups indexed by I and suppose we have a family of homomorphisms fij : Aj → Ai for all i ≤ j (note the order) with the following properties: fii(x) = x for all x ∈ Ai, fik = fij O fjk for all i ≤ j ≤ k. Then the pair (Ai, fij) is called an inverse system of groups and morphisms over I. We define the inverse limit of the inverse system (Ai, fij) is defined as a particular subgroup of the direct product of the Ai's: $\backslash varprojlim\; A\_i\; =\; \backslash left\backslash A\_i\; \backslash ;\backslash bigg|\backslash ;\; a\_i\; =\; f\_(a\_j)\; \backslash mbox\; i\; \backslash leq\; j\backslash right\backslash \}$ The inverse limit, A, comes equipped with natural projections πi : A → Ai which pick out the ith component of the direct product. The inverse limit and the natural projections satisfy a universal property described in the next section. This same construction may be carried out if the Ai's are sets, rings, modules (over a fixed ring), algebras (over a fixed field), etc., and the homomorphisms are homomorphisms in the corresponding category. The inverse limit will also belong to that category. General definition The inverse limit can be defined abstractly in an arbitrary category by means of a universal property. Let (Xi, fij) be an inverse system of objects and morphisms in a category C (same definition as above). The inverse limit of this system is an object X in C together with morphisms πi : X → Xi (called projections) satisfying πi = fij O πj . The pair (X, πi) must be universal in the sense that for any other such pair (Y, ψi) there exists a unique morphism u : Y → X making all the "obvious" identites true; i.e. the diagram http://upload.wikimedia.org/wikipedia/en/e/ed/InverseLimit-01.png must commute for all i, j. The inverse limit is often denoted $X\; =\; \backslash varprojlim\; X\_i$ with the inverse system (Xi, fij) being understood. Unlike for algebraic objects, the inverse limit may not exist in an arbitrary category. If it does, however, it is unique in a strong sense: given any another inverse limit X′ there exists is a unique isomorphism X′ → X commuting with the projection maps. We note that an inverse system in category C admits an alternative desription in terms of functors. Any partially ordered set I can be considered as a small category where the morphisms consist of arrows i → j iff i ≤ j. An inverse system is then just a contravariant functor I → C. Examples The ring of p-adic integers is the inverse limit of the rings Z/pnZ (see modular arithmetic) with the index set being the natural numbers with the usual order, and the morphisms being "take remainder". The natural topology on the p-adic integers is the same as the one described here. Pro-finite groups are defined as inverse limits of finite groups. Let the index set I of an inverse system (Xi, fij) have a greatest element m. Then the natural projection πm : X → Xm is an isomorphism. Let (I, =) be the trivial order (not directed). The inverse limit of any corresponding inverse system is just the product. Let I consist of three elements i, j, and k with i ≤ j and i ≤ k (not directed). The inverse limit of any corresponding inverse system in the pullback. Related concepts and generalizations The categorical dual of an inverse limit is a direct limit (or inductive limit). More general concepts are the limits and colimits of category theory. The terminology is somewhat confusing: inverse limits are limits, while direct limits are colimits. Most Popular Articles: Music    Musical Instruments    Guitar    Classical Music    History    Music Definition    Country Music    Rock Music    Pop Music    Hip Hop    Rap    DJ    Video Games    Casino Games    Poker    Blackjack    Casinos    Real Estate    Loan    Auction    eBay    Marketing    Search Engine Optimization    File Sharing    MP3    Music Industry    Kazaa    Internet    Supermodel    Fashion    Fashion Designers    Erotica    Modeling    Clothing    Boots    Shoes    Diamond Engagement Rings    Diamond    Rugs    Gospel Music    Affiliate    E-Commerce    Radio This article is licensed under the GNU Free Documentation License at http://www.gnu.org/copyleft/fdl.html You may copy and modify it as long as the entire work (including additions) remains under this license. You must provide a link to http://www.gnu.org/copyleft/fdl.html To view or edit this article at Wikipedia go to http://www.wikipedia.org/wiki/Inverse_limit