Binate towers of groups
acyclic groupsbinate groupscategory of binate towersco-Hopfian groupsfree productsHNN extensionsinitial objectintegral homologyKervaire conjecturenormal generatorssurjective homomorphisms
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Automorphisms of infinite groups (20E36) Generators, relations, and presentations of groups (20F05) Other groups related to topology or analysis (20F38) Homological methods in group theory (20J05) Category of groups (20J15)
For any group \(H\) it is shown that the category \(B\text{Tow}_ H\) of binate towers with base \(H\) admits an initial object \(U(H) = \{u(H)_ i,\theta_ i,t_ i\}\). Since \(U(H)\) is obtained from \(H\) by repeated HNN extensions it is referred to as the HNN binate tower with base \(H\). Given a tower \(\{G_ i\}\) with base \(G_ 0 = H\) and surjective homomorphisms \(\{\pi_ i\} : \{U(H)_ i\} \to \{G_ i\}\) of towers, necessary and sufficient conditions are determined for getting a binate tower \(\{G_ i,\alpha_ i,u_ i\}\) rendering \(\{\pi_ i\} : \{U(H)_ i,\theta_ i,t_ i\} \to \{G_ i,\alpha_ i,u_ i\}\) a morphism in \(B \text{Tow}_ H\). For any \(\{H_ i,P_ i,v_ i\}\) in \(B\text{Tow}_ H\) the limit group \({\underset \longrightarrow \lim} H_ i\) is acyclic. The binate tower \(U(1)\) has a number of remarkable properties. The limit group \(U {\underset \longrightarrow \lim} U(1)\) is very badly non- Hopfian and very badly non co-Hopfian. While the group \({\underset \longrightarrow \lim} U(1)\) is acyclic, the groups \(U(1)_ i\) have a total integral homology free abelian of \(\text{rank} > 2^{2i - 2} + 1\) for \(i \geq 3\). Also, some connections between the problem of Kervaire on normal generators of free products with the infinite cyclic group and study of binate towers are indicated. In particular, it is noted that affirming the Kervaire conjecture for all binate groups would suffice to affirm it for all groups. For certain binate groups this is proved.
- A Finitely Generated Infinite Simple Group
- A Finitely Presented Group Whose 3-Dimensional Integral Homology is not Finitely Generated
- A Note on Algebraically Closed Groups
- A note on groups with separable finitely generated subgroups
- Acyclic groups of automorphisms
- Acyclicity of Certain Homeomorphism Groups
- Algebraic \(K\)-theory of stable \(C^*\)-algebras
- Delooping classifying spaces in algebraic K-theory
- Embeddings into Simple Groups
- Every connected space has the homology of a \(K\) \((\pi,1)\)
- Groups with no nontrivial linear representations: Corrigenda
- scientific article; zbMATH DE number 4083934 (Why is no real title available?)
- scientific article; zbMATH DE number 4095779 (Why is no real title available?)
- scientific article; zbMATH DE number 3574107 (Why is no real title available?)
- Linear representations of binate groups
- Non-connective delooping of K-theory of an \(A_{\infty}\) ring space
- Nonsingular systems of two length three equations over a group
- Pseudo-mitotic groups
- Remarks on the Structure of Acyclic Groups
- Strongly torsion generated groups
- The automorphism group of a free group is not linear
- The topology of discrete groups
- Two functions from Abelian groups to perfect groups
This page was built for publication: Binate towers of groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1841995)
