阿贝尔群
4 在阿贝尔群范畴中，推出可以想象为“黏合直和”，以这种方式我们将黏着空间视为“黏合不交并”。零群是任何群的子群，所以任何阿贝尔群 "A" 与 "B"，我们有同态