{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "6QBGAKFB9N"
    }
  ],
  "body": "\n## Statement\n\nLet $(R, T)$ be a [[planar ternary ring|Q0NXXFADT9]], with distinguished elements $0$ and $1$.\nLet $\\Pi(R, T)$ be the [[incidence structure|FGKNAFNHA3]] defined as follows.\nIts points are the pairs $(x, y)$ with $x, y \\in R$, the symbols $(m)$ with $m \\in R$, and one more symbol $(\\infty)$.\nIts lines are the symbols $[m, k]$ with $m, k \\in R$, the symbols $[c]$ with $c \\in R$, and one more symbol $[\\infty]$.\nThe line $[m, k]$ consists of the point $(m)$ and the points $(x, y)$ with $y = T(x, m, k)$.\nThe line $[c]$ consists of the point $(\\infty)$ and the points $(c, y)$ with $y \\in R$.\nThe line $[\\infty]$ consists of the points $(m)$ with $m \\in R$ and the point $(\\infty)$.\n\n1. For every planar ternary ring $(R, T)$, the structure $\\Pi(R, T)$ is a [[projective plane|DANFNN8C4Y]].\n2. For every projective plane $\\Pi$, there is a planar ternary ring $(R, T)$ such that $\\Pi$ is isomorphic to $\\Pi(R, T)$.\n\n## Remarks\n\nFor the second part, choose four points $O, X, Y, I$ of $\\Pi$ with no three on a line.\nThe set $R$ is the set of points of the line $OI$ other than its point on the line $XY$.\nThe point $O$ plays the role of $0$ and $I$ the role of $1$.\nThe points off $XY$ get coordinates $(x, y)$ by projecting from $X$ and $Y$ onto $OI$, and $T(x, m, k)$ is read off from the line of slope $m$ through the point $(0, k)$.\nThe planar ternary ring depends on the choice of the four points, and different choices can give rings that are not isomorphic.\nMarshall Hall Jr. introduced planar ternary rings for this purpose.\n\nExample: for a field $F$ and $T(x, m, k) = xm + k$, the plane $\\Pi(F, T)$ is the projective plane over $F$, with $[m, k]$ the line $y = mx + k$ and $[\\infty]$ the line at infinity.\nThe plane $\\Pi$ satisfies [[Desargues's theorem|5Z19Y02MME]] if and only if, for some (equivalently every) choice of the four points, $T(x, m, k) = xm + k$ for a [[division ring|0EA5BTA0CX]] structure on $R$.\nIf $\\Pi$ is finite of order $n$, then $R$ has exactly $n$ elements.\n\n## Explanations\n\n### L1 human\n\nA projective plane is defined only by points, lines and which points lie on which lines.\nThe theorem says that one can always put coordinates on it, as in school geometry with $x$ and $y$.\nThe price is that the arithmetic of the coordinates may be strange: in place of $y = mx + k$ one has a single three-place operation $y = T(x, m, k)$.\nConversely, any such operation with the right rules builds a projective plane.\n\n### L2 human\n\nThe theorem turns questions about projective planes into questions about algebraic systems.\nGeometric properties of the plane match algebraic properties of the ring: Desargues's theorem matches a division ring, and Pappus's theorem matches a field.\nPlanes coordinatized by quasifields, semifields and near-fields give the main families of non-Desarguesian planes.\nIn the finite case it gives a way to search for planes of a given order by searching for ternary operations on a set of that size.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "DANFNN8C4Y",
      "Q0NXXFADT9"
    ],
    "kind": "statement",
    "msc": [
      "51A25",
      "51A35"
    ],
    "name": "Coordinatization of projective planes",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Planar_ternary_ring"
      }
    ],
    "tag": "MAM2MDG0XG",
    "uses": [
      "DANFNN8C4Y",
      "Q0NXXFADT9",
      "FGKNAFNHA3"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/MAM2MDG0XG/",
  "links": [
    {
      "field": "about",
      "target": "DANFNN8C4Y"
    },
    {
      "field": "about",
      "target": "Q0NXXFADT9"
    },
    {
      "field": "uses",
      "target": "DANFNN8C4Y"
    },
    {
      "field": "uses",
      "target": "Q0NXXFADT9"
    },
    {
      "field": "uses",
      "target": "FGKNAFNHA3"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/MAM2MDG0XG.md",
  "msc": [
    "51A25",
    "51A35"
  ],
  "name": "Coordinatization of projective planes",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MAM/MAM2MDG0XG.md",
  "status": null,
  "tag": "MAM2MDG0XG",
  "uri": "m2://MAM2MDG0XG",
  "url": "https://tamnd.github.io/math2/wiki/coordinatization-of-projective-planes/",
  "writing": {
    "tag": "MAM2MDG0XG",
    "kind": "statement",
    "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
      }
    ]
  }
}