solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看149次
Context-Free Groups and Bass-Serre Theory. (arXiv:1307.8297v2 [math.GR] UPDATED)
来源于:arXiv
The word problem of a finitely generated group is the formal language of
words over the generators which are equal to the identity in the group. If this
language happens to be context-free, then the group is called context-free.
Finitely generated virtually free groups are context-free. In a seminal paper
Muller and Schupp showed the converse: A context-free group is virtually free.
Over the past decades a wide range of other characterizations of context-free
groups have been found. The present notes survey most of these
characterizations. Our aim is to show how the different characterizations of
context-free groups are interconnected. Moreover, we present a self-contained
access to the Muller-Schupp theorem without using Stallings' structure theorem
or a separate accessibility result. We also give an introduction to some
classical results linking groups with formal language theory. 查看全文>>