Reducibility vs. definability for pseudovarieties of semigroups

DOI10.1142/S0218196716500648zbMath1385.20017arXiv1606.04059OpenAlexW3104387718MaRDI QIDQ5298324

Ondřej Klíma, Jorge Almeida

Publication date: 14 December 2016

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.04059

zbMATH Keywords

groupcommutative semigroupordered semigroupcompletely regular semigrouppseudovarietyrelatively free profinite semigroup

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Commutative semigroups (20M14) Regular semigroups (20M17)

Related Items

Over testable languages ⋮ The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterization of group radicals with an application to Mal'cev products.
• Two-variable identities for finite solvable groups.
• Complete reducibility of systems of equations with respect to \(\mathbf R\).
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• A CHARACTERIZATION OF FINITE SOLUBLE GROUPS BY LAWS IN TWO VARIABLES
• TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS

This page was built for publication: Reducibility vs. definability for pseudovarieties of semigroups