{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "2JVB5R0MBW"
    }
  ],
  "body": "\n## Summary\n\nAn element $a$ has the cancellation property for a [[binary operation|0M418FE7BB]] when it can be removed from both sides of an equation $a \\ast b = a \\ast c$ or $b \\ast a = c \\ast a$.\nA structure in which every element is cancellable is called cancellative.\nEvery [[group|G5S1M9]] is cancellative by the [[cancellation laws|0VSNX4P2Q0]], and the nonzero elements of an [[integral domain|0QVD7WBFGN]] are cancellable for multiplication.\nCancellative commutative [[semigroups|0XMEM406JM]] are exactly those that embed in a group.\n\n## Explanations\n\n### L1 human\n\nCancelling means: from $a + b = a + c$, conclude $b = c$.\nThis works for addition of natural numbers even though there is no subtraction inside the natural numbers.\nIt fails for multiplication by $0$: $0 \\cdot 1 = 0 \\cdot 2$, yet $1 \\ne 2$.\nSo $0$ is not cancellable for multiplication, while every nonzero integer is.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "08A02",
      "20M10"
    ],
    "name": "Cancellation property",
    "same_as": {
      "wikidata": "Q2298524",
      "wikipedia": "Cancellation property"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Cancellation_property"
      }
    ],
    "tag": "6CR9A0EWPN"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/6CR9A0EWPN/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/6CR9A0EWPN.md",
  "msc": [
    "08A02",
    "20M10"
  ],
  "name": "Cancellation property",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6CR/6CR9A0EWPN.md",
  "status": null,
  "tag": "6CR9A0EWPN",
  "uri": "m2://6CR9A0EWPN",
  "url": "https://tamnd.github.io/math2/wiki/cancellation-property/",
  "writing": {
    "tag": "6CR9A0EWPN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}