Residual finiteness of a class of semigroups presented by a single relation (Q1318960): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4079524 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853827 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur les monoides à un relateur qui sont des groupes / rank | |||
Normal rank |
Revision as of 14:26, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Residual finiteness of a class of semigroups presented by a single relation |
scientific article |
Statements
Residual finiteness of a class of semigroups presented by a single relation (English)
0 references
28 February 1995
0 references
A semigroup \(S\) is said to be residually finite if for every pair of elements \(x\), \(y\) in \(S\), \(x \neq y\), there exists a congruence \(\rho\) on \(S\) such that \(S/\rho\) is finite and \([x]_ \rho \neq [y]_ \rho\). In the paper it is proved that the semigroups \(S_ k\) presented by \(\langle a,b;\;b(ab)^ kb = ab\rangle\) (\(k \geq 0\)) are all residually finite. Connections between the residual finiteness of a semigroup \(S\) and decidability of the word problem for presentations of \(S\) are discussed.
0 references
residually finite semigroups
0 references
congruences
0 references
residual finiteness
0 references
decidability
0 references
word problem for presentations
0 references
0 references