Ext Functor - Definition and Computation

Definition and Computation

Let R be a ring and let ModR be the category of modules over R. Let B be in ModR and set T(B) = HomR(A,B), for fixed A in ModR. This is a left exact functor and thus has right derived functors RnT. The Ext functor is defined by

This can be calculated by taking any injective resolution

and computing

Then (RnT)(B) is the homology of this complex. Note that HomR(A,B) is excluded from the complex.

An alternative definition is given using the functor G(A)=HomR(A,B). For a fixed module B, this is a contravariant left exact functor, and thus we also have right derived functors RnG, and can define

This can be calculated by choosing any projective resolution

and proceeding dually by computing

Then (RnT)(A) is the homology of this complex. Again note that HomR(A,B) is excluded.

These two constructions turn out to yield isomorphic results, and so both may be used to calculate the Ext functor.

Read more about this topic:  Ext Functor

Famous quotes containing the words definition and/or computation:

    “The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
    —Ralph Waldo Emerson (1803–1882)

    “I suppose that Paderewski can play superbly, if not quite at his best, while his thoughts wander to the other end of the world, or possibly busy themselves with a computation of the receipts as he gazes out across the auditorium. I know a great actor, a master technician, can let his thoughts play truant from the scene ...”
    —Minnie Maddern Fiske (1865–1932)