  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.
