  In \cite{armstrong}, M. Armstrong proved a beautiful result describing
fundamental groups of quotient spaces. In this paper we prove an analogue of
Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially
finite \cite{Nori76} fundamental group schemes.
