On deciding whether a monoid is a free monoid or is a group (Q1075439): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: When is a monoid a group? The Church-Rosser case is tractable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decidable sentences of Church-Rosser congruences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3714064 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4135772 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity results on the conjugacy problem for monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some undecidability results for non-monadic Church-Rosser Thue systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Church–Rosser Thue Systems that Present Free Monoids / rank | |||
Normal rank |
Latest revision as of 14:14, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On deciding whether a monoid is a free monoid or is a group |
scientific article |
Statements
On deciding whether a monoid is a free monoid or is a group (English)
0 references
1986
0 references
Monoids which are described by a given finite presentation (\(\Sigma\) ;R), i.e. \(\Sigma\) is a finite alphabet and R is a finite string-rewriting system on \(\Sigma\), are considered. It is shown that the problem whether or not such a monoid is a free one or a group are undecidable in general. However it is shown that both these problems are effectively reducible to a very restricted form of the uniform word problem. So whenever for some class of presentations this restricted form of the uniform word problem is decidable then the above decision problems become decidable. It is proved that this holds in particular for the class of all presentations involving finite complete string-rewriting systems.
0 references
finite presentation
0 references
uniform word problem
0 references
finite complete string- rewriting systems
0 references