习题 6, § 11

令A为环，G阿贝尔的群，$T : A\rightarrow G$迹映射（VIII，p. 115，习题3）。对于任何有限生成的射影右A-模 P，表示为

$T_P:$结束$_A(P\oplus A_d)\longrightarrow G$

扩展 T（前述）的独特迹映射以及End$_A(P\oplus A_d)$的$\pi_P$投影算子与像 P和核$A_d$。 构造群同态 $\widetilde{T} : K_0(A)\rightarrow G$ 使得 $\widetilde{T}([P]) = T_P(\pi_P)$ 对于每个有限生成的射影右A-模 P。