Unification types of completely regular semigroups

被引：1

作者：

Mashevitzky, G ^{[1
]}

机构：

[1] Ben Gurion Univ Negev, IL-84105 Beer Sheva, Israel

来源：

JOURNAL OF AUTOMATED REASONING | 2002年 / 29卷 / 02期

关键词：

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 条

[21] Locally Completely Regular Epigroups
Liu, Jingguo
Chen, Qinqin
Han, Chengmao
COMMUNICATIONS IN ALGEBRA, 2016, 44 (10) : 4546 - 4563
[22] On Epimorphisms and Left [Right] Regular Semigroups
Khan, Noor Mohammad
Shah, Aftab Hussain
SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2012, 36 (02) : 243 - 248
[23] VARIETIES GENERATED BY COMPLETELY 0-SIMPLE SEMIGROUPS
Reilly, Norman R.
JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2008, 84 (03) : 375 - 403
[24] Groups that together with any transformation generate regular semigroups or idempotent generated semigroups
Araujo, J.
Mitchell, J. D.
Schneider, Csaba
JOURNAL OF ALGEBRA, 2011, 343 (01) : 93 - 106
[25] Unification types in Euclidean modal logics
Alizadeh, Majid
Ardeshir, Mohammad
Balbiani, Philippe
Mojtahedi, Mojtaba
LOGIC JOURNAL OF THE IGPL, 2023, 31 (03) : 422 - 440
[26] Regular Semigroups of Endomorphisms of von Neumann Factors
G. G. Amosov
A. V. Bulinskii
M. E. Shirokov
Mathematical Notes, 2001, 70 : 583 - 598
[27] Embedding Regular Semigroups into Idempotent Generated Ones
Petrich, Mario
ALGEBRA COLLOQUIUM, 2010, 17 (02) : 229 - 240
[28] LIMIT VARIETIES GENERATED BY COMPLETELY 0-SIMPLE SEMIGROUPS
Lee, Edmond W. H.
Volkov, Mikhail V.
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2011, 21 (1-2) : 257 - 294
[29] Unification types and union splittings in intermediate logics
Dzik, Wojciech
Kost, Slawomir
Wojtylak, Piotr
ANNALS OF PURE AND APPLIED LOGIC, 2025, 176 (01)
[30] On a class of completely join prime J-trivial semigroups with unique involution
Edmond W. H. Lee
Algebra universalis, 2017, 78 : 131 - 145

← 1 2 3 4 →