One-relator group

Symbol-free definition
A group is said to be a one-relator group if it satisfies the following equivalent conditions:


 * It has a presentation with only one relation
 * It is the quotient of a free group by a point-closure (viz, the normal closure of a single element)

Stronger properties

 * Free group

Weaker properties

 * Finitely related group