The commutatorgroup of a free product. (Q2589553)

Sind die Elemente \(a(i, v)\) die Vertreter der Restklassen der Gruppe \(A_i\) (\(i=1, 2\)) nach ihrer Kommutatorgruppe \(A_i'\), so ist die Kommutatorgruppe des freien Produkts von \(A_1\) und \(A_2\) das freie Produkt der Gruppen \(a(i,v) A_{i\pm1}'a(i,v)^{-1}\) und der aus \(a(1,v)a(2,w)a(1,v)^{-1}a(2,w)^{-1}\) erzeugten zyklischen Gruppen (hierbei sind nur die von 1 verschiedenen Vertreter \(a(1,v)\), \(a(2, w)\) zu benutzen).