Semigroup presentations for test local groups

被引:1
|
作者
Costa, J. C. [1 ]
Nogueira, C. [2 ]
Teixeira, M. L. [1 ]
机构
[1] Univ Minho, Dept Matemat & Aplicacoes, CMAT, P-4700320 Braga, Portugal
[2] Inst Politecn Leiria, Escola Super Tecnol & Gestao, CMAT, P-2411901 Alto Vieiro, Leiria, Portugal
关键词
Local group; Semigroup presentation; Rees matrix semigroup; Pseudovariety; kappa-term; Canonical form; PSEUDOVARIETY LS1; FORMS;
D O I
10.1007/s00233-014-9656-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this paper we exhibit a type of semigroup presentation which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety of all finite local groups and use them as test-semigroups to prove that and , the pseudovariety of all finite semigroups, verify the same -identities involving -terms of rank at most 1, where denotes the implicit signature consisting of the multiplication and the -power.
引用
收藏
页码:731 / 752
页数:22
相关论文
共 37 条