{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics, the **commuting graph** of a [[semigroup|0XMEM406JM]], or in particular of a group, is an undirected graph in which the vertices are elements of the semigroup and there is an edge between any pair of elements that [[commute|099E72KTF8]] (that is, there is an edge between vertices $x$ and $y$ if and only if $xy=yx$ in the semigroup). Commuting graphs have been used to study groups and semigroups by seeking relationships between the combinatorial structure of the graph and the algebraic structure of the group or semigroup.\n",
  "commit": "a799a9852bcfeae9dc83faa3bef60208bb53686b",
  "front": {
    "inventory": [
      "RXQB3Z7BHQ"
    ],
    "kind": "concept",
    "name": "Commuting graph",
    "same_as": {
      "wikidata": "Q137604228",
      "wikipedia": "Commuting graph"
    },
    "sources": [
      {
        "locator": "Commuting graph",
        "mention": "wikipedia://en/81460329",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:81460329@r1370333609"
      }
    ],
    "tag": "TMCVC2B092"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/TMCVC2B092/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/TMCVC2B092.md",
  "msc": null,
  "name": "Commuting graph",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TMC/TMCVC2B092.md",
  "status": null,
  "tag": "TMCVC2B092",
  "uri": "m2://TMCVC2B092",
  "url": "https://math2.tamnd.com/wiki/commuting-graph/",
  "writing": {
    "tag": "TMCVC2B092",
    "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
      }
    ]
  }
}
