The rational subset membership problem for groups: a survey

Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05)

Recommendations

On the rational subset problem for groups.
The submonoid and rational subset membership problems for graph groups.
scientific article; zbMATH DE number 2032334
scientific article; zbMATH DE number 6540722
Selective survey on subset combinatorics of groups.
Rational subsets of groups
Solution of the membership problem for certain rational subsets of one-relator groups with a small cancellation condition.
Rationality of verbal subsets in solvable groups
scientific article; zbMATH DE number 2032331

Cited in

(38)

The monoid of queue actions
Two problems for solvable and nilpotent groups
Free idempotent generated semigroups: the word problem and structure via gain graphs
On the word problem for special monoids
Rational subsets of groups
Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
The emptiness problem for valence automata over graph monoids
Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two
On the rational subsets of the monogenic free inverse monoid
On the membership problem for finite automata over symmetric groups
Rational, recognizable, and aperiodic sets in the partially lossy queue monoid
scientific article; zbMATH DE number 3876579 (Why is no real title available?)
New results on the prefix membership problem for one-relator groups
Rational, recognizable, and aperiodic partially lossy queue languages
MEMBERSHIP AND FINITENESS PROBLEMS FOR RATIONAL SETS OF REGULAR LANGUAGES
3XOR games with perfect commuting operator strategies have perfect tensor product strategies and are decidable in polynomial time
Submonoids and rational subsets of groups with infinitely many ends.
Undecidability of the submonoid membership problem for free nilpotent group of class l\geqslant 2 of sufficiently large rank
Tilings and submonoids of metabelian groups.
Undecidability of the submonoid membership problem for a sufficiently large finite direct power of the Heisenberg group
On the Dehn functions of a class of monadic one-relation monoids
The complexity of bidirected reachability in valence systems
Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests
On groups of units of special and one-relator inverse monoids
Rational subsets of Baumslag-Solitar groups
Geodesic languages for rational subsets and conjugates in virtually free groups
Decidability of multiplicative matrix equations and related Diophantine problems
Membership problems in braid groups and Artin groups
Membership problems in nilpotent groups
Rational sets in virtually abelian groups: languages and growth
Membership problems in finite groups
Effective equation solving, constraints, and growth in virtually abelian groups
On decidability of the product of subgroups membership problem for nilpotent groups
Subsets of groups in public-key cryptography
Membership problems in infinite groups
Membership problems for positive one-relator groups and one-relation monoids
On the rational subset problem for groups.
The submonoid and rational subset membership problems for graph groups.

This page was built for publication: The rational subset membership problem for groups: a survey

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2990055)