INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
From MaRDI portal
Publication:3209328
DOI10.1142/S0218196791000079zbMath0722.20039OpenAlexW2046268252WikidataQ123258428 ScholiaQ123258428MaRDI QIDQ3209328
Publication date: 1991
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0218196791000079
factorizationsfinite monoidsfinite directed graphsrelational morphismsinevitable graphsType II Conjecture
General structure theory for semigroups (20M10) Free semigroups, generators and relations, word problems (20M05) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Directed graphs (digraphs), tournaments (05C20)
Related Items
Reducibility of Joins Involving Some Locally Trivial Pseudovarieties, ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS, POLYNOMIAL CLOSURE AND TOPOLOGY, INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY, CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA, PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS, ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS, PROFINITE METHODS IN SEMIGROUP THEORY, COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY, Reducibility of pointlike problems, SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS, Pointlike sets and separation: a personal perspective, Polynomial closure of group languages and open sets of the Hall topology, About the power pseudovariety \(\mathbf{PCS}\), Pointlike sets for varieties determined by groups, Reducibility vs. definability for pseudovarieties of semigroups, Polynomial closure of group languages and open sets of the Hall topology, Polynomial closure and unambiguous product, The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups, SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS, Some reducibility properties for pseudovarieties of the form DRH, Finite loops recognize exactly the regular open languages, Recognizing pro-\(\mathrm{R}\) closures of regular languages, Abelian kernels, profinite topologies and the extension problem, Degree 2 transformation semigroups as continuous maps on graphs: Complexity and examples, Conelikes and ranker comparisons, Krohn-Rhodes complexity of Brauer type semigroups., First-order separation over countable ordinals, An upper bound for the power pseudovariety \(\mathbf{PCS}\)., Iterated periodicity over finite aperiodic semigroups, UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS, On κ-reducibility of pseudovarieties of the form V ∗D, On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties., Covers for monoids., John Rhodes and the theory of finite semigroups., Closures of regular languages for profinite topologies., Finite state automata: A geometric approach, The \(\mathbf G\)-exponent of a pseudovariety of semigroups, An effective lower bound for group complexity of finite semigroups and automata, Towards a pseudoequational proof theory, Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups, The pseudoidentity problem and reducibility for completely regular semigroups, Algebras of right ample semigroups, Pointlike sets with respect to R and J., TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES, WHAT ARE MODULES? AN OVERVIEW OF BRET TILSON'S PAPER "MODULES" FROM A GEOMETRIC VIEWPOINT, MODULES, STABLE PAIRS, A PROFINITE APPROACH TO STABLE PAIRS, APERIODIC POINTLIKES AND BEYOND, Möbius functions and semigroup representation theory. II: Character formulas and multiplicities., On a locality-like property of the pseudovariety J, New results on the conjecture of Rhodes and on the topological conjecture, On the power pseudovariety \(\mathbf{PCS}\)., On non-commuting sets in finite soluble CC-groups., Dynamics of implicit operations and tameness of pseudovarieties of groups, The pseudovariety $J$ is hyperdecidable, A NEW PROOF OF THE RHODES TYPE II CONJECTURE, TAMENESS OF THE PSEUDOVARIETY LS1, IDEMPOTENT POINTLIKE SETS, A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups, Every decidable pseudovariety of abelian groups is completely tame, SC-hyperdecidability of \(\mathbf R\), An application of a theorem of Ash to finite covers., Monoid kernels and profinite topologies on the free Abelian group, Krohn-Rhodes complexity pseudovarieties are not finitely based, A constructive version of the Ribes-Zalesskiĭ product theorem., Graph expansions of unipotent monoids, Extending partial automorphisms and the profinite topology on free groups, On the equation \({\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}\), Inverse automata and profinite topologies on a free group, Computing relative Abelian kernels of finite monoids., Semidirect product with an order-computable pseudovariety and tameness., Pointlike reducibility of pseudovarieties of the form V ∗D, On \(F\)-inverse covers of finite-above inverse monoids., The geometry of profinite graphs with applications to free groups and finite monoids, A syntactic approach to covers for E ‐dense semigroups over group varieties, TAMENESS OF THE PSEUDOVARIETY OF ABELIAN GROUPS, On Pointlike Sets and Joins of Pseudovarieties, On Radical Congruence Systems II, COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1, On All Things Star-Free, Relative Abelian kernels of some classes of transformation monoids, CATEGORIES AS ALGEBRA, II, The pseudovariety of all nilpotent groups is tame, Finitely approximate groups and actions Part I: The Ribes–Zalesskiĭ property, Profinite topologies, COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY, On discrete hyperbolic arboreal groups, Constructing divisions into power groups, On the hyperdecidability of semidirect products of pseudovarieties, Characterizing level one in group-based concatenation hierarchies, On \(F\)-inverse covers of inverse monoids., Completely regular semigroup varieties generated by Mal'cev products with groups, PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS, HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS, POINTLIKE SETS, HYPERDECIDABILITY AND THE IDENTITY PROBLEM FOR FINITE SEMIGROUPS, Tameness of pseudovariety joins involving R., Commutative images of rational languages and the Abelian kernel of a monoid
