{
  "aliases": [
    "baxter-operator",
    "rota-baxter"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics, a **Rota–Baxter algebra** is an associative algebra, together with a particular [[linear map|0NRYHJPQG2]] $R$ which satisfies the **Rota–Baxter identity**. It appeared first in the work of the American mathematician Glen E. Baxter in the realm of [[probability theory|0RWE7CPJ32]]. Baxter's work was further explored from different angles by Gian-Carlo Rota, Pierre Cartier, and Frederic V. Atkinson, among others. Baxter’s derivation of this identity that later bore his name emanated from some of the fundamental results of the famous probabilist Frank Spitzer in [[random walk|04VZE3FZXF]] theory.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "aliases": [
      "baxter-operator",
      "rota-baxter"
    ],
    "inventory": [
      "C6MJPD0HX1"
    ],
    "kind": "concept",
    "name": "Rota–Baxter algebra",
    "same_as": {
      "wikidata": "Q7370348",
      "wikipedia": "Rota–Baxter algebra"
    },
    "sources": [
      {
        "locator": "Rota–Baxter algebra",
        "mention": "wikipedia://en/21091721",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:21091721@r1372853264"
      }
    ],
    "tag": "4F4Z3Q5ZFY"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/4F4Z3Q5ZFY/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/4F4Z3Q5ZFY.md",
  "msc": null,
  "name": "Rota–Baxter algebra",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/4F4/4F4Z3Q5ZFY.md",
  "status": null,
  "tag": "4F4Z3Q5ZFY",
  "uri": "m2://4F4Z3Q5ZFY",
  "url": "https://math2.tamnd.com/wiki/rota-baxter-algebra/",
  "writing": {
    "tag": "4F4Z3Q5ZFY",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}