Further Properties of Ext
The Ext functor exhibits some convenient properties, useful in computations.
- Exti
R(A, B) = 0 for i > 0 if either B is injective or A projective.
- A converse also holds: if Ext1
R(A, B) = 0 for all A, then Exti
R(A, B) = 0 for all A, and B is injective; if Ext1
R(A, B) = 0 for all B, then Exti
R(A, B) = 0 for all B, and A is projective.
Read more about this topic: Ext Functor
Famous quotes containing the word properties:
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)