{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nHomological algebra is the part of algebra that studies [[chain complexes|WQ82C0M3QB]], their [[homology|2J4JJJYP22]], and the [[exact sequences|JB7ZBFBA9C]] and functors built from them.\nIt grew out of algebraic topology, where homology groups of spaces are computed from chain complexes, and out of the study of syzygies of modules.\nIts main tools include [[abelian categories|Y9CZ3MTNF1]], [[projective|YXMXAGVC1Q]] and [[injective objects|5QRFTBF4PG]], resolutions, [[derived functors|NPMC3K6J2F]] such as [[Ext|4P7GBWJ4RR]] and [[Tor|DDQRERAQCV]], [[spectral sequences|GG8AYV847V]] and [[derived categories|5ST7NVJFSM]].\nIt provides a common language for algebraic topology, algebraic geometry, commutative algebra and representation theory.\n\n## Explanations\n\n### L1 human\n\nHomological algebra studies sequences of objects joined by maps in which applying two maps in a row always gives zero.\nThe homology measures how far such a sequence is from being exact, that is, how much of what one map kills is not produced by the previous map.\nIn topology this measures holes: a loop that is not the boundary of any surface detects a hole.\nIn algebra the same machinery measures, for example, how far a module is from being free.\nA small example is $0 \\to \\Z \\xrightarrow{2} \\Z \\to 0$, whose homology at the second $\\Z$ is $\\Z/2\\Z$; this records that multiplication by $2$ is not onto.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18G35",
      "18G10"
    ],
    "name": "Homological algebra",
    "same_as": {
      "wikidata": "Q579978",
      "wikipedia": "Homological algebra"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Homological_algebra"
      }
    ],
    "tag": "SAHAEZNCVD"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/SAHAEZNCVD/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/SAHAEZNCVD.md",
  "msc": [
    "18G35",
    "18G10"
  ],
  "name": "Homological algebra",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/SAH/SAHAEZNCVD.md",
  "status": null,
  "tag": "SAHAEZNCVD",
  "uri": "m2://SAHAEZNCVD",
  "url": "https://tamnd.github.io/math2/wiki/homological-algebra/",
  "writing": {
    "tag": "SAHAEZNCVD",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}