The algebraic fundamental group of a reductive group scheme over an arbitrary base scheme
arXiv:1303.6586
Abstract
We define the algebraic fundamental group functor of a reductive group scheme over an arbitrary (non-empty) base scheme and prove that this functor is exact.
17 pages. This is an expanded version of Appendix B in arXiv:1112.6020v1[math.NT]. Final version, to appear in Cent. Eur. J. Math