几乎自由群的Schreier图的有限自动机
群论
2011-12-30 v1
摘要
通过引入Stallings截面的概念，将自由群有限生成子群的Stallings构造进行了推广，该截面允许基于边折叠的Schreier图核的高效计算。通过基于Bass-Serre理论的构造性方法，证明了那些允许Stallings截面的群正是有限生成的几乎自由群。还讨论了复杂性问题及应用。
引用
@article{arxiv.1112.5709,
title = {Finite automata for Schreier graphs of virtually free groups},
author = {Pedro Silva and Xaro Soler-Escrivà and Enric Ventura},
journal= {arXiv preprint arXiv:1112.5709},
year = {2011}
}