{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "0SZ1KMNWVE"
    }
  ],
  "body": "\n## Statement\n\nLet $n$ be a positive integer.\nThe [[symmetric group|0515A6D2Y1]] $S_n$ has [[order|0B85S2V2DR]] $n!$.\n\n## Remarks\n\nA permutation $\\sigma$ has $n$ choices for $\\sigma(1)$, then $n - 1$ choices for $\\sigma(2)$, and so on, down to $1$ choice for $\\sigma(n)$.\nFor example, $|S_3| = 6$ and $|S_4| = 24$.\n\n## Explanations\n\n### L1 human\n\nTo make a permutation, you choose where each symbol goes, one symbol after the other.\nEach choice removes one place from the next choices.\nSo the number of permutations is $n \\cdot (n-1) \\cdots 1 = n!$.\n",
  "commit": "6ac761d40018146541484a9e8b9eafd6ecc303dc",
  "front": {
    "kind": "statement",
    "msc": [
      "20B30"
    ],
    "name": "Order of the symmetric group",
    "role": "proposition",
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/Symmetric_group"
      }
    ],
    "tag": "0PCKBBMEXC",
    "uses": [
      "0RJMNEN3BJ",
      "0SEX9F9J5Z"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/0PCKBBMEXC/",
  "links": [
    {
      "field": "uses",
      "target": "0RJMNEN3BJ"
    },
    {
      "field": "uses",
      "target": "0SEX9F9J5Z"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0PCKBBMEXC.md",
  "msc": [
    "20B30"
  ],
  "name": "Order of the symmetric group",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0PC/0PCKBBMEXC.md",
  "status": null,
  "tag": "0PCKBBMEXC",
  "uri": "m2://0PCKBBMEXC",
  "url": "https://math2.tamnd.com/wiki/order-of-the-symmetric-group/",
  "writing": {
    "tag": "0PCKBBMEXC",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}