{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "2DT5DGTB8V"
    }
  ],
  "body": "\n## Summary\n\nBachmann's reflection geometry builds plane [[absolute geometry|VKFPCSRNDH]] from a [[group|G5S1M9]] generated by reflections.\nLines are replaced by the reflections in them, and points by the half-turns about them.\nIncidence and perpendicularity become algebraic relations between involutions, the elements of order $2$ of the group.\nThe resulting structures are called metric planes, and they include Euclidean, hyperbolic and elliptic planes over many fields.\nFriedrich Bachmann developed this approach in his book \"Aufbau der Geometrie aus dem Spiegelungsbegriff\".\n\n## Explanations\n\n### L1 human\n\nIn the Euclidean plane, every line gives a reflection and every point gives a half-turn.\nA point lies on a line exactly when the half-turn and the reflection, done one after the other, give a reflection again.\nTwo lines are perpendicular exactly when the product of their reflections is a half-turn.\nBachmann turned these facts around: start with a group and a set of its involutions, call them lines, and write axioms in the group.\nTheorems of geometry then become computations with reflections, as in the three reflections theorem.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "51F15",
      "51F05"
    ],
    "name": "Bachmann's reflection geometry",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Absolute_geometry"
      }
    ],
    "tag": "J0K6T02FQQ"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/J0K6T02FQQ/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/J0K6T02FQQ.md",
  "msc": [
    "51F15",
    "51F05"
  ],
  "name": "Bachmann's reflection geometry",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/J0K/J0K6T02FQQ.md",
  "status": null,
  "tag": "J0K6T02FQQ",
  "uri": "m2://J0K6T02FQQ",
  "url": "https://tamnd.github.io/math2/wiki/bachmanns-reflection-geometry/",
  "writing": {
    "tag": "J0K6T02FQQ",
    "kind": "concept",
    "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
      }
    ]
  }
}