English

On independent families of normal subgroups in free groups

Group Theory 2015-03-23 v1

Abstract

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

Keywords

Cite

@article{arxiv.1503.06195,
  title  = {On independent families of normal subgroups in free groups},
  author = {Olga Kulikova},
  journal= {arXiv preprint arXiv:1503.06195},
  year   = {2015}
}

Comments

13 pages