{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $L/K$ be a finite [[Galois extension|0QMZAQ6QQ4]] of [[algebraic number fields|MWBDFS2KJ5]] with [[Galois group|0XTY86BZKY]] $G$.\nLet $C \\subseteq G$ be a [[conjugacy class|0DEBXAJ5SA]].\nFor a nonzero prime ideal $\\mathfrak{p}$ of $\\mathcal{O}_K$ [[unramified|H5RC67SD24]] in $L$, let $\\mathrm{Frob}_{\\mathfrak{p}}$ be its [[Frobenius|H5145REFMW]] conjugacy class, and let $N(\\mathfrak{p})$ be its [[norm|M54ADM0CVF]].\nThen\n$$\\lim_{x \\to \\infty} \\frac{\\#\\set{\\mathfrak{p} : N(\\mathfrak{p}) \\le x, \\ \\mathfrak{p} \\text{ unramified in } L, \\ \\mathrm{Frob}_{\\mathfrak{p}} = C}}{\\#\\set{\\mathfrak{p} : N(\\mathfrak{p}) \\le x}} = \\frac{\\abs{C}}{\\abs{G}}.$$\n\n## Remarks\n\nThe proof first treats abelian extensions, where the statement reduces, through class field theory, to the non-vanishing at $s = 1$ of Hecke $L$-functions, as in [[Dirichlet's theorem on arithmetic progressions|0GNVN3CA2P]].\nThe general case is reduced to the cyclic case by passing to the fixed field of the cyclic subgroup generated by an element of $C$.\nChebotarev's original proof also adjoins roots of unity to reduce to cyclotomic extensions.\n\nExample: for $K = \\Q$ and $L = \\Q(\\zeta_n)$, the group $G$ is $(\\Z/n\\Z)^\\times$ and $\\mathrm{Frob}_p$ is the class of $p$ modulo $n$.\nThe theorem gives that the primes are equidistributed among the $\\varphi(n)$ classes modulo $n$ coprime to $n$, which is Dirichlet's theorem in its density form.\n\nExample: taking $C = \\set{1}$, the primes of $K$ that split completely in $L$ have density $1/[L : K]$.\nFor $L = \\Q(i)$, half the primes split, namely those $\\equiv 1 \\pmod 4$.\n\n## Explanations\n\n### L1 human\n\nIn a Galois extension, each unramified prime has a Frobenius symmetry that records how it splits.\nThe theorem says that these symmetries are spread out evenly over the Galois group, in proportion to the size of each conjugacy class.\nSo in the long run, every possible splitting pattern happens with a predictable frequency.\n\n### L2 human\n\nThe theorem generalises [[Dirichlet's theorem on arithmetic progressions|0GNVN3CA2P]] from cyclotomic extensions of $\\Q$ to all Galois extensions.\nIt is used to show that a Galois extension is determined by the set of primes that [[split completely|B7KNZCBFYT]] in it.\nIt also gives the density of primes for which a polynomial has a given factorisation pattern modulo $p$, by looking at the cycle types in its Galois group.\nEffective versions with explicit error terms depend on zero-free regions of [[Dedekind zeta functions|KXS5DQDFYD]].\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "H5145REFMW"
    ],
    "kind": "statement",
    "msc": [
      "11R45",
      "11R44"
    ],
    "name": "Chebotarev's density theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1425529",
      "wikipedia": "Chebotarev density theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Chebotarev_density_theorem"
      }
    ],
    "tag": "X8VKW5Y1CZ",
    "uses": [
      "MWBDFS2KJ5",
      "0QMZAQ6QQ4",
      "0XTY86BZKY",
      "0DEBXAJ5SA",
      "H5145REFMW",
      "H5RC67SD24",
      "M54ADM0CVF",
      "0GNVN3CA2P",
      "KXS5DQDFYD",
      "B7KNZCBFYT"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/X8VKW5Y1CZ/",
  "links": [
    {
      "field": "about",
      "target": "H5145REFMW"
    },
    {
      "field": "uses",
      "target": "MWBDFS2KJ5"
    },
    {
      "field": "uses",
      "target": "0QMZAQ6QQ4"
    },
    {
      "field": "uses",
      "target": "0XTY86BZKY"
    },
    {
      "field": "uses",
      "target": "0DEBXAJ5SA"
    },
    {
      "field": "uses",
      "target": "H5145REFMW"
    },
    {
      "field": "uses",
      "target": "H5RC67SD24"
    },
    {
      "field": "uses",
      "target": "M54ADM0CVF"
    },
    {
      "field": "uses",
      "target": "0GNVN3CA2P"
    },
    {
      "field": "uses",
      "target": "KXS5DQDFYD"
    },
    {
      "field": "uses",
      "target": "B7KNZCBFYT"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/X8VKW5Y1CZ.md",
  "msc": [
    "11R45",
    "11R44"
  ],
  "name": "Chebotarev's density theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/X8V/X8VKW5Y1CZ.md",
  "status": null,
  "tag": "X8VKW5Y1CZ",
  "uri": "m2://X8VKW5Y1CZ",
  "url": "https://math2.tamnd.com/wiki/chebotarevs-density-theorem/",
  "writing": {
    "tag": "X8VKW5Y1CZ",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}