1
$\begingroup$

I will start by apologizing as many will not like this question.

I am reading the paper COHOMOLOGY THEORY OF GROUPS WITH A SINGLE DEFINING RELATION and having focused on typology throughout my studies i finding myself to be in a lost notation wise.

  1. Let $F$ be a free subgroup in $G$ with generators $x_i$ , then elements in $F$ are represented by "words" or a final sequence of $x_i^{\pm1}$. In Page 650 (first one in this article) and 658 they state that every such word $R$ "can be expressed uniquely as a power $R=Q^q$ for $q$ maximal" Nowhere do they explain what is this $Q$, any ideas, links, resources for me to search in?

  2. Let $R$ be a normal subgroup in $G$, what does the notation $(R, R)$ symbolize? they used it in pages 650 and 658 without ever explaining.

Am i reading this paper wrong? Or are these notation so common they are never introduced?

  • 2
    1. $R=xyz$ can be written as $R=(xyz)^1$, so here $Q=xyz$. $R=xyxy$ can be written as $R=(xy)^2$, so here $Q=xy$. 2. Is probably the commutator.2012-12-01
  • 0
    Oh, that makes sense, thank you very much, What about (R,R)?2012-12-01
  • 0
    The general references for one-relator groups are two books, both called "combinatorial group theory" (the second was named in honour of the first!). The first was by Magnus, Karrass and Solitar, the second by Lyndon (he who wrote the paper you are reading) and Schupp. I suppose they're pretty out of date now, but they are excellent places to start: the tools laid down by Magnus in his 1931 thesis are still used today!2012-12-03

1 Answers 1