{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $G$ be a finite [[group|G5S1M9]] whose [[order|0B85S2V2DR]] is odd.\nThen $G$ is [[solvable|0FXJ7YFMMX]].\n\n## Remarks\n\nAn equivalent form: every finite non-abelian [[simple group|0YMYMNQ0QZ]] has even order.\nIndeed, a finite group is solvable exactly when all its [[composition factors|0PHTC93M58]] are cyclic of prime order, and every composition factor of a group of odd order has odd order.\nThe proof, published by Walter Feit and John Thompson in 1963, fills a whole issue of a journal and combines local analysis of subgroups with character theory.\nA formal proof was completed in the Coq proof assistant in 2012.\nThe hypothesis of odd order is necessary: the alternating group $A_5$ has order $60$ and is not solvable.\nFor example, every group of order $3 \\cdot 5 \\cdot 7 \\cdot 11 = 1155$ is solvable, although [[Burnside's theorem|0FMAQSB1SC]] on groups of order $p^a q^b$ does not apply to it.\n\n## Explanations\n\n### L1 human\n\nThe theorem says that a finite group with an odd number of elements can always be broken down into abelian pieces.\nSo every interesting simple group must have an even number of elements, and hence contain an element of order $2$.\n\n### L2 human\n\nBy [[Cauchy's theorem|0JM7PA288B]], a non-abelian finite simple group therefore contains involutions, that is, elements of order $2$.\nThis opened the way to studying simple groups through the [[centralisers|02YYV36BFM]] of their involutions, the main strategy of the [[classification of finite simple groups|06J6P03MG7]].\nThe [[Brauer–Fowler theorem|K5CQM8MYYG]] shows that the centraliser of an involution limits the size of the simple group.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "0FXJ7YFMMX"
    ],
    "kind": "statement",
    "msc": [
      "20D10",
      "20D05"
    ],
    "name": "Feit–Thompson theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q909517",
      "wikipedia": "Feit–Thompson theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Feit%E2%80%93Thompson_theorem"
      }
    ],
    "tag": "6VK9RSG13Q",
    "uses": [
      "0FXJ7YFMMX",
      "0B85S2V2DR",
      "0YMYMNQ0QZ"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/6VK9RSG13Q/",
  "links": [
    {
      "field": "about",
      "target": "0FXJ7YFMMX"
    },
    {
      "field": "uses",
      "target": "0FXJ7YFMMX"
    },
    {
      "field": "uses",
      "target": "0B85S2V2DR"
    },
    {
      "field": "uses",
      "target": "0YMYMNQ0QZ"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/6VK9RSG13Q.md",
  "msc": [
    "20D10",
    "20D05"
  ],
  "name": "Feit–Thompson theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6VK/6VK9RSG13Q.md",
  "status": null,
  "tag": "6VK9RSG13Q",
  "uri": "m2://6VK9RSG13Q",
  "url": "https://math2.tamnd.com/wiki/feit-thompson-theorem/",
  "writing": {
    "tag": "6VK9RSG13Q",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}