A polytope compound is an object consisting of an arrangement of several polytopes of the same rank.
Definition[edit | edit source]
Geometric[edit | edit source]
A n-compound is n polytopes of the same rank arranged in space such that they share a common center. Compounds of interest are usually arranged as to maximize symmetry.
Abstract[edit | edit source]
A ranked and bounded poset is a n-compound if there exists a partition of its proper elements into n non-empty sets such that no two elements from different sets in the partition are comparable, and each set along with the original minimal and maximal elements forms a valid abstract polytope.
An alternative formulation is that a bounded poset is a compound iff every proper section is connected but the poset itself is not connected.
This partitioning can be thought of as drawing lines on the Hasse diagram connecting the minimal and maximal elements which do not pass through any of the existing connections.
Compounds of rank greater than 1 satisfy the diamond property, but compounds of more than 1 polytope are not connected and thus they are not abstract polytopes themselves.
Compounding operation[edit | edit source]
Given two abstract polytopes A and B of the rank n their compound is the set:
with the operation
If A and B are abstract polytopes with rank greater than 1, then the result statisfies the diamond property.
Regular compounds[edit | edit source]
Regular compounds are compounds that are transitive on every rank of element. This is the definition of weakly regular, and it is a weaker notion than regular which requires full flag transitivity.
There are 5 regular polyhedron compounds.
|Stella octangula[note 1]||2 tetrahedra|
|Chiricosahedron[note 2]||5 tetrahedra|
Examples[edit | edit source]
See Category:Polytope compounds.
- The hexagram is a compound of two triangles.
- The great cube is a compound of three square dihedra.
- The dyad is a compound of two rays, but the ray is not a polytope so the dyad is not considered a compound.
Notes[edit | edit source]
|This article is a stub. You can help Polytope Wiki by expanding it.|