The Haar theorem for lattice-ordered abelian groups with order-unit (Q934147)

The author gives an important contribution to the question when an \(l\)-group \((G,u)\) with strong order unit \(u\) has an invariant faithful state. A state of \((G,u)\) is a positive group homomorphism \(s:G\rightarrow\mathbb R\) such that \(s(u)=1\). \(s\) is faithful if \(0\leq x\in G\) and \(s(x)=0\) implies \(x=0\). \(s\) is invariant if \(s(\alpha(x))=s(x)\) for every automorphism \(\alpha\) of \((G,u)\) and \(x\in G\). Let \({\mathcal M}([0,1]^n,\mathbb R)\) be the \(l\)-group of all piecewise linear real-valued functions over \([0,1]^n\), each piece having integer coefficients. The order interval of \([0,1]\)-valued functions of \({\mathcal M}([0,1]^n,\mathbb R)\) is known as the free \(n\)-generated MV-algebra. For a rational polyhedron \(P\subseteq [0,1]^n\), let \({\mathcal M}(P,\mathbb R)\) be the \(l\)-group of restrictions to \(P\) of the functions in \({\mathcal M}([0,1]^n,\mathbb R)\). The author observes that \((G,u)\) is isomorphic to \({\mathcal M}(P,\mathbb R)\) for some rational polyhedron \(P\subseteq [0,1]^n\) if and only if \((G,u)\) is isomorphic to the quotient \({\mathcal M}([0,1]^n,\mathbb R)/\mathcal P\) for some finitely generated \(l\)-ideal \(\mathcal P\) of \({\mathcal M}([0,1]^n,\mathbb R)\). The main result says that any \((G,u)\) satisfying these equivalent conditions has a faithful invariant state. Moreover, the author characterizes all finitely generated projective \(l\)-groups which have faithful invariant state.