{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nIf $E \\neq 0$ is a [[module|0NZ8JA25WK]] that satisfies the ACC and DCC on submodules (that is, it is both Noetherian and Artinian or – equivalently – of finite length), then $E$ is a direct sum of indecomposable modules. Up to a permutation, the indecomposable components in such a direct sum are uniquely determined up to isomorphism.\n\nGoro Azumaya generalised this, showing that if a module has a (possibly infinite) decomposition into strongly indecomposable modules, then this decomposition is unique up to a permutation and isomorphism. A module is **strongly indecomposable** if its ring of endomorphisms is local. Any such module is indecomposable, but the converse is not true, as witnessed by the ring of integers viewed as a module over itself. Indecomposable injectives and indecomposable modules of finite length are strongly indecomposable, as are indecomposable projective modules over semiperfect rings. \n\nIn general, the theorem fails if one only assumes that the module is Noetherian or Artinian.\n",
  "commit": "a799a9852bcfeae9dc83faa3bef60208bb53686b",
  "front": {
    "inventory": [
      "TV17TF132T"
    ],
    "kind": "statement",
    "name": "Krull–Schmidt theorem for modules",
    "role": "theorem",
    "sources": [
      {
        "locator": "Krull–Schmidt theorem, section Krull–Schmidt theorem for modules",
        "mention": "wikipedia://en/21100715#LC4G",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:21100715@r1342334779"
      }
    ],
    "tag": "RW1PZR195F"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/RW1PZR195F/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/RW1PZR195F.md",
  "msc": null,
  "name": "Krull–Schmidt theorem for modules",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RW1/RW1PZR195F.md",
  "status": null,
  "tag": "RW1PZR195F",
  "uri": "m2://RW1PZR195F",
  "url": "https://math2.tamnd.com/wiki/krull-schmidt-theorem-for-modules/",
  "writing": {
    "tag": "RW1PZR195F",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}