Every decidable pseudovariety of abelian groups is completely tame (Q2003184)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Every decidable pseudovariety of abelian groups is completely tame |
scientific article |
Statements
Every decidable pseudovariety of abelian groups is completely tame (English)
0 references
16 July 2019
0 references
Let \(\mathbf V\) be a pseudovariety of finite semigroups. \(\mathbf V\) is said to be decidable if there is an algorithm to test for every finite semigroup \(S\) the membership \(S\in\mathbf V\). Since the decidability is not preserved by some operations such as semidirect product, join and Mal'cev product of pseudovarieties, a notion of tameness has been introduced by \textit{J. Almeida} and \textit{B. Steinberg} as a ``refined version of decidability'' [Proc. Lond. Math. Soc. (3) 80, No. 1, 50--74 (2000; Zbl 1027.20033)]. Using tameness of pseudovarieties it is possible to establish the decidability of pseudovarieties obtained by application of the mentioned operations. It is shown that ``every decidable, proper, non-locally finite pseudovariety of abelian groups is completely tame with respect to a further enlarged implicit signature''. It is worth mentioning the following corollary. ``Every pseudovariety of finite abelian groups is decidable if and only if it is completely tame.''
0 references
relatively free profinite semigroup
0 references
pseudovariety of semigroups
0 references
system of equations
0 references
implicit signature
0 references
completely tame pseudovariety
0 references
completely reducible pseudovariety
0 references
rational constraint
0 references
\(\sigma \)-full pseudovariety
0 references
weakly reducible pseudovariety
0 references
0 references