Cを群の根クラスとし、すなわち非自明な群を含み、部分群及びデカルト輪積を取ることで閉じているクラスとします。また、Pを群の木積とし、Pの各辺部分群がそれを含む頂点群において正規であるとします。本論文では、群PからC群へのホモモルフィズムがすべての頂点群で単射であるためのいくつかの十分条件を示します。また、群PのC残余性についてのいくつかの十分条件も証明されます。
ソコロフら(木曜日)はこの問題を研究しました。