The multiplihedra &m;&bb; = (&m;n)n≥1 form a family of polytopes originating in the study of higher categories and homotopy theory. While the multiplihedra may be unfamiliar to the algebraic combinatorics community, it is nestled between two families of polytopes that certainly are not: the permutahedra &s;&bb; and associahedra &y;&bb;. The maps &s;&bb;&onto;&m;&bb;&onto;&y;&bb; reveal several new Hopf structures on tree-like objects nestled between the Hopf algebras &ssym; and &ysym;. We begin their study here, showing that &msym; is a module over &ssym; and a Hopf module over &ysym;. An elegant description of the coinvariants for &msym; over &ysym; is uncovered via a change of basis---using Möbius inversion in posets built on the 1-skeleta of &m;&bb;. Our analysis uses the notion of an interval retract that should be of independent interest in poset combinatorics. It also reveals new families of polytopes, and even a new factorization of a known projection from the associahedra to hypercubes.
Résumé. Les multiplièdres &m;&bb; = (&m;n)n≥1 forment une famille de polytopes en provenant de l'étude des catègories supérieures et de la théorie de l'homotopie. Tandis que les multiplihèdres sont peu connus dans la communauté de la combinatoire algébrique, ils sont nichés entre deux familles des polytopes qui sont bien connus: les permutahèdres &s;&bb; et les associahèdres &y;&bb;. Les morphismes &s;&bb;&onto;&m;&bb;&onto;&y;&bb; dévoilent plusieurs nouvelles structures de Hopf sur les arbres binaires entre les algèbres de Hopf &ssym; et &ysym;. Nous commençons son étude ici, en démontrant que &msym; est un module sur &ssym; et un module de Hopf sur &ysym;. Une description élégante des coinvariants de &msym; sur &ysym; est trouvée par moyen d'une change de base---en utilisant une inversion de Möbius dans certains posets construits sur le 1-squelette de &m;&bb;. Notre analyse utilise la notion d'interval retract, ce devrait être intéressante par soi-même dans la théorie des ensembles partiellement ordonés. Notre analyse donne lieu également a des nouvelles familles des polytopes, et même une nouvelle factorisation d'une projection connue des associahèdres aux hypercubes.