Skip to main content
edited tags
Link
Sam Nead
  • 28.1k
  • 5
  • 72
  • 131
Source Link
JeremyKun
  • 726
  • 7
  • 19

Freiheitssatz implies a finitely generated one relator group embeds in a two-generator one relator group?

I've read that every finitely generated one relator group embeds in a two generator one relator group, and that this fact follows from the Freiheitssatz.

Unfortunately, the only proof I can find of this fact applies B.H. Neumann's proof for denumerable n-relator groups, and it doesn't seem to use the Freiheitssatz. Further, I haven't found any mention of this in Lyndon and Schupp, but it's possible I overlooked a more general theorem from which this follows.

My question is: does this fact truly follow from the Freiheitssatz? Is the proof trivial? I apologize if it is; unfortunately I am new to one relator groups.