arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1707.03066math.GRmath.LO
收藏

非交换自由群的有限指标子群陪集扩张

On expansions of non-abelian free groups by cosets of a finite index subgroup

Javier de la Nuez González

摘要:

设$F$是一个非交换生成的自由群,$Q$是一个有限商.用$L_Q$表示通过将一元谓词$P_q$、$q\in Q$添加到组的语言而获得的语言。利用Zlil Sela在非交换自由群的初等理论上对Tarskirt问题的解决中所涉及的一些技巧的稍微推广,我们提供了关于$F$的$L_Q$ -展开中一阶句子的有效性的一些基本结果,其中每个$P_q$被解释为$F$中$q$的原像.特别是我们证明了一个类似的结果塞拉的推广Merzlyakov定理的$\forall\exists$ -句子,并表明,积极的理论只取决于$Q$和既不对秩的$F$,也不是特定的商地图。

英文摘要:

Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of first order entences in the $L_Q$-expansion of $F$ in which every $P_q$ is interpreted as the preimage of $q$ in $F$. In particular we prove an analogous result to Sela's generalization of Merzlyakov's theorem on $\forall\exists$-sentences and show that the positive theory depends only on $Q$ and neither on the rank of $F$ nor the particular quotient map.

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

↑