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 条
  • [41] Influence of mixing time during glycine-nitrate process on the structural properties and reducibility of a dual-phase Ni-Cu-Mn spinel catalyst
    Aznam, Isyraf
    Mah, Joelle C. W.
    Muchtar, Andanastuti
    Baharuddin, Nurul Akidah
    Somalu, Mahendra R.
    Muhamud, Rahimi L.
    CERAMICS INTERNATIONAL, 2021, 47 (24) : 34712 - 34720
  • [42] Some properties of degenerate Sheffer sequences based on algebraic approach
    Riyasat, Mumtaz
    Haneef, Mehnaz
    Khan, Subuhi
    INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 2025, 56 (01) : 414 - 431
  • [43] The negative cycles polyhedron and hardness of checking some polyhedral properties
    Boros, Endre
    Elbassioni, Khaled
    Gurvich, Vladimir
    Tiwary, Hans Raj
    ANNALS OF OPERATIONS RESEARCH, 2011, 188 (01) : 63 - 76
  • [44] On q-pareto distribution: some properties and application to earthquakes
    de la Barra, Erick
    Vega-Jorquera, Pedro
    EUROPEAN PHYSICAL JOURNAL B, 2021, 94 (01)
  • [45] Some New Properties for Degree-Based Graph Entropies
    Lu, Guoxiang
    Li, Bingqing
    Wang, Lijia
    ENTROPY, 2015, 17 (12) : 8217 - 8227
  • [46] Properties and complexity of some formal inter-agent dialogues
    Parsons, S
    Wooldridge, M
    Amgoud, L
    JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (03) : 347 - 376
  • [47] First-order logics: some characterizations and closure properties
    Choffrut, Christian
    Malcher, Andreas
    Mereghetti, Carlo
    Palano, Beatrice
    ACTA INFORMATICA, 2012, 49 (04) : 225 - 248
  • [48] On some properties of the image set of a max-linear mapping
    Butkovic, Peter
    Tam, Kin Po
    TROPICAL AND IDEMPOTENT MATHEMATICS, 2009, 495 : 115 - 126
  • [49] Some Properties of a Class of RLCM Active Networks Over F(z)
    Lu, Kaisheng
    Yuan, Yupng
    Yan, Xinping
    Ma, Qiang
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2016, 25 (12)
  • [50] Some properties of Legendre-Gould Hopper polynomials and operational methods
    Yasmin, Ghazala
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2014, 413 (01) : 84 - 99