Unification types of completely regular semigroups

被引:1
作者
Mashevitzky, G [1 ]
机构
[1] Ben Gurion Univ Negev, IL-84105 Beer Sheva, Israel
关键词
semigroup; unification types; semilattices;
D O I
10.1023/A:1021695118634
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We show that a variety V of completely regular semigroups that contains a nontrivial (two-element) semilattice has finitary or unitary unification type if and only if V consists of strong semilattices of rectangular groups of finitary or unitary unification type. We reduce the problem of recognizing unification type of a variety V of completely regular semigroups defined by a homotypical system of identities to the same problem for the variety of all groups of V.
引用
收藏
页码:171 / 182
页数:12
相关论文
共 34 条