阿贝尔群
如果formula_6和formula_13是阿贝尔群（就是交换群），则所有从formula_6到formula_13的群同态的集合formula_81自身是阿贝尔群：两个同态的和formula_82定义为