arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1503.06195math.GR
收藏

关于自由群中正规子群的独立族

On independent families of normal subgroups in free groups

Olga Kulikova

摘要:

考虑一个演示$\mathcal{P}=<{\bf x}\mid{\bf \bigcup_{i=1}^n r_i}>$。设${\bf R_i}$是自由群${\bf F}$中集合${\bf r_i}$的正规闭包,其基为${\bf x}$,$\mathcal{P}_i=<{\bf x}\mid{\bf r_i}>$,${\bf N_i} = \prod_{j\neq i}{\bf R_j}$.在本文中,使用图像的几何技术,从$π_2(\mathcal{P})$的$\{\mathcal{P}_i\mid i=1,..., n\}$上的一组生成器获得用于$\frac{{\bf R_i}\cap {\bf N_i}}{[{\bf R_i}, {\bf N_i}]}$的生成器$i=1,...,n$。作为推论,我们得到了族$\{{\bf R_1},...,{\bf R_n}\}$独立的一个充分条件。

英文摘要:

Consider a presentation $\mathcal{P}=<{\bf x}\mid{\bf \bigcup_{i=1}^n r_i}>$. Let ${\bf R_i}$ be the normal closure of the set ${\bf r_i}$ in the free group ${\bf F}$ with basis ${\bf x}$, $\mathcal{P}_i=<{\bf x}\mid{\bf r_i}>$, ${\bf N_i} = \prod_{j\neq i}{\bf R_j}$. In the present article, using geometric techniques of pictures, generators for $\frac{{\bf R_i}\cap {\bf N_i}}{[{\bf R_i}, {\bf N_i}]}$, $i=1,...,n$, are obtained from a set of generators over $\{\mathcal{P}_i\mid i=1,..., n\}$ for $π_2(\mathcal{P})$. As a corollary, we get a sufficient condition for the family $\{{\bf R_1},...,{\bf R_n}\}$ to be independent.

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

↑