论文标题
单体可变性与归一化之间的对应关系
Correspondence between factorability and normalisation in monoids
论文作者
论文摘要
抽象的。本文确定了两个有关单体的概念之间的关系：可分解性结构，用于简化棒络合物；以及引入的二次归一化，以概括二次重写系统和Garside家族产生的正常化。在二次正常化的公理设置中表征了可分解的单体。此外，级别（4,3）的二次正常化是根据可分解性结构和条件来确保相关重写系统终止的特征。
Abstract. This article determines relations between two notions concerning monoids: factorability structure, introduced to simplify the bar complex; and quadratic normalisation, introduced to generalise quadratic rewriting systems and normalisations arising from Garside families. Factorable monoids are characterised in the axiomatic setting of quadratic normalisations. Additionally, quadratic normalisations of class (4,3) are characterised in terms of factorability structures and a condition ensuring the termination of the associated rewriting system.
