準連接層に対するRoos公理の成立

準コンパクトな半分離的スキームまたは有限クルル次元を持つネータースキームX上の準連接層の圏X–Qcohは、Roos公理AB4∗-nを満たす。つまり、X–Qcohにおける無限直積の導来関数は、有限なホモロジー次元を持つ。