关于Abel群内射性的注记

证明了一个Abel群在可消交换半群范畴中内射当且仅当是可除Abel群。