{ "id": "1707.09131", "version": "v1", "published": "2017-07-28T07:36:37.000Z", "updated": "2017-07-28T07:36:37.000Z", "title": "Every decidable pseudovariety of abelian groups is completely tame", "authors": [ "Khadijeh Alibabaei" ], "comment": "17 pages", "categories": [ "math.GR" ], "abstract": "It has been shown that the proper, non-locally finite pseudovarieties of abelian groups are not tame with respect to the canonical signature. In this paper, we show that every decidable, proper, non-locally finite pseudovariety of abelian groups is completely tame with respect to a further enlarged implicit signature. This theorem yields as a corollary that a pseudovariety of abelian groups is decidable if and only if it is completely tame.", "revisions": [ { "version": "v1", "updated": "2017-07-28T07:36:37.000Z" } ], "analyses": { "subjects": [ "20E18", "20M05", "20M07", "20F10", "20K01" ], "keywords": [ "abelian groups", "decidable pseudovariety", "non-locally finite pseudovariety", "theorem yields", "enlarged implicit signature" ], "note": { "typesetting": "TeX", "pages": 17, "language": "en", "license": "arXiv", "status": "editable" } } }