{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\Pi$ be a finite [[projective plane|DANFNN8C4Y]] in which [[Desargues's theorem|5Z19Y02MME]] holds.\nThen [[Pappus's hexagon theorem|B6C3J2GJWP]] holds in $\\Pi$.\nMoreover $\\Pi$ is isomorphic to $PG(2, q)$, the projective plane over the [[finite field|0ZXZ82FTX2]] with $q$ elements, for a prime power $q$.\n\n## Remarks\n\nA [[Desarguesian plane|HPX85PA8NX]] is coordinatized by a [[division ring|0EA5BTA0CX]] $D$, in the sense that $\\Pi \\cong PG(2, D)$; see the [[coordinatization of projective planes|MAM2MDG0XG]].\nIf $\\Pi$ is finite, $D$ is finite, so $D$ is a field by [[Wedderburn's little theorem|0RRNVX1VKA]].\nA finite field has prime power order $q$, and in a plane over a field Pappus's theorem holds.\n\nFiniteness is necessary.\nThe projective plane over the quaternions is Desarguesian, but Pappus's theorem fails in it, because the quaternions are not commutative.\n\nIn the other direction, Hessenberg's theorem says that Pappus's theorem implies Desargues's theorem in every projective plane.\nSo for finite planes the two configuration theorems are equivalent.\n\n## Explanations\n\n### L1 human\n\nDesargues's theorem and Pappus's theorem are two classical facts about points and lines that may or may not hold in an abstract projective plane.\nIn general Pappus is stronger.\nFor finite planes they turn out to be the same, because of an algebraic fact: a finite skew field is commutative.\n\n### L2 human\n\nDesargues's theorem lets one build coordinates from a division ring, and Pappus's theorem holds exactly when that division ring is commutative.\nWedderburn's little theorem is therefore the algebraic input that makes every finite Desarguesian plane classical.\nIt also shows that the order of a finite Desarguesian plane is a prime power.\nA finite plane that is not of the form $PG(2, q)$, such as the Hall plane of order $9$, must therefore fail Desargues's theorem.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "HPX85PA8NX",
      "B6C3J2GJWP"
    ],
    "kind": "statement",
    "msc": [
      "51A30",
      "51E15",
      "12E15"
    ],
    "name": "Finite Desarguesian planes are Pappian",
    "role": "corollary",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Wedderburn%27s_little_theorem"
      }
    ],
    "tag": "6QBGAKFB9N",
    "uses": [
      "0RRNVX1VKA",
      "HPX85PA8NX",
      "B6C3J2GJWP",
      "5Z19Y02MME",
      "0EA5BTA0CX",
      "0ZXZ82FTX2",
      "DANFNN8C4Y",
      "MAM2MDG0XG"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/6QBGAKFB9N/",
  "links": [
    {
      "field": "about",
      "target": "HPX85PA8NX"
    },
    {
      "field": "about",
      "target": "B6C3J2GJWP"
    },
    {
      "field": "uses",
      "target": "0RRNVX1VKA"
    },
    {
      "field": "uses",
      "target": "HPX85PA8NX"
    },
    {
      "field": "uses",
      "target": "B6C3J2GJWP"
    },
    {
      "field": "uses",
      "target": "5Z19Y02MME"
    },
    {
      "field": "uses",
      "target": "0EA5BTA0CX"
    },
    {
      "field": "uses",
      "target": "0ZXZ82FTX2"
    },
    {
      "field": "uses",
      "target": "DANFNN8C4Y"
    },
    {
      "field": "uses",
      "target": "MAM2MDG0XG"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/6QBGAKFB9N.md",
  "msc": [
    "51A30",
    "51E15",
    "12E15"
  ],
  "name": "Finite Desarguesian planes are Pappian",
  "prov": null,
  "role": "corollary",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6QB/6QBGAKFB9N.md",
  "status": null,
  "tag": "6QBGAKFB9N",
  "uri": "m2://6QBGAKFB9N",
  "url": "https://tamnd.github.io/math2/wiki/finite-desarguesian-planes-are-pappian/",
  "writing": {
    "tag": "6QBGAKFB9N",
    "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
      }
    ]
  }
}