阿贝尔群
考虑阿贝尔群及其同态构成的范畴formula_127。对任意阿贝尔群formula_79、formula_129和formula_130，我们得到群同构