On the hierarchical product of graphs

The hierarchical product of graphs is a variant of the Cartesian product. It is associative, not commutative, and finite connected graphs have unique first prime factors with respect to it. We present examples of infinite graphs with different first prime factors, and show that homogeneous trees of finite degree have unique prime factorizations with respect to the hierarchical product. On the way, we pose two problems.