CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA

DOI10.1142/S0218196701000498zbMath1027.20036OpenAlexW2126243304MaRDI QIDQ4786288

Stuart W. Margolis, Pascal Weil, Mark V. Sapir

Publication date: 15 December 2002

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

Full work available at URL: https://doi.org/10.1142/s0218196701000498

zbMATH Keywords

inverse monoidsfree groupsmembership problemextension problempseudovarieties of finite groupsMal'cev productsinverse automatapro-\(p\) closurespro-nilpotent closures

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Algebraic theory of languages and automata (68Q70) Semigroups in automata theory, linguistics, etc. (20M35) Limits, profinite groups (20E18)

Related Items

Fixed Subgroups are Compressed in Free Groups ⋮ PROFINITE METHODS IN SEMIGROUP THEORY ⋮ COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY ⋮ Tarski numbers of group actions ⋮ Stallings automata for free-times-abelian groups: intersections and index ⋮ Freeness of Schützenberger groups of primitive substitutions ⋮ Abelian kernels, profinite topologies and the extension problem ⋮ STALLINGS FOLDINGS AND SUBGROUPS OF AMALGAMS OF FINITE GROUPS ⋮ The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups ⋮ Locally countable pseudovarieties ⋮ Relative order and spectrum in free and related groups ⋮ The pro-supersolvable topology on a free group: deciding denseness ⋮ On an algorithm to decide whether a free group is a free factor of another ⋮ RANDOM GENERATION OF FINITELY GENERATED SUBGROUPS OF A FREE GROUP ⋮ UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS ⋮ Degrees of compression and inertia for free-abelian times free groups ⋮ Finite state automata: A geometric approach ⋮ A Lower Bound For Reversible Automata ⋮ READING OFF KUROSH DECOMPOSITIONS ⋮ Dynamics of implicit operations and tameness of pseudovarieties of groups ⋮ The pro-nilpotent group topology on a free group ⋮ A NEW PROOF OF THE RHODES TYPE II CONJECTURE ⋮ PROFINITE TOPOLOGIES IN FREE PRODUCTS OF GROUPS ⋮ Statistical properties of subgroups of free groups ⋮ A list of applications of Stallings automata ⋮ Varieties of finite supersolvable groups with the M.~Hall property. ⋮ Computing fixed closures in free groups. ⋮ A constructive version of the Ribes-Zalesskiĭ product theorem. ⋮ Inverse automata and profinite topologies on a free group ⋮ The geometry of profinite graphs with applications to free groups and finite monoids ⋮ The pseudovariety of all nilpotent groups is tame ⋮ Profinite topologies ⋮ Statistics of subgroups of the modular group

Cites Work

• Topology of finite graphs
• Topologies for the free monoid
• Profinite semigroups, Mal'cev products, and identities
• 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
• FREE INVERSE MONOIDS AND GRAPH IMMERSIONS
• On The Profinite Topology on a Free Group
• THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
• INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY