Multifraction reduction. III: The case of interval monoids (Q1687823)

Summary: We investigate gcd-monoids, which are cancellative monoids in which any two elements admit a left and a right gcd, and the associated reduction of multifractions [the first author, J. Comb. Algebra 1, No. 2, 185--228 (2017; Zbl 1422.20020); ibid. 1, No. 3, 229--287 (2017; Zbl 1422.20021)], a general approach to the word problemfor the enveloping group. Here we consider the particular case of interval monoids associated with finite posets. In this way, we construct gcd-monoids, in which reduction of multifractions has prescribed properties not yet known to be compatible: semi-convergence of reductionwithout convergence, semi-convergence up to some level but not beyond, non-embeddability into the enveloping group (a strong negation of semi-convergence).