Derived Functors of The Inverse Limit
For an abelian category C, the inverse limit functor
is left exact. If I is ordered (not simply partially ordered) and countable, and C is the category Ab of abelian groups, the Mittag-Leffler condition is a condition on the transition morphisms fij that ensures the exactness of . Specifically, Eilenberg constructed a functor
(pronounced "lim one") such that if (Ai, fij), (Bi, gij), and (Ci, hij) are three projective systems of abelian groups, and
is a short exact sequence of inverse systems, then
is an exact sequence in Ab.
Read more about this topic: Inverse Limit
Famous quotes containing the words derived, inverse and/or limit:
“Those who have been once intoxicated with power, and have derived any kind of emolument from it, even though but for one year, never can willingly abandon it. They may be distressed in the midst of all their power; but they will never look to anything but power for their relief.”
—Edmund Burke (1729–1797)
“Yet time and space are but inverse measures of the force of the soul. The spirit sports with time.”
—Ralph Waldo Emerson (1803–1882)
“Now for civil service reform. Legislation must be prepared and executive rules and maxims. We must limit and narrow the area of patronage. We must diminish the evils of office-seeking. We must stop interference of federal officers with elections. We must be relieved of congressional dictation as to appointments.”
—Rutherford Birchard Hayes (1822–1893)