摘要
本文证明了，对于一个半群等式公理的有限集Ｅ定义的半群簇［Ｅ］，以下几个问题是可判定的：（１）是否每个Ｓ∈［Ｅ］都是正则的；（２）是否每个Ｓ∈［Ｅ］都是单的；（３）是否每个Ｓ∈［Ｅ］都是群；（４）是否每个Ｓ∈［Ｅ］都是一致周期的；（５）［Ｅ］是否平凡。
In this paper, we proved that for a finite set E of semigroup identities, it can be decided whether every S in [E] is (1) regular; (2) simple; (3) a group; (4) uniformly periodic; or (5) trvial.
出处
《兰州大学学报（自然科学版）》
CAS
CSCD
北大核心
1994年第4期64-67,共4页
Journal of Lanzhou University(Natural Sciences)
关键词
半群
可判定性
定理证明
semigroups
decidability
theorem proving
