construction of an injective resolution
is exact. Then, let be the image of in , and construct the factor module . Then, since the category of modules has enough injectives, we can find a module such that
One can continue this process to construct injective modules for any (the resolution may terminate: for some with all ).
|Title||construction of an injective resolution|
|Date of creation||2013-03-22 17:11:02|
|Last modified on||2013-03-22 17:11:02|
|Last modified by||guffin (12505)|