Finite derivation type property on the chinese monoid

Abstract

Squier introduced the notion finite derivation type which is a combinatorial condition satisfied by certain rewriting systems. The main result in this paper states that the Chinese monoid has finite derivation type property.