{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $K$ be an [[algebraic number field|MWBDFS2KJ5]] with ring of integers $R$.\nLet $A$ be a finite-dimensional [[semisimple|NY25HXA478]] algebra over $K$, and let $\\Lambda$ be an $R$-[[order|1ZBX4TKVZ9]] in $A$.\nA *$\\Lambda$-lattice* is a [[finitely generated|05QY1VEBYD]] left $\\Lambda$-module that is torsion-free as an $R$-module.\nThen for every finitely generated left $A$-module $V$ there are only finitely many isomorphism classes of $\\Lambda$-lattices $M$ with $K \\otimes_R M \\cong V$.\n\n## Remarks\n\nThe proof combines a reduction theory for lattices with the finiteness of the class number.\nIn outline, one fixes a lattice $M_0$ with $K \\otimes_R M_0 \\cong V$ and finds a nonzero $c \\in R$ such that every lattice $M$ with $K \\otimes_R M \\cong V$ is isomorphic to a lattice $N$ with $c M_0 \\subseteq N \\subseteq M_0$.\nThere are only finitely many such $N$, because $M_0 / c M_0$ is finite.\nExample: take $A = K$, $\\Lambda = R$ and $V = K$.\nThe $\\Lambda$-lattices with $K M \\cong K$ are the nonzero fractional ideals of $R$, up to isomorphism, so in this case the theorem is the finiteness of the [[class number|KTKK9B1X41]] of $K$.\nExample: take $K = \\Q$ and $\\Lambda = \\Z G$ for a finite group $G$; there are finitely many $\\Z G$-lattices of each $\\Z$-rank $n$ up to isomorphism.\nTogether with Minkowski's bound on the orders of finite subgroups of $GL_n(\\Z)$, it follows that $GL_n(\\Z)$ has only finitely many conjugacy classes of finite subgroups.\n\n## Explanations\n\n### L1 human\n\nAn order is a ring of integers inside an algebra, and a lattice over it is a module shaped like a grid.\nOver a field, a module is determined by little more than its dimension, but grids can differ in subtle arithmetic ways.\nThe theorem says that only finitely many different grids, counted up to isomorphism, fill out a given module.\nFor the integers of a number field this is the classical fact that there are only finitely many ideal classes.\n\n### L2 human\n\nThe theorem is the basic finiteness result of integral representation theory.\nIt lets one define the class number of an order, the number of isomorphism classes of lattices in a given genus.\nThis number can then be studied with adelic methods.\nIt extends to any Dedekind domain whose field of fractions is a global field, with $A$ a separable algebra.\nApplied to integral group rings, it controls the integral representations of finite groups, and in crystallography it gives the finiteness of arithmetic classes of finite subgroups of $GL_n(\\Z)$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "1ZBX4TKVZ9"
    ],
    "kind": "statement",
    "msc": [
      "16H20",
      "16G30",
      "11R54"
    ],
    "name": "Jordan–Zassenhaus theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Order_(ring_theory)"
      }
    ],
    "tag": "RDZGJ21WRX",
    "uses": [
      "MWBDFS2KJ5",
      "1ZBX4TKVZ9",
      "NY25HXA478",
      "05QY1VEBYD",
      "KTKK9B1X41"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/RDZGJ21WRX/",
  "links": [
    {
      "field": "about",
      "target": "1ZBX4TKVZ9"
    },
    {
      "field": "uses",
      "target": "MWBDFS2KJ5"
    },
    {
      "field": "uses",
      "target": "1ZBX4TKVZ9"
    },
    {
      "field": "uses",
      "target": "NY25HXA478"
    },
    {
      "field": "uses",
      "target": "05QY1VEBYD"
    },
    {
      "field": "uses",
      "target": "KTKK9B1X41"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/RDZGJ21WRX.md",
  "msc": [
    "16H20",
    "16G30",
    "11R54"
  ],
  "name": "Jordan–Zassenhaus theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RDZ/RDZGJ21WRX.md",
  "status": null,
  "tag": "RDZGJ21WRX",
  "uri": "m2://RDZGJ21WRX",
  "url": "https://tamnd.github.io/math2/wiki/jordan-zassenhaus-theorem/",
  "writing": {
    "tag": "RDZGJ21WRX",
    "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
      }
    ]
  }
}