chapter 4 remark about ump of kernels/quotients