On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties.

DOI10.1016/S0022-4049(03)00124-5zbMath1048.20037MaRDI QIDQ1421252

Benjamin Steinberg

Publication date: 26 January 2004

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

semidirect products of pseudovarietiesfinite categoriesmonoid pseudovarietiespseudovarieties of categoriesfinite aperiodic monoidsfinite pseudoidentity basesfinite vertex ranklocal pseudovarieties

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Quasivarieties (08C15) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items (4)

A STRUCTURAL APPROACH TO THE LOCALITY OF PSEUDOVARIETIES OF THE FORM LH ⓜ V ⋮ SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS ⋮ Krohn-Rhodes complexity pseudovarieties are not finitely based ⋮ COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories as algebra: An essential ingredient in the theory of monoids
• Semidirect products of categories and applications
• Decidability of complexity one-half for finite semigroups
• Kernel systems - a global study of homomorphisms on finite semigroups
• Profinite categories and semidirect products
• Subsemigroups and complexity via the presentation lemma
• On aperiodic relational morphisms.
• Complexity of finite semigroups
• Decomposition and complexity of finite semigroups
• Improved lower bounds for the complexity of finite semigroups
• Finite state automata: A geometric approach
• GLOBALS OF PSEUDOVARIETIES OF COMMUTATIVE SEMIGROUPS: THE FINITE BASIS PROBLEM, DECIDABILITY AND GAPS
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
• On The Profinite Topology on a Free Group
• CATEGORIES AS ALGEBRA, II
• On the Decidability of Iterated Semidirect Products with Applications to Complexity
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
• PROFINITE METHODS IN SEMIGROUP THEORY
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
• On finite 0-simple semigroups and graph theory

This page was built for publication: On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties.