# Comb product

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 where both ranks are greater than 1, the comb product produces a new polytope of rank *n* + *m* - 1. If *P* is realized in Euclidean d -space and Q in e -space, the comb product is in Euclidean (*d* + *e*)-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. In particular, the comb product of an n -dimensional hypercubic honeycomb with an m -dimensional hypercubic honeycomb is an (*n* + *m*)-dimensional hypercubic honeycomb. This is because an n -dimensional hypercubic honeycomb can be seen as the comb product of n apeirogons.

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 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 polygon with n copies of itself is regular. For example, the comb product of two squares is the square duocomb, a regular skew polyhedron. These results are all quotients of some hypercubic honeycomb. Other comb products of regular polytopes are not regular.

## Definition edit

### Abstract polytopes edit

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

with the order:

If and are proper elements, then element has rank .

### Realizations edit

If A and B are realized in Euclidean spaces, the realization of the corresponding vertices in are formed by concatenating the coordinates of vertices in A with the coordinates of vertices in B.

### Hypertopes edit

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 comb 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.

## Properties edit

The comb product may produce a compound if one of the input polytopes has rank 1 and the other has rank of at least 2. For example, the comb product of a polygon with a dyad is two disconnected copies of the polygon. To avoid this issue, Gleason and Hubard define the comb product only when the input polytopes are of rank 2 or greater.

The comb product is commutative and associative, and admits a unique factorization for every polytope of rank 2 or greater into the comb products of "prime" polytopes. If lower-rank polytopes are allowed, then both the point and the nullitope are annihilators.

If denotes the dual of an abstract polytope, then .

## Notes edit

- ↑ 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

- ↑
^{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. |