关于可逆自动机半群中自由子半群的存在性
群论
2018-11-13 v1
摘要
我们证明，由可逆Mealy自动机生成的半群包含秩为2的自由子半群，当且仅当它包含一个无穷阶元素。
引用
@article{arxiv.1811.04679,
title = {On the existence of free subsemigroups in reversible automata semigroups},
author = {Dominik Francoeur and Ivan Mitrofanov},
journal= {arXiv preprint arXiv:1811.04679},
year = {2018}
}
备注
23 pages, 3 figures