摘要
小组X(X)(G公司)是从以下位置获得的G公司∗G公司通过强制每个元素克在第一个自由因素中使用克在第二个自由因子中。我们对函子的属性列表进行了重要的添加X(X)已知可以保存。我们还研究了单词问题的几何形状和复杂性X(X)(G公司).的细微特征X(X)(G公司)编码在正规阿贝尔子群中W公司<X(X)(G公司)那是一个模块Z轴问,哪里问=H(H)1(G公司,Z轴).我们为这个模块建立了一个结构结果,并通过证明来说明它的实用性X(X)保留虚拟幂零性、恩格尔条件和增长类型-多项式、指数或中间值。我们还使用它来建立等周不等式X(X)(G公司)什么时候G公司属于汤普森集团的班级F类和所有非纤维Kähler组。问题这个词可以用X(X)(G公司)当且仅当其可溶于G公司.Dehn函数X(X)(G公司)由三次多项式限定,如果G公司映射到非阿贝尔自由群。