“…Proposition 6.14. We have that By Theorem 6.10, the principal order ideal of Q × Q 2 < which satisfy the condition of Theorem 6.13 are the ones with maximum in the set {(1, 12), (2,12), (1,13), (2,23), (3,13), (3,23)}, which corresponds to the symmetric group S 3 . We consider S 3 with its standard Coxeter presentation given by generators {s, t}.…”