arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1407.7745math.GR
收藏

具有上下文无关共字问题的群及嵌入Thompson群$V$

Groups with Context-Free Co-Word Problem and Embeddings into Thompson's Group $V$

Rose Berns-Zieve, Dana Fry, Johnny Gillings, Hannah Hoganson, Heather Mathews

备注：
13 pages, 8 figures
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

摘要：

设$G$是一个群生成的群，$Σ$是一个生成$G$为幺半群的有限子集。\emph{word problem of $G$ with respect to $Σ$}由自由幺半群$Σ^{\ast}$中所有与$G$中的恒等式相等的字组成。\emph{co-word problem of $G$ with respect to $Σ$}是字问题在$Σ^{\ast}$中的补充。我们说一个群$G$是\emph{co$\mathcal{CF}$}，如果它关于某个（等价地，任何）有限生成集$Σ$的共字问题是上下文无关语言。我们对每个有限群G描述了一个广义Thompson群$V_{(G, θ)}$和同态$θ$：$G \rightarrow G$ .我们的群体是使用Witzel和Zaremsky介绍的克隆系统构建的。通过构造一个下推自动机，证明了对于任意同态$θ$和有限群G，$V_{(G, θ)}$是coPDMATHABMV，并证明了$V_{(G, θ)}$的co-字问题是我们的自动机所接受的语言的循环移位.一个版本的猜想，由于Lehnert说，一个组有上下文无关的共同字问题正是如果它是一个生成子群的V.组$V_{(G,θ)}$，其中$θ$不是单位同态似乎没有明显的嵌入到V，因此可能被视为反例的猜想。由Bleak和Salazar-Diaz引入的$V$的示范子群可以用来构造某些环积和合并自由积到$V$中的嵌入。我们推广了V的已知的非线性生成的示范子群类，使其包含了所有的虚循环群。

英文摘要：

Let $G$ be a finitely generated group, and let $Σ$ be a finite subset that generates $G$ as a monoid. The \emph{word problem of $G$ with respect to $Σ$} consists of all words in the free monoid $Σ^{\ast}$ that are equal to the identity in $G$. The \emph{co-word problem of $G$ with respect to $Σ$} is the complement in $Σ^{\ast}$ of the word problem. We say that a group $G$ is \emph{co$\mathcal{CF}$} if its co-word problem with respect to some (equivalently, any) finite generating set $Σ$ is a context-free language. We describe a generalized Thompson group $V_{(G, θ)}$ for each finite group G and homomorphism $θ$: $G \rightarrow G$. Our group is constructed using the cloning systems introduced by Witzel and Zaremsky. We prove that $V_{(G, θ)}$ is co$\mathcal{CF}$ for any homomorphism $θ$ and finite group G by constructing a pushdown automaton and showing that the co-word problem of $V_{(G, θ)}$ is the cyclic shift of the language accepted by our automaton. A version of a conjecture due to Lehnert says that a group has context-free co-word problem exactly if it is a finitely generated subgroup of V. The groups $V_{(G,θ)}$ where $θ$ is not the identity homomorphism do not appear to have obvious embeddings into V, and may therefore be considered possible counterexamples to the conjecture. Demonstrative subgroups of $V$, which were introduced by Bleak and Salazar-Diaz, can be used to construct embeddings of certain wreath products and amalgamated free products into $V$. We extend the class of known finitely generated demonstrative subgroups of V to include all virtually cyclic groups.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑