{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "4SBZ4EMPBZ"
    },
    {
      "field": "uses",
      "target": "9ZBM46J88T"
    },
    {
      "field": "uses",
      "target": "A8WVA43YXS"
    },
    {
      "field": "uses",
      "target": "MDS8655N0Z"
    },
    {
      "field": "uses",
      "target": "R1F271180N"
    },
    {
      "field": "uses",
      "target": "RDZGJ21WRX"
    },
    {
      "field": "uses",
      "target": "W29AA0266Z"
    },
    {
      "field": "uses",
      "target": "YH75M7XAM1"
    },
    {
      "field": "about",
      "target": "9ZBM46J88T"
    },
    {
      "field": "about",
      "target": "R1F271180N"
    },
    {
      "field": "defines",
      "target": "MXXTYV1J2N"
    }
  ],
  "body": "\n## Summary\n\nA semisimple ring is a ring that is a [[semisimple module|N3MRHDKDGC]] over itself: it is a direct sum of minimal left ideals.\nEvery module over a semisimple ring is semisimple, so every submodule has a complement and every module is projective and injective.\nThe Artin–Wedderburn theorem describes them completely as finite products of matrix rings over division rings.\nGroup algebras of finite groups over fields of characteristic zero are the main examples, by Maschke's theorem.\n\n## Explanations\n\n### L1 human\n\nIn linear algebra over a field, every subspace has a complementary subspace.\nA semisimple ring is a ring whose modules behave in the same way: each submodule splits off as a direct summand.\nSo modules over a semisimple ring break into simple pieces, like vector spaces break into lines.\nThe ring $\\R \\times \\R$ and the ring of $2 \\times 2$ complex matrices are semisimple, while $\\Z$ is not, since $2\\Z$ has no complement in $\\Z$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "16D60",
      "16K99",
      "16P20"
    ],
    "name": "Semisimple ring",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Semisimple_module"
      }
    ],
    "specializes": [
      "0B1261B5ED"
    ],
    "tag": "NY25HXA478"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/NY25HXA478/",
  "links": [
    {
      "field": "specializes",
      "target": "0B1261B5ED"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/NY25HXA478.md",
  "msc": [
    "16D60",
    "16K99",
    "16P20"
  ],
  "name": "Semisimple ring",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NY2/NY25HXA478.md",
  "status": null,
  "tag": "NY25HXA478",
  "uri": "m2://NY25HXA478",
  "url": "https://tamnd.github.io/math2/wiki/semisimple-ring/",
  "writing": {
    "tag": "NY25HXA478",
    "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
      }
    ]
  }
}