<a,b|->?

tgt

1. The problem statement, all variables and given/known data
Is there a concrete group G such that G is isomomorphic to <a,b|->?


3. The attempt at a solution
Can't think of any.

HallsofIvy

What is <a, b|->?

tgt

It's the free group on two generators with no relations. In fact I don't think there are any familiar groups.