1: \begin{abstract}

2: In this paper we give a self-contained treatment of finite group quotients of admissible (formal) schemes and adic spaces that are locally topologically finite type over a locally strongly noetherian adic space.  

3: \end{abstract}