Residual finiteness of a class of semigroups presented by a single relation (Q1318960): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:55, 5 March 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