阿贝尔群的每个可判定伪簇是完全驯服的
群论
2017-07-31 v1
摘要
已有结果表明，阿贝尔群的真的非局部有限伪簇相对于规范签名不是驯服的。在本文中，我们证明，阿贝尔群的每个可判定的、真的、非局部有限伪簇相对于进一步扩大的隐式签名是完全驯服的。该定理产生的一个推论是，阿贝尔群伪簇是可判定的当且仅当它是完全驯服的。
引用
@article{arxiv.1707.09131,
title = {Every decidable pseudovariety of abelian groups is completely tame},
author = {Khadijeh Alibabaei},
journal= {arXiv preprint arXiv:1707.09131},
year = {2017}
}
备注
17 pages