(2,1)-代数簇及其自由对象

Varieties of (2,1)-Algebras and Their Free Objects

系统叙述了 (2 ,1) 代数的基本理论 ,给出了“绝对自由 (2 ,1) 代数”的准确结构 ,从而完整地证明了任一 (2 ,1) 代数簇都存在自由对象 .这弥补了文献 (FundamentalsofSemigroupTheory .Oxford :ClarendonPress ,1995 .)的不足 .

In this paper, we give a systematic description of the theory for (2,1)-algebras and the precise structure of the 'absolutely free object F (2,1)(X)' which is used to simplify the proof of the existence of the free objects F V(X) for varieties of (2,1)-algebras V. The construction remedies an inadequacy of the literature (Fundamentals of Semigroup Theory. Oxford:Clarendon Press,1995.).