The algebraic fundamental group of a reductive group scheme over an arbitrary base scheme

摘要

We define the algebraic fundamental group π_1(G) of a reductive group scheme G over an arbitrary non-empty base scheme and show that the resulting functor G → π_1(G) is exact.