{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nConvex *uniform polytopes* of dimension $d \\ge 2$ are defined by induction on $d$.\n\n1. A convex polygon is uniform if it is a [[regular polygon|01KJJ9A400]].\n2. For $d \\ge 3$, a [[convex polytope|300K6CB1KH]] $P \\subseteq \\R^d$ of dimension $d$ is uniform if both of the following hold:\n   - the [[symmetry group|0ZG3Z5JZ85]] of $P$ acts [[transitively|02GK6HZYBT]] on the set of [[vertices|R7V3S9V891]] of $P$;\n   - every [[facet|DPDXN2FJC4]] of $P$ is a uniform polytope of dimension $d-1$.\n\n## Remarks\n\nExample: the triangular prism whose bases are equilateral triangles of side $1$ and whose sides are unit squares is uniform.\nIts facets are regular polygons, hence uniform.\nThe symmetries of the prism, namely rotations about its axis, the swap of the two bases, and reflections, carry any vertex to any other.\n\nNon-example: the square pyramid with equilateral triangles and a unit square base has regular facets, but it is not uniform.\nIts apex lies on $4$ edges and each base vertex on $3$, so no symmetry maps the apex to a base vertex, and the first condition fails.\nSecond non-example: a box $[0,1] \\times [0,1] \\times [0,2]$ is vertex-transitive, but its rectangular facets are not regular polygons, so the second condition fails.\n\nEvery [[regular polytope|F60PD912D5]] is uniform.\nIn dimension $3$ the convex uniform polytopes are the five Platonic solids, the thirteen Archimedean solids, and the prisms and antiprisms over regular polygons.\nThe definition extends to non-convex star polytopes and to uniform tilings, by allowing star polygon faces or unbounded arrangements.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "BZXHGNGQAX",
    "kind": "definition",
    "msc": [
      "51M20",
      "52B15"
    ],
    "name": "Uniform polytope",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Uniform_polytope"
      }
    ],
    "tag": "PK3RPS6EF4",
    "uses": [
      "300K6CB1KH",
      "01KJJ9A400",
      "DPDXN2FJC4",
      "0ZG3Z5JZ85",
      "02GK6HZYBT",
      "R7V3S9V891"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/PK3RPS6EF4/",
  "links": [
    {
      "field": "defines",
      "target": "BZXHGNGQAX"
    },
    {
      "field": "uses",
      "target": "300K6CB1KH"
    },
    {
      "field": "uses",
      "target": "01KJJ9A400"
    },
    {
      "field": "uses",
      "target": "DPDXN2FJC4"
    },
    {
      "field": "uses",
      "target": "0ZG3Z5JZ85"
    },
    {
      "field": "uses",
      "target": "02GK6HZYBT"
    },
    {
      "field": "uses",
      "target": "R7V3S9V891"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/PK3RPS6EF4.md",
  "msc": [
    "51M20",
    "52B15"
  ],
  "name": "Uniform polytope",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/PK3/PK3RPS6EF4.md",
  "status": null,
  "tag": "PK3RPS6EF4",
  "uri": "m2://PK3RPS6EF4",
  "url": "https://tamnd.github.io/math2/wiki/uniform-polytope-definition/",
  "writing": {
    "tag": "PK3RPS6EF4",
    "kind": "definition",
    "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
      }
    ]
  }
}