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:

    “It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
    —Jane Adams (20th century)

    “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)