Гипотеза Кервера – Лауденбаха и копредставления простых групп

Утверждение о том, что из непростой группы нельзя получить неабелеву простую группу путем добавления одного образующего и одного определяющего соотношения, 1) эквивалентно гипотезе Кервера – Лауденбаха; 2) верно при предположении, что исходная непростая группа либо конечна, либо не имеет кручения.