Honeycomb product

Honeycomb product
	The square tiling is the honeycomb product of two apeirogons (outlined in cyan).
Symbol
Rank formula
Dimension formula
Element formula
Dual	Self-dual
Algebraic properties
Algebraic structure	Coummutative semigroup
Associative	Yes
Commutative	Yes
Identity	Ray
Annihilator	Point
Uniquely factorizable	Yes

The honeycomb product or comb product for short, also known as the topological product^[1], is one of four polytope products along with the prism, tegum and pyramid products. The honeycomb product of two euclidean honeycombs is itself an euclidean honeycomb.

The comb product of two polytopes is known as a duocomb, and a multicomb for more than two polytopes. Polygonal multicombs are regular polytopes, for example the square duocomb.

DefinitionEdit

If $A$ is an abstract polytope of rank $n$ and $B$ is an abstract polytope of rank $m$ , then the honeycomb product is defined to be:^[1]

$A\square B=\left\{(a,b)\mid a\in A, b\in B, \text{ either }a\text{ and }b\text{ are proper or the same improper element}\right\}$

with the order:

$(a,b)\leq_{A\square B}(a',b') \iff a\leq_A a' \land b\leq_B b'$

NotesEdit

↑ For $n,m>1$ .
↑ For $n,m>1$ .
↑ 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.

ReferencesEdit

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

[2] For $n,m>1$ .

[3] For $n,m>1$ .

[4] It forms a monoid on partial orders but its identity is not an abstract polytope.

[5] Not an abstract polytope.

[6] With the exception of the annihilator.

[poap-1] 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.

[1]

[note 1]

[note 2]

[note 3]

[note 4]

[note 5]

Honeycomb product
The square tiling is the honeycomb product of two apeirogons (outlined in cyan).
Symbol	$\square$ ^[1]
Rank formula	$n+m-1$ ^{[note 1]}^[1]
Dimension formula	$n+m$
Element formula	$(n-2)\times(m-2)+2$ ^{[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]