The Kervaire conjecture in group theory asserts that adjoining one generator and imposing one relation on a nontrivial group
cannot give the trivial group. For a nontrivial
group 
and 
, it predicts
 |
where 
and the denominator is the normal closure of 
. This is distinct from the Kervaire
characterization theorem for knot groups.
