{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "P84GBDM0QR"
    }
  ],
  "body": "\n## Summary\n\nA Cartan–Eilenberg resolution of a chain complex $C$ is a [[double complex|N80ABTQHEQ]] of projective objects.\nIt resolves not only each term of $C$ but also its boundaries, cycles and homology, all at once.\nIt is the tool for defining derived functors of complexes, called hyperderived functors.\nIt is also the main step in the proof of the [[Grothendieck spectral sequence|ZV7VGE2SQ2]].\n\n## Explanations\n\n### L1 human\n\nA projective resolution replaces one object by a chain of simple objects.\nFor a whole chain complex one wants to do this term by term, but in a way that respects the structure of the complex.\nA Cartan–Eilenberg resolution is a grid of projective objects, and each column resolves one term of the complex.\nThe rows are arranged so that the homology of the complex is resolved as well.\nFor a complex with a single nonzero term $M$, it is just a projective resolution of $M$ placed in one column.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18G10",
      "18G35"
    ],
    "name": "Cartan–Eilenberg resolution",
    "same_as": {
      "wikidata": "Q5047047",
      "wikipedia": "Cartan–Eilenberg resolution"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Cartan%E2%80%93Eilenberg_resolution"
      }
    ],
    "specializes": [
      "N80ABTQHEQ"
    ],
    "tag": "SX8V8GR5ZG"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/SX8V8GR5ZG/",
  "links": [
    {
      "field": "specializes",
      "target": "N80ABTQHEQ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/SX8V8GR5ZG.md",
  "msc": [
    "18G10",
    "18G35"
  ],
  "name": "Cartan–Eilenberg resolution",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/SX8/SX8V8GR5ZG.md",
  "status": null,
  "tag": "SX8V8GR5ZG",
  "uri": "m2://SX8V8GR5ZG",
  "url": "https://tamnd.github.io/math2/wiki/cartan-eilenberg-resolution/",
  "writing": {
    "tag": "SX8V8GR5ZG",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}