On a theorem of Grothendieck

Рассматривается гладкий проективный морфизм $p\colon T\to S$ в гладкое многообразие $S$. Доказан, в частности, следующий результат. Тотальный прямой образ $Rp_*(\mathbb Z/n\mathbb Z)$ постоянного этального пучка $\mathbb Z/n\mathbb Z$ локально квази-изоморфен (в топологии Зарисского) ограниченному комплексу $\mathscr L$ на $S$, состоящему из локально постоянных конструктивных этальных пучков $\mathbb Z/n\mathbb Z$-модулей. Библ. – 2 назв.