{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "4ACJ5TPHJX"
    },
    {
      "field": "uses",
      "target": "XXZTMNBYFZ"
    },
    {
      "field": "uses",
      "target": "Y8KSN16X06"
    }
  ],
  "body": "\n## Summary\n\nThe knot sum, or connected sum, of two oriented [[knots|QYEAZTYGPT]] is a new knot.\nIt is obtained by cutting each knot open at one point and joining the loose ends.\nIt is the version for knots of the [[connected sum|Y0K0K5NGWW]] of manifolds.\nThe sum is well defined, commutative and associative, with the [[unknot|1TQ06R4Q66]] as neutral element.\nIt lets one break knots into [[prime knots|GJ6FJ4G5VC]], much as integers break into primes.\n\n## Explanations\n\n### L1 human\n\nTake two knotted loops of string lying far apart.\nCut each loop once and tie the four loose ends together in pairs, so that you get one loop with both knots on it.\nThe result is the knot sum.\nFor example, the sum of a [[trefoil knot|VYTYSVHN4A]] with itself is the granny knot.\nThe sum of a trefoil with its mirror image is the square knot, which is a different knot.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "57K10"
    ],
    "name": "Knot sum",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Connected_sum"
      }
    ],
    "specializes": [
      "Y0K0K5NGWW"
    ],
    "tag": "AGZSZW7GYE"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/AGZSZW7GYE/",
  "links": [
    {
      "field": "specializes",
      "target": "Y0K0K5NGWW"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/AGZSZW7GYE.md",
  "msc": [
    "57K10"
  ],
  "name": "Knot sum",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/AGZ/AGZSZW7GYE.md",
  "status": null,
  "tag": "AGZSZW7GYE",
  "uri": "m2://AGZSZW7GYE",
  "url": "https://math2.tamnd.com/wiki/knot-sum/",
  "writing": {
    "tag": "AGZSZW7GYE",
    "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
      }
    ]
  }
}