{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThe **Bruck–Murdoch–Toyoda theorem** provides the following characterization of medial quasigroups. Given an abelian group $A$ and two commuting automorphisms $\\varphi$ and $\\psi$ of $A$, define an operation $\\bullet$ on $A$ by\n\n$$x \\bullet y = \\varphi(x) + \\psi(y) + c,$$\n\nwhere $c$ some fixed element of $A$. It is not hard to prove that $A$ forms a medial quasigroup under this operation. The Bruck–Murdoch-Toyoda theorem states that every medial quasigroup is of this form, i.e. is isomorphic to a quasigroup defined from an abelian group in this way. In particular, every medial quasigroup is isotopic to an abelian group.\n\nThe result was obtained independently in 1941 by Murdoch and Toyoda. It was then rediscovered by Bruck in 1944.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "AZW2ZHMPCB"
    ],
    "kind": "statement",
    "name": "Bruck–Murdoch–Toyoda theorem",
    "role": "theorem",
    "sources": [
      {
        "locator": "Medial magma, section Bruck–Murdoch–Toyoda theorem",
        "mention": "wikipedia://en/502296#PGCI",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:502296@r1323283904"
      }
    ],
    "tag": "R1X28KNHR1"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/R1X28KNHR1/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/R1X28KNHR1.md",
  "msc": null,
  "name": "Bruck–Murdoch–Toyoda theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/R1X/R1X28KNHR1.md",
  "status": null,
  "tag": "R1X28KNHR1",
  "uri": "m2://R1X28KNHR1",
  "url": "https://math2.tamnd.com/wiki/bruck-murdoch-toyoda-theorem/",
  "writing": {
    "tag": "R1X28KNHR1",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}