>>780
だってKer(及びIm)の間の準同型については何も書かれてないですし……