A one-relator group is a group having a group presentation with a single defining relation. If 
is the free group on a set 
and 
, it has the form
 |
where 
is the normal subgroup generated by all conjugates
of 
and 
.
One-relator groups are studied in combinatorial and geometric group theory (Magnus et al. 1976).
