# Comb product

Comb product | |
---|---|

The square tiling is the honeycomb product of two apeirogons (outlined in cyan). | |

Symbol | ^{[1]} |

Rank formula | ^{[note 1]}^{[1]} |

Dimension formula | |

Element formula | ^{[note 2]} |

Dual | Self-dual |

Algebraic properties | |

Algebraic structure | Coummutative semigroup^{[note 3]} |

Associative | Yes |

Commutative | Yes |

Identity | Ray^{[note 4]} |

Annihilator | Point |

Uniquely factorizable | Yes^{[note 5]}^{[1]} |

The **comb product** (also **honeycomb product** or **topological product**^{[1]}), is an operation on polytopes, defined on both abstract polytopes and polytopes realized in Euclidean space. Given an input *n*-polytope *P* and *m*-polytope *Q*, the comb product produces a new polytope of rank . If *P* is realized in Euclidean *d*-space and *Q* in *e*-space, the comb product is in Euclidean -space. The comb product generally produces skew polytopes even if both operands are planar; however, if both base polytopes are tilings, then the result is also a valid tiling.

The comb product is one of four common polytope products along with the prism product, direct sum, and pyramid product. While the other three polytope products are closed over convex polytopes, the comb product's tendency to produce skew polytopes means that it is more or less useless in convex geometry. It is however important in the study of abstract polytopes, tilings, and regular skew polytopes.

The comb product of two polytopes is known as a **duocomb**, and a **multicomb** for more than two polytopes. The comb product of a regular polytope with itself is regular. For example, the comb product of two squares is the square duocomb, a regular skew polyhedron.

## Definition[edit | edit source]

### Abstract polytopes[edit | edit source]

If is an abstract polytope of rank and is an abstract polytope of rank , then the honeycomb product is defined to be:^{[1]}

with the order:

### Hypertopes[edit | edit source]

The definition of the comb product is considerably simpler for hypertopes. For two hypertopes A and B with types in the natural numbers, then the honeycomb product is:

.

This can be thought of as the cartesian product with the modification that it merges types whose pairs sum to the same value.

## Notes[edit | edit source]

- ↑ For .
- ↑ For .
- ↑ It forms a monoid on partial orders but its identity is not an abstract polytope.
- ↑ Not an abstract polytope.
- ↑ With the exception of the annihilator.

## References[edit | edit source]

- ↑
^{1.0}^{1.1}^{1.2}^{1.3}^{1.4}Gleason, Ian; Hubard, Isabel (2018). "Products of abstract polytopes" (PDF).*Journal of Combinatorial Theory, Series A*.**157**: 287–320. doi:10.1016/j.jcta.2018.02.002.

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