On the algebraic fundamental group of smooth varieties in characteristic $p>0$

Abstract

We define an analog in characteristic $p>0$ of the proalgebraic completion of the topological fundamental group of a complex manifold.

Some inaccuracies removed.