# Abstract regular polytope

Just as a regular polytope is a polytope whose symmetry is flag-transitive, an **abstract regular polytope** is an abstract polytope whose automorphism group is flag-transitive.

As they are not constrained by geometry, abstract regular polytopes are much more diverse than their concrete counterparts.

## Concept[edit | edit source]

This section is empty. You can help by adding to it. |

## Definition[edit | edit source]

Classically there are two definitions of abstract regular polytopes: one which constrains the definition of abstract polytope, and one which builds them from first principles as new objects objects. Other than the nullitope which only satisfies the first definition, two definitions are equivalent.

### As abstract polytopes[edit | edit source]

Let 𝓟 be an abstract polytope. 𝓟 is **regular** iff for any two flags x and y of 𝓟, there is an automorphism such that .

That is to say, the automorphism group of 𝓟 acts transitively on its flags.

### Distinguished generators[edit | edit source]

Let 𝓟, be a group G with set of generators, ρ indexed by integers 0 to n -1. We call this indexed set the **distinguished generators** of 𝓟.
We call the subgroup of G generated by a subset of ρ a **distinguished subgroup**, and we use the following notation:

Then 𝓟 is an **abstract regular polytope** if it satisfies the following properties:

- Each distinguished generator ρ i is an involution ().
- Non-adjacent generators commute. i.e. two generators ρ i and ρ j commute () if .
- For any , .

The second property is a version of the diamond condition.
This last property is called the **intersection property** or **intersection condition**.

From here we can build up the properties normally associated with an abstract polytope:

- The
**rank**of 𝓟 is the number of distinguished generators. - The
**flags**of 𝓟 are the elements of G - Two flags x and y are
**i -adjacent**iff - The proper
**i -elements**of 𝓟 are the orbits of the group generated by all the distinguished generators of 𝓟 other than ρ i acting on G . - Two elements of 𝓟 are
**incident**with each other iff they share flags.

## Bibliography[edit | edit source]

- McMullen, Peter; Schulte, Egon (December 2002).
*Abstract Regular Polytopes*. Cambridge University Press. ISBN 0-521-81496-0.

This article is a stub. You can help Polytope Wiki by expanding it. |