行列式映射

行列式映射(determinant map)是交换环的K0到皮卡群的一种映射。设R为交换环，行列式映射为K0(R)到Pic R的一个群的满同态。行列式映射(determinant map)是交换环的K0到皮卡群的一种映射。设R为交换环，行列式映射为K0(R)到Pic R的一个群的满同态。由K0(R)对H0(R)的分解式K0(R)H0(R)⊕rK0(R)知，有单同态θ：H0(R)→K0(R)，使对任何f∈H0(R)：Spec R→Z，都有相应于f的正交幂等元分解1=e1+e2++er。