标签： algebra mit-scheme
在Hartshorne第2章中，命题5.9。在证明中，我陷入了“因此，J_Y是准相干滑轮变态的核心，也是准相干的。”我的问题是，为什么Y（O_Y）束作为X的闭合子集（不一定是仿射的）是准相干的？