{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $R$ be a [[ring|0894J980RK]] and let $M$ be a left [[module|09VDS2W1E8]] over $R$.\nA simple module is a nonzero module with no submodules other than $0$ and itself.\nA composition series of $M$ is a chain of [[submodules|0RGZ10DFPG]] $0 = M_0 \\subsetneq M_1 \\subsetneq \\cdots \\subsetneq M_n = M$ in which each quotient $M_i / M_{i-1}$ is simple.\nLet $0 = M_0 \\subsetneq \\cdots \\subsetneq M_n = M$ and $0 = N_0 \\subsetneq \\cdots \\subsetneq N_m = M$ be two composition series of $M$.\nThen $n = m$, and there is a permutation $\\sigma$ of $\\set{1, \\dots, n}$ with $M_i / M_{i-1} \\cong N_{\\sigma(i)} / N_{\\sigma(i) - 1}$ for each $i$.\n\n## Remarks\n\nThe proof is by induction on the shortest length of a composition series, comparing the two series through the submodules $M_{n-1}$, $N_{m-1}$ and $M_{n-1} \\cap N_{m-1}$.\nSo the number $n$ and the simple factors, counted with multiplicity, depend only on $M$; the number $n$ is the [[length|CZSCNZH8VY]] of $M$.\nFor example, $\\Z/12\\Z$ has the composition series $0 \\subset 6\\Z/12\\Z \\subset 3\\Z/12\\Z \\subset \\Z/12\\Z$ and $0 \\subset 6\\Z/12\\Z \\subset 2\\Z/12\\Z \\subset \\Z/12\\Z$, with factors $\\Z/2\\Z, \\Z/2\\Z, \\Z/3\\Z$ in different orders.\nA module that has a composition series is exactly a module of finite length, and then every strict chain of submodules can be refined to a composition series.\nThe theorem for groups is the [[Jordan–Hölder theorem|0E088ZP533]]; both are cases of the Jordan–Hölder theorem for groups with operators, and the same proof works.\n\n## Explanations\n\n### L1 human\n\nA module of finite length can be cut into simple layers in many ways.\nThe theorem says that the number of layers and the layers themselves are always the same, up to order.\n\n### L2 human\n\nThe theorem makes the [[length of a module|CZSCNZH8VY]] well defined, and it lets one speak of the multiplicity of a simple module in $M$.\nLengths of modules such as $R/I$, for a Noetherian local ring $R$, are the input of Hilbert–Samuel functions and multiplicities.\nIn representation theory, the simple factors of a representation are its irreducible constituents, which are well defined by this theorem.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "CZSCNZH8VY"
    ],
    "kind": "statement",
    "msc": [
      "16D10",
      "13C05"
    ],
    "name": "Jordan–Hölder theorem for modules",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Composition_series"
      }
    ],
    "tag": "M1ABX18FC4",
    "uses": [
      "0894J980RK",
      "09VDS2W1E8",
      "0RGZ10DFPG",
      "V6JBKT168T"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/M1ABX18FC4/",
  "links": [
    {
      "field": "about",
      "target": "CZSCNZH8VY"
    },
    {
      "field": "uses",
      "target": "0894J980RK"
    },
    {
      "field": "uses",
      "target": "09VDS2W1E8"
    },
    {
      "field": "uses",
      "target": "0RGZ10DFPG"
    },
    {
      "field": "uses",
      "target": "V6JBKT168T"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/M1ABX18FC4.md",
  "msc": [
    "16D10",
    "13C05"
  ],
  "name": "Jordan–Hölder theorem for modules",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/M1A/M1ABX18FC4.md",
  "status": null,
  "tag": "M1ABX18FC4",
  "uri": "m2://M1ABX18FC4",
  "url": "https://math2.tamnd.com/wiki/jordan-holder-theorem-for-modules/",
  "writing": {
    "tag": "M1ABX18FC4",
    "kind": "statement",
    "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
      }
    ]
  }
}