Homological_Algebra

---

title: Homological Algebra permalink: wiki/Homological_Algebra/ layout: wiki

Here are some present goals.

1. Try to implement methods related to Gorenstein dimensions and complete resolutions, more specifically constructions related to parts of the paper "Absolute, relative, and Tate cohomology of modules of finite Gorenstein Dimension" by Avramov and Martsinkovsky.
2. Try to clean-up and test spectral sequence code.
3. Think about problems related to extensions.

Post-workshop Goals

Constructions from Avramov and Martsinkovsky:

1. Clean code to remove generic variable names that would affect user's variables.
2. Finish Construction 3.6.
   1. Debug commands related to lifting kappa, specifically sources and targets of the liftings.
   2. Write more examples for further testing.
3. Implement Construction 5.10.
4. Use the structure of Theorem 8.5 to build minimal proper resolutions and G-approximations.
5. Draft documentation.
6. Draft tests for package distribution.