word looked up :

Inverse limit

In abstract algebra, the inverse limit (also called projective limit, or simply limit) is a construction which allows to "glue together" several related objects; the precise matter of the glueing 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.

Consider a partially ordered set I, and assume that for every i in I we are given a group A_i, and for every pair of elements i, j with i > j, we are given a group homomorphism f_i,j: A_i -> A_j. These homomorphisms are assumed to be compatible in the following sense: whenever i > j > k, then f_i,k = f_j,k o f_i,j. We define the inverse limit, A, as the set of all families {a_i}, where i ranges over I, we have a_i in A_i for all i, and such that for every i > j, f_i,j(a_i) = a_j. These families can be multiplied componentwise, and A is itself a group.

The inverse limit A together with the homomorphisms p_i({a_k}) = a_i (the natural projections) has the following universal property: For every group B and every set of homomorphisms g_i: B -> A_i such that for every i > j, g_j = f_i,j o g_i, there exists a unique homomorphism g: B -> A such that for every i, g_i = p_i o g.

This same construction may be carried out if the A_i are sets, rings, algebras, fields, modules over the same ground ring or vector spaces over the same ground field, amongst others. The morphisms have to be morphisms in the corresponding category, and the inverse limit will then also belong to that category. The universal property mentioned above still holds in all these scenarios; in fact, this universal property can be used to define inverse limits in every category. In this way, inverse limits of topological spaces can be defined. However, unlike in the categories mentioned, in some categories inverse limits do not always exist.

If every structure A_i is a topological space, then A is a subspace of the product topology and hence also a topological space. The universal property will still be satisfied if we require all maps to be continuous. If all A_i are compact and Hausdorff, then the inverse limit A will also be compact Hausdorff, since the rules describing an inverse limit are closed in this case.

Examples:

The ring of p-adic integers is the inverse limit of the rings Z/pⁿ (see modular arithmetic) with the partially ordered 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

The categorical dual of an inverse limit is a direct limit, also called a colimit.

See also:

to a trifling detail. He had a fondness for riding on the then newly completed Subway, which he me." And he always insisted on paying the fare, and once when I rode far him to the door, he turned and said, gravely: "Here is five cents to pay your way home." And I took it in the same caused some one occasionally to claim that Mark Twain was close in money.html">money parsimonious; but, if so, I must believe that it was when he was sorely wished to receive the full value (who does not?) of his labors and greed.html">greed only when he believed some one with whom he had dealings was trying greed. It became an indignation that amounted to malevolence. I was life when human traits are supposed to become exaggerated, which is to or greedy in his money dealings I think I should have seen it. anything less than generosity to those who were fair with him. Once that winter.html">winter, when a letter came from Steve Gillis saying that he was owned them, Clemens ordered an expensive set from his publishers, and did of those twenty-five volumes. Then he sent them, charges paid, to that an authoritative source, and I remember how pleased he was that winter Mark Twain as the greatest American novelist, and declared that his fame.html">fame Holmes, Howells, James, and even Hawthorne. He had declared him to be Professor Phelps's position in Yale College gave this opinion a certain great force, with an American freshness of style, gave it a still greater of Kansas, with whose penname--"Ironquill"--Clemens had long been law for poetry, there is no telling how far his fame might have reached. .

On wordlookup.net

All is still licensed under the GNU FDL.
It uses material from the wikipedia.

navig stuff