Universal diagram groups with identical Poincaré series. (Q531926)

Summary: For a diagram group \(G\), the first derived quotient \(G_1/G_2\) is always free Abelian (as proved by M. Sapir and V. Guba). However the second derived quotient \(G_2/G_3\) may contain torsion. In fact, we show that for any finite or countably infinite direct product of cyclic groups \(A\), there is a diagram group with second derived quotient \(A\). We use that to construct families with the properties of the title.