以这种方式我们将黏着空间视为“黏合不交并”。零群是任何群的子群，所以任何阿贝尔群 "A" 与 "B"，我们有同态以及这两个映射的推出是 "A" 与 "B" 的直和。把这种情形推广为 "f" 与 "g" 是任何有公共定义域的同态，我们得到直和的一个商群，即模去由 ("f(z)",-"g(z)") 组成的子群。从而我们将 "Z" 的通过 "f" 和 "g" 黏合起来了。一个类似的技巧得出任何 "R"-模范畴中的同构。5. 在群范畴，推出称为共合自由积。下面在代数拓扑的塞弗特－范坎彭（Seifert-