The polytope algebra (Q1262537)

Soit \({\mathbb{F}}\) un corps ordonné et soit \({\mathcal P}\) la famille de tous les polytopes convexes d'un espace vectoriel V de dimension finie sur \({\mathbb{F}}\). Le groupe abélien universel \(\Pi\), correspondant aux valuations invariants par translation, admet des générateurs [P] (P\(\in {\mathcal P})\) satisfaisant à \([P\cup a]+[P\cap a]=[P]+[a]\) (lorsque P, a, \(P\cup a\in {\mathcal P})\) et à \([P+t]=[P]\) (lorsque \(P\in {\mathcal P}\) et \(t\in V).\) La multiplication étant induit par \([P]\cdot [a]=[P+a]\), l'auteur montre que \(\Pi\) est, presque, une algèbre commutative graduée sur \({\mathbb{F}}\); il étudie alors les homomorphismes qui séparent \(\Pi\) et obtient deux théorèmes d'isomorphisme. L'étude, trèe complète, généralise (en ce sens que les valuations non simples sont aussi étudiées) des travaux construits par Jessen, Thorup et Sah à partir d'idées d Hadwiger. Des applications diverses, notamment aux polytopes mixes, sont données.