i2 : M = coker vars R o2 = cokernel | x y | 1 o2 : R-module, quotient of R ... Since f is surjective, we know that F is quasi-isomorphic to (kernel f)[-1].
確定! 回上一頁