math.GR — Group Theory
A universal group with thirteen relators
We construct a finitely presented group with 13 relators that contains an isomorphic copy of every finitely presented group. This improves Valiev's bound of 21 relators for universal groups. The proof combines Valiev's construction, subgroup calculations of Kegel--Li--Ren, and small-cancellation theory.
Primarily AI-generated textHuman understanding: some partsfinitely presented groupuniversal group