{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "TWP1EP7FR1"
    }
  ],
  "body": "\n## Summary\n\nThe étale fundamental group of a connected scheme classifies its finite étale covers, as the [[fundamental group|S1XK3HXHFX]] of a space classifies its [[covering spaces|3XZRRE165N]].\nIt is a [[profinite group|KA0YDB6QXE]].\nFor the spectrum of a field it is the [[absolute Galois group|DPFMXS71D1]].\nFor a complex variety it is the profinite completion of the topological fundamental group.\nIt unites Galois theory and the theory of coverings in one framework, [[Grothendieck's Galois theory|CX7BDQ47ZK]].\n\n## Explanations\n\n### L1 human\n\nA loop in a space can be detected by the covers it produces: going around the loop permutes the sheets of a cover.\nIn algebraic geometry one cannot draw loops, but one can still study finite covers.\nThe étale fundamental group is the group of symmetries of all finite covers at once.\nFor the punctured complex line, the finite covers are $z \\mapsto z^n$, and the group is the profinite completion $\\widehat{\\Z}$ of $\\Z$.\nFor a field $k$, the finite covers are the finite separable field extensions, so the group is the Galois group of the separable closure.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14F35",
      "14E20"
    ],
    "name": "Étale fundamental group",
    "same_as": {
      "wikidata": "Q288764",
      "wikipedia": "Étale fundamental group"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/%C3%89tale_fundamental_group"
      }
    ],
    "tag": "KJ11DAXMR0"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/KJ11DAXMR0/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/KJ11DAXMR0.md",
  "msc": [
    "14F35",
    "14E20"
  ],
  "name": "Étale fundamental group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KJ1/KJ11DAXMR0.md",
  "status": null,
  "tag": "KJ11DAXMR0",
  "uri": "m2://KJ11DAXMR0",
  "url": "https://tamnd.github.io/math2/wiki/etale-fundamental-group/",
  "writing": {
    "tag": "KJ11DAXMR0",
    "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
      }
    ]
  }
}