On finitely presented,cancellative and commutative ordered monoids

We show that every finitely presented, cancellative and commutative ordered monoid is determined by a finitely generated and cancellative pseudoorder on the monoid (ℕ ⁿ ,+) for some positive integer n. Every cancellative pseudoorder on (ℕ ⁿ ,+) is determined by a submonoid of the group (ℤ ⁿ ,+), and we prove that the pseudoorder is finitely generated if and only if the submonoid is an affine monoid in ℤ ⁿ .