Abstract | ||
---|---|---|
In this paper we prove that the pseudovariety of Abelian groups is hyperdecidable and moreover that it is completely tame. This is a consequence of the fact that a system of group equations on a free Abelian group with certain rational constraints is solvable if and only if it is solvable in every finite quotient. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1142/S0218196705002311 | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION |
Keywords | Field | DocType |
pseudovariety, monoid, semigroup, Abelian group, system of equations, rational constraints, complete tameness | Discrete mathematics,Abelian group,Abelian extension,Free abelian group,Combinatorics,Algebra,Elementary abelian group,G-module,Metabelian group,Solvable group,Rank of an abelian group,Mathematics | Journal |
Volume | Issue | ISSN |
15 | 2 | 0218-1967 |
Citations | PageRank | References |
3 | 0.57 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. Almeida | 1 | 61 | 15.24 |
Manuel Delgado | 2 | 43 | 4.80 |