{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $K$ be an oriented tame [[knot|QYEAZTYGPT]] in $\\R^3$, with a diagram that has $n \\ge 1$ crossings.\nThe diagram breaks into $n$ arcs $a_1, \\ldots, a_n$, each running from one undercrossing to the next.\nTake a base point above the plane of the diagram.\nFor each arc $a_i$, let $x_i$ be the class of a loop from the base point that passes once under $a_i$, by the right-hand rule.\nAt a crossing, let $a_k$ be the over-arc, let $a_i$ be the incoming under-arc and let $a_j$ be the outgoing under-arc.\nLet $\\varepsilon = \\pm 1$ be the sign of the crossing.\nWrite $r$ for the relation $x_j = x_k^{\\varepsilon} x_i x_k^{-\\varepsilon}$ at this crossing.\nThen the [[knot group|AQVHM3FP0D]] of $K$ has the [[presentation|0JGEQXQ4AC]]\n$$\\pi_1(\\R^3 \\setminus K) \\cong \\langle x_1, \\ldots, x_n \\mid r_1, \\ldots, r_n \\rangle,$$\nwith one relation $r_c$ for each crossing $c$.\nAny one of the relations may be omitted.\n\n## Remarks\n\nThe proof applies the Seifert–van Kampen theorem to the complement, cut into the half-space above the diagram plane and small pieces near the crossings.\nThe half-space above, with tunnels under the arcs, gives a free group on the $x_i$, and each crossing adds one relation.\nThe sign convention for $\\varepsilon$ depends on the orientation chosen for the loops $x_i$; with the opposite choice, $\\varepsilon$ becomes $-\\varepsilon$.\nFor the trefoil with arcs $a_1, a_2, a_3$, the relations read $x_3 = x_1 x_2 x_1^{-1}$, $x_1 = x_2 x_3 x_2^{-1}$ and $x_2 = x_3 x_1 x_3^{-1}$ for one orientation.\nEliminating $x_3$ and dropping the last relation gives $\\langle x_1, x_2 \\mid x_1 x_2 x_1 = x_2 x_1 x_2 \\rangle$.\nAll generators are conjugate, because each relation conjugates one generator to another and the arcs are connected by the knot.\nThe hypothesis $n \\ge 1$ is needed: a diagram of the unknot with no crossings has one arc and no crossing, and its group is $\\Z$.\n\n## Explanations\n\n### L1 human\n\nThe knot group describes loops that wind around a knot.\nThe Wirtinger presentation reads this group off a picture of the knot: one generator for each strand of the picture, and one rule for each crossing.\nThe rule says that passing under one side of the crossing equals passing under the other side, conjugated by the strand on top.\n\n### L2 human\n\nIt is the standard way to compute knot groups and their invariants.\nRepresentations of the knot group into a finite group can be found from it by assigning elements to arcs.\n[[Tricolorability|KNAGK0W65G]] is the case of the symmetric group on three letters.\nThe Alexander polynomial can be computed from it by Fox calculus.\nThe presentation has deficiency one, with one more generator than essential relations.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "AQVHM3FP0D"
    ],
    "kind": "statement",
    "msc": [
      "57K10",
      "57M05"
    ],
    "name": "Wirtinger presentation",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q8027029",
      "wikipedia": "Wirtinger presentation"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Wirtinger_presentation"
      }
    ],
    "tag": "P6GR8ZQCK3",
    "uses": [
      "QYEAZTYGPT",
      "AQVHM3FP0D",
      "0JGEQXQ4AC"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/P6GR8ZQCK3/",
  "links": [
    {
      "field": "about",
      "target": "AQVHM3FP0D"
    },
    {
      "field": "uses",
      "target": "QYEAZTYGPT"
    },
    {
      "field": "uses",
      "target": "AQVHM3FP0D"
    },
    {
      "field": "uses",
      "target": "0JGEQXQ4AC"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/P6GR8ZQCK3.md",
  "msc": [
    "57K10",
    "57M05"
  ],
  "name": "Wirtinger presentation",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/P6G/P6GR8ZQCK3.md",
  "status": null,
  "tag": "P6GR8ZQCK3",
  "uri": "m2://P6GR8ZQCK3",
  "url": "https://math2.tamnd.com/wiki/wirtinger-presentation/",
  "writing": {
    "tag": "P6GR8ZQCK3",
    "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
      }
    ]
  }
}