On finitely recognizable semigroups (Q811558)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On finitely recognizable semigroups |
scientific article |
Statements
On finitely recognizable semigroups (English)
0 references
1992
0 references
We analyze some algebraic properties of semigroups whose finite subsets are recognizable (finitely recognizable semigroups). We show that these semigroups are stable and their subgroups are of finite order. As a consequence of this we prove an interesting decomposition theorem for finitely recognizable semigroups which are finitely generated. Moreover we give more equivalent characterizations of these semigroups under the additional hypothesis that they have a \(\mathcal J\)-depth function; we show, in particular, that this class of semigroups coincides with the class of finite \(\mathcal J\)-above semigroups. Finally we prove that finitely recognizable semigroups which are finitely presented in a finitely based variety have a solvable word problem.
0 references
decomposition theorem
0 references
finitely recognizable semigroups
0 references
finitely generated
0 references
\(\mathcal J\)-depth function
0 references
finite \(\mathcal J\)-above semigroups
0 references
finitely presented
0 references
finitely based variety
0 references
solvable word problem
0 references
Burnside varieties
0 references
0 references