wreath 积的有理子集与子幺半群
群论
2013-02-12 v1 形式语言与自动机理论
摘要
证明了当 为有限群且 为 virtually free 群时，wreath 积 的有理子集的成员资格问题是可判定的。另一方面，证明了在 wreath 积 中存在一个固定的有限生成子幺半群，其成员资格问题是不可判定的。
引用
@article{arxiv.1302.2455,
title = {Rational Subsets and Submonoids of Wreath Products},
author = {Markus Lohrey and Benjamin Steinberg and Georg Zetzsche},
journal= {arXiv preprint arXiv:1302.2455},
year = {2013}
}