Алгебраический аналог конструкции Бореля и ее свойства

Предположим, что $G$ – аффинная групповая схема, строго плоская над другой аффинной схемой $X=\operatorname{Spec}R$, $H$ – замкнутая строго плоская $X$-подсхема, а $G/H$ – аффинная $X$-схема. В этом случае мы доказали эквивалентность категорий $R[H]$-комодулей и $G$-эквивариантных векторных расслоений над $G/H$, причем эта эквивалентность согласована с тензорными произведениями в обеих категориях. Наша алгебраическая конструкция напоминает хорошо известную геометрическую конструкцию Бореля. Библ. – 5 назв.