Quotient sheaves of algebraic supergroups are superschemes

To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf $G\widetilde{\mathrm{/}}H$ of an algebraic supergroup $G$ by its closed supersubgroup $H$, in arbitrary characteristic $\mathrm{\ne }$ 2. Our main theorem states that $G\widetilde{\mathrm{/}}H$ is a Noetherian superscheme. This together with derived results give positive answers to interesting questions posed by J. Brundan.