Some reducibility properties for pseudovarieties of the form DRH

被引:0
|
作者
Borlido, Celia [1 ,2 ]
机构
[1] Univ Porto, Ctr Matemat, Porto, Portugal
[2] Univ Porto, Dept Matemat, Fac Ciencias, Porto, Portugal
基金
欧洲研究理事会;
关键词
Graph equation; idempotent pointlike equation; pointlike equation; pseudovariety; R-class; reducibility; FINITE-SEMIGROUPS; PROFINITE SEMIGROUPS; SEMIDIRECT PRODUCTS; COMPLEXITY; AUTOMATA; TAMENESS; UNDECIDABILITY; DECIDABILITY; IDENTITIES;
D O I
10.1080/00927872.2017.1360328
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Let H be a pseudovariety of groups and DRH be the pseudovariety containing all finite semigroups whose regular R-classes belong to H. We study the relationship between reducibility of H and of DRH with respect to several particular classes of systems of equations. The classes of systems considered (of pointlike, idempotent pointlike and graph equations) are known to play a role in decidability questions concerning pseudovarieties of the forms V * W, V boolean OR W, and V (m) W.
引用
收藏
页码:1813 / 1830
页数:18
相关论文
共 50 条